Program

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.

The call for contributed talks is open. You can download a poster for the colloquium.

Public plenary lecture

Hannes Leitgeb
Ludwig Maximilian University of Munich

Tutorials

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
Computability
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

Contributed Talks

To submit an abstract for a contributed talk please send it by e-mail to abstracts@lc2019.cz. Submitted abstracts should be limited to 300 words including the title and references. The abstract should be submitted as a PDF file accompanied by a LaTeX file using the ASL abstract template (ASLabstracttemplate.tex, asl.cls). Please also include the preferred special session (if any) for your submission in the email subject line. For detailed guidelines see the ASL page.

The deadline for abstract submissions is May 31 (extended deadline).

The program committee is currently evaluating the abstracts that have been submitted so far. You will be informed about the status of your abstract as soon the PC makes a decision.

If you are expecting an email from us, please also check your spam folder.

Program Committee

CLMPST 2019

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.