Logic Colloquium 2021 (moved from 2020)

[Leszek Kolodziejczyk]

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 at ppnt.poznan.pl concerning registration and other matters
outside the scientific program
- szymon.chlebowski at amu.edu.pl concerning abstracts
- andrzej.gajda at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210323/f5ee29b7/attachment-0001.html>