13-18 Jul 2020
Poznan, Poland
LOGIC COLLOQUIUM 2020 Pozna?, Poland, 13-18.07.20120 https://lc2020.pl/ The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, that in 2020 will be held from 13th to 18th of July at the Adam Mickiewicz University, Pozna?, Poland. It is organized jointly by the AMU Faculties: of Psychology and Cognitive Science and of Mathematics and Computer Science. The latest meetings took place in Helsinki (2015), Leeds (2016), Stockholm (2017), Udine (2018) and Prague (2019). The Association for Symbolic Logic is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and critical discussion of scholarly work in this area of inquiry. IMPORTANT DATES January 31st, 2020 registration opens March 31st, 2020 deadline for abstract submission April 13th, 2020 deadline for student travel awards applications April 30th, 2020 notifications May 25th, 2020 camera-ready abstracts due June 13th, 2020 early payments deadline July 7th, 2020 late payments deadline Enquiries should be sent to: - lc2020@ppnt.poznan.pl concerning travel, registration and other matters outside the scientific program - szymon.chlebowski@amu.edu.pl concerning abstracts - andrzej.gajda@amu.edu.pl concerning scientific program - natalia.zyluk@amu.edu.pl concerning financial support PROGRAM COMMITTEE Boris Zilber, University of Oxford - chair Wojciech Buszkowski, Adam Mickiewicz University in Pozna? Anuj Dawar, University of Cambridge Giuseppe Primiero, University of Milan Mariya Soskova, University of Wisconsin?Madison Henry Towsner, University of Pennsylvania Matteo Viale, University of Torino TUTORIAL SPEAKERS Krzysztof Krupi?ski, University of Wroc?aw Andrew Marks, University of California Los Angeles PLENARY SPEAKERS Elisabeth Bouscaren, CNRS - Université Paris-Sud (Gödel Lecture) Linda Westrick, Pennsylvania State University Benoit Monin, Créteil University Noam Greenberg, Victoria University of Wellington Vera Fischer, University of Viena Luca Motto Ros, University of Turin Elaine Pimentel, Federal University of Rio Grande do Norte Frank Pfenning, Carnegie Mellon University Johan van Benthem, University of Amsterdam Ryan Williams, Massachusetts Institute of Technology Artem Chernikov, University of California Los Angeles SPECIAL SESSIONS Set Theory Model Theory Modal and Epistemic Logic Proofs and Programs Computability Logic and Cognitive Science and Linguistics SUBMISSIONS Abstracts of contributed papers must be submitted as pdf files, via EasyChair (go to: https://easychair.org/conferences/?conf=lc2020). Abstract should be prepared according to the ASL instruction using the ASL abstract style (http://aslonline.org/rules-for-abstracts/). The deadline for submissions is March 31st, 2020. Upon notification of acceptance, authors will be requested to submit the LaTeX source files. Abstracts are published as part of the meeting report in The Bulletin of Symbolic Logic only if at least one author is a member of the ASL at the time the report is sent for publication. Abstracts of contributed papers submitted by ASL members will be published in The Bulletin of Symbolic Logic, provided that they satisfy the Rules for Abstracts. FEES - early payments (deadline: June 13th, 2020): 250 EUR (regular), 200 (reduced); - late payments (deadline: July 7th, 2020): 350 EUR (regular), 300 (reduced). Reduced fees will be applied to students and PhD students, and participants from countries with developing economies Student travel awards The ASL will award modest travel awards to attend LC 2020, for PhD students and recent students (at most 2 years from defence). For details, see: http://aslonline.org/student-travel-awards/. Applications should be sent between January 31st--April 13th, 2020. Application must contain a short description of applicant's project, their status and the sum requested. It should be followed by a supervisor's recommendation. -- [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