The conference will begin on the afternoon of Sunday, August 11 with a public lecture by Hannes Leitgeb, which is a joint event with CLMPST and is intended for a wide audience. Lectures will then run from Monday to Friday, with a free afternoon and excursion on Wednesday and the conference dinner on Thursday.

There will also be a joint social event with the CLMPST on Saturday, August 10, 20:00 at the Institute of Philosophy of the Czech Academy of Sciences. Participants registered for the Logic Colloquium are welcome to attend free of charge.

Public plenary lecture

Hannes Leitgeb
Ludwig Maximilian University of Munich


Michael Rathjen
University of Leeds
Dilip Raghavan
National University of Singapore

Retiring Presidential Address

Ulrich Kohlenbach
TU Darmstadt

Plenary lectures

Samson Abramsky
University of Oxford
Zoé Chatzidakis
Ecole Normale Supérieure
Osvaldo Guzmán
University of Toronto
Matthew Harrison-Trainor
Victoria University of Wellington
Jan Krajíček
Charles University
Vincenzo de Risi
CNRS, Paris Diderot University
Gil Sagi
University of Haifa
Thomas Scanlon
University of California at Berkeley
Rineke Verbrugge
University of Groningen
Martin Ziegler
Korea Advanced Institute of Science and Technology

Special Sessions

Set Theory
Yair Hayut   University of Vienna
Heike Mildenberger   University of Freiburg
Daniel Soukup   University of Vienna
Andy Zucker   Paris Diderot University
organized by David Chodounský and Osvaldo Guzmán
Model Theory
Ayse Berkman   Mimar Sinan Fine Arts University
Philip Dittmann   KU Leuven
Angus Macintyre   Queen Mary University of London
Francesco Parente   University of East Anglia
organized by Thomas Scanlon and Maryanthe Malliaris
Reflection Principles and Modal Logic
Ali Enayat   University of Gothenburg
Emil Jeřábek   Czech Academy of Sciences
Fedor Pakhomov   Steklov Mathematical Institute, Moscow
Albert Visser   Utrecht University
organized by Joost Joosten and David Fernández-Duque
Proof Theory and Proof Complexity
Bahareh Afshari   University of Gothenburg
Olaf Beyersdorff   University of Jena
Sara Negri   University of Helsinki
Pedro Pinto   Univeristy of Lisbon
Thomas Powell   TU Darmstadt
Neil Thapen   Czech Academy of Sciences
organized by Ulrich Kohlenbach and Samuel Buss
Laurent Bienvenu   LaBRI
Valentina Harizanov   George Washington University
Denis Hirschfeldt   University of Chicago
Noah Schweber   University of Wisconsin–Madison
organized by Damir Dzhafarov and Alexander Shen
Foundations of Geometry
Michael Beeson   San José State University
Pierre Boutry   University of Strasbourg
John Mumma   Cal State San Bernardino
Gianluca Paolini   University of Torino
organized by John T. Baldwin and Victor Pambuccian

Program Committee


The Congress of Logic, Methodology and Philosophy of Science and Technology will be held in Prague in 2019 in the week before the Logic Colloquium, in the same venue. Participants wishing to visit both conferences are eligible for a reduced fee in the Early bird registration period. For more information about the congress, please visit their website.