Logic Colloquium 2019, Prague, August 11 – 16, 2019

European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ’19 will take place during August 11th–16th in Prague, Czech Republic. 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. continue reading…