LC 2017: LOGIC COLLOQUIUM 2017
Peter Schroeder-Heister
Organization: University of Tuebingen
Web page: http://ls.inf.uni-tuebingen.de/
Pages in this Program
Program
Program for Friday, August 18th