Logic Colloquium 2020

[Leszek Kołodziejczyk]

LOGIC COLLOQUIUM 2020

Poznań, Poland, 13-18.07.2020

https://lc2020.pl (https://lc2020.pl/)

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, which in
2020 will be held from July 13 to July 18 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 31, 2020 registration opens
March 31, 2020 deadline for abstract submission
April 13, 2020 deadline for student travel awards applications
April 30, 2020 notifications
May 25, 2020 camera-ready abstracts due
June 13, 2020 early payments deadline
July 7, 2020 late payments deadline

Enquiries should be sent to:

- lc2020 at ppnt.poznan.pl (mailto:lc2020 at ppnt.poznan.pl) concerning travel, registration and other matters outside the scientific
program
- szymon.chlebowski at amu.edu.pl (mailto:szymon.chlebowski at amu.edu.pl) concerning abstracts
- andrzej.gajda at amu.edu.pl (mailto:andrzej.gajda at amu.edu.pl) concerning the scientific program
- natalia.zyluk at amu.edu.pl (mailto:natalia.zyluk at 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 Vienna
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 (go to:
https://easychair.org/conferences/?conf=lc2020 (https://easychair.org/conferences/?conf=lc2020)). Abstract should be prepared according to the ASL
instructions using the ASL abstract style (http://aslonline.org/rules-for-abstracts (http://aslonline.org/rules-for-abstracts/)). The deadline
for submissions is March 31, 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 13, 2020): 250 EUR (regular), 200 (reduced);
- late payments (deadline: July 7, 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 (http://aslonline.org/student-travel-awards/).
Applications should be sent between January 31--April 13, 2020. Application must contain a short
description of the applicant's project, their status and the sum requested. It should be followed
by a supervisor's recommendation.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20200211/4671146e/attachment-0001.html>