19-24 Jul 2021
LOGIC COLLOQUIUM 2021 Pozna?, Poland, 19-24 July 2021 (on-line) https://lc2021.pl/ The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, which in 2021 will be hosted from July 19 to July 24 by the Adam Mickiewicz University, Pozna?, Poland, as a fully on-line event. 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: March 31, 2021 registration opens April 30, 2021 deadline for abstract submission May 20, 2021 notifications June 1, 2021 camera-ready abstracts due Enquiries should be sent to: - lc2021@ppnt.poznan.pl<mailto:lc2021@ppnt.poznan.pl> concerning registration and other matters outside the scientific program - szymon.chlebowski@amu.edu.pl<mailto:szymon.chlebowski@amu.edu.pl> concerning abstracts - andrzej.gajda@amu.edu.pl<mailto:andrzej.gajda@amu.edu.pl> concerning the scientific program Program Committee: Boris Zilber, Universityof 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 Special sessions: Set Theory Model Theory Modal and Epistemic Logic Proofs and Programs Computability Logic in Cognitive Science and Linguistics Submissions: The abstracts of contributed papers must be submitted as pdf files, via EasyChair (https://easychair.org/conferences/?conf=lc20210). Abstract should be prepared according to the ASL instructions using the ASL abstract style (http://aslonline.org/rules-for-abstracts/). The deadline for submissions is April 30,2021. 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: No fees apply. -- [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