Logic Colloquium 2019

August 11-16, Prague, Czech Republic

Deadlines

• Abstract submission         April 30, 2019
• Application for support    April 15, 2019
• Early bird registration       May 15, 2019

For more info, registration and abstract submission see the conference website: 

https://www.lc2019.cz/

The meeting will be co-located with the 16th CLMPST.

Public plenary lecture

• Hannes Leitgeb (Munich)

Tutorials

• Michael Rathjen (Leeds)
• Dilip Raghavan (Singapore)

Retiring Presidential Address

•   Ulrich Kohlenbach (Darmstadt)

Plenary lectures

•   Samson Abramsky (Oxford)
•   Zoé Chatzidakis (Paris)
•   Osvaldo Guzman (Toronto)
•   Matthew Harrison-Trainor (Wellington)
•   Jan Krajíček (Prague)
•   Vincenzo de Risi (Paris)
•   Gil Sagi (Haifa)
•   Thomas Scanlon (Berkeley)
•   Rineke Verbrugge (Groningen)
•   Martin Ziegler (KAIST, Korea)

Special Sessions

• Set Theory, organized by David Chodounský and Osvaldo Guzmán
• Model Theory, organized by Thomas Scanlon and Maryanthe Malliaris
• Reflection Principles and Modal Logic, organized by Joost Joosten and David Fernández-Duque
• Proof Theory and Proof Complexity, organized by Ulrich Kohlenbach and Samuel Buss
• Computability, organized by Damir Dzhafarov and Alexander Shen
• Foundations of Geometry, organized by John T. Baldwin and Victor Pambuccian

Program Committee

A. Arana, L. Beklemishev (chair), A. Ciabattoni, R. Miller, M. Otto, P. Pudlak, S. Todorcevic, and A. Wilkie.

Organizing Committee

D. Chodounsky (co-chair), P. Cintula, R. Honzik, Jan Hubička, P. Pudlak, J. Stary, S. Stejskalova,  N. Thapen and J. Verner (co-chair).

Conference Venue

Czech Technical University
Thákurova 9
166 34 Prague 6

Czech Republic