Logic Colloquium 2019

Sunday, August 11, 2019 - 12:30pm to Friday, August 16, 2019 - 12:30pm

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.

Invited speakers

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).

Czech Technical University
Thákurova 9
166 34 Prague 6
Czech Republic
More information: 
Categorisation