RE: Logic Colloquium 2021 (moved from 2020)

10 views
Skip to first unread message

Kreinovich, Vladik

unread,
Mar 24, 2021, 8:28:12 PM3/24/21
to construc...@googlegroups.com, Leszek Kolodziejczyk

FYI

 

From Leszek Kolodziejczyk
Sent: Tuesday, March 23, 2021 3:05 AM

 

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:
- lc2...@ppnt.poznan.pl concerning registration and other matters outside the scientific program
- szymon.c...@amu.edu.pl concerning abstracts
- andrze...@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.
Reply all
Reply to author
Forward
0 new messages