Logic Colloquium 2019

Logic Colloquium 2019
August 11-16, Prague, Czech Republic
www.lc2019.cz

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

INVITED & TUTORIAL SPEAKERS
Tutorials
  Michael Rathjen (Leeds)
  Dilip Raghavan (Singapore)

Plenary lectures
  Hannes Leitgeb (Munich)
  Ulrich Kohlenbach (Darmstadt)
  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

SESSION  ON SET THEORY
  Yair Hayut (Vienna)
  Heike Mildenberger (Freiburg)
  Daniel Soukup (Vienna)
  Andy Zucker (Paris)

CONFERENCE VENUE
  Czech Technical University
  Thákurova 9
  166 34 Prague 6
  Czech Republic

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s