11-16 Aug 2019
Prague, Czech Republic
2019 European Summer Meeting (Logic Colloquium '19) August 11-16, 2019, Prague, Czech Republic https://www.lc2019.cz/ The invited speakers are S. Abramsky, Z. Chatzidakis, V. de Risi, O. Guzman, M. Harrison-Trainor, U. Kohlen- bach (giving the Retiring Presidential Address), J. Krajicek, G. Sagi, T. Scanlon, R. Verbrugge, and M. Ziegler, and tutorials will be given by D. Raghavan and M. Rathjen. Special sessions will be held on Computability; Foundations of Geometry; Model Theory; Proof Theory and Proof Complexity; Reflection Principles and Modal Logic; and Set Theory. The members of the Program Committee are A. Arana, L. Beklemishev (chair), A. Ciabattoni, R. Miller, M. Otto, P. Pudlak, S. Todorcevic, and A. Wilkie. The members of the Local Organizing Committee are D. Chodounsky (co-chair), P. Cintula, R. Honzik, J. Hubicka, P. Pudlak, J. Stary, N. Thapen, and J. Verner (co-chair). For further information please visit https://www.lc2019.cz/. This meeting is co-located with the 16th CLMPST (see below, under Other Meetings), with a public lecture by H. Leitgeb, jointly sponsored by the two meetings, on August 11, 2019. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts (see below). Abstracts must be submitted by email to abstracts@ lc2019.cz by April 30, 2019, following the details given at https://www.lc2019.cz/program. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam