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.

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 Guzman
University of Toronto
Matthew Harrison-Trainor
Victoria University of Wellington
Jan Krajíček
Charles University
Vincenzo de Risi
CNRS, Université Paris Diderot
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

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

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 April 30, 2019.

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.