Logic List Mailing Archive

LC 2021: Logic Colloquium, Virtual

19-24 Jul 2021

LOGIC COLLOQUIUM 2021
19-24 July 2021 (online)
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: Psychology and Cognitive 
Science and 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 is open
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, 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 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). The abstracts 
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