Logic List Mailing Archive

CfPart: CSL 2022, Virtual

14-19 Feb 2022


Call for Participation (CSL'22)

News: Online conference; Registration is open; List of accepted papers; Ack
ermann awards.

Computer Science Logic (CSL) is the annual conference of the European 

Association for Computer Science Logic (EACSL), see 


CSL is an interdisciplinary conference, spanning across both basic and 

application oriented research in mathematical logic and computer science.

CSL'22 will be held on February 14 - 19, 2022, online. The conference is 

hosted by the University of Gttingen. More details, including the 

schedule, will be announced soon on the website: 


Invited speakers:

Annabelle McIver Macquarie (University, Sydney, Australia)
Udi Boker (IDC Herzliya, Israel)
Martin Escardo (University of Birmingham, UK)
Rosalie Iemhoff (Utrecht University, The Netherlands)
Karen Lange (Wellesley College, USA)

Accepted papers:

The Program Committee selected 35 accepted papers for presentation at CSL 2
022. Their titles and authors can be seen here:


To register for CSL 2022, please fill in the registration form at:

The participation fee for CSL 2022 is as follows:
- members of EACSL (2022): free
- students: 5 Euro
- members of EATCS or ACM SIGLOG (2022): 15 Euro
- regular: 20 Euro
This fee covers participation in CSL 2022 and includes membership of EACSL 
for 2022 (https://www.eacsl.org/membership/).
This fee has to be paid directly to the EACSL, as indicated in the registra
tion process, and is processed by the EACSL.

There is no participation fee for the collocated workshops (see below), and
 they can be attended without paying the CSL registration fee, but the CSL-
registration form should still be filled.

These participation fees are made possible only due to the generous financi
al support by the German Research Foundation (DFG) and the University of G

Important dates:

Speaker registration deadline: January 31st, 2022. At least one author of e
very contributed paper must register as a speaker.

Non-speaker registration deadline: February 6th, 2022. All participants mus
t register.


The Helena Rasiowa Award is the best student paper award for the CSL confer
ence series, starting from CSL 2022.

The award will be given to the best paper (as decided by the PC) written so
lely by students or for which students were the main contributors. The Hele
na-Rasiowa-Award will be announced during the conference.

Read more about the contribution of Helena Rasiowa to logic and computer sc
ience, and their interplay, here: https://www.eacsl.org/?page_id=1104

Ackermann Award 2021:

The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic i
n Computer Science. The award for 2021 will be presented during CSL 2022.

The Ackermann Award 2021 is given to two PhD theses (in alphabetic order):
Marie Fortin for her thesis "Expressivity of first-order logic, star-free p
ropositional dynamic logic and communicating automata" defended at ENS Pari
s-Saclay, (France) in 2020. Supervisors: Paul Gastin and Benedikt Bollig
Sandra Kiefer for her thesis "Power and Limits of the Weisfeiler-Leman Algo
rithm" defended at RWTH Aachen, (Germany) in 2020. Examiners: Martin Grohe,
 Pascal Schweitzer, Neil Immerman

Colocated events:

LCC 2022: Logic and Computational Complexity
Meetings of the workshop "Logic and Computational Complexity" are aimed at 
the foundational interconnections between logic and computational complexit
y, as present, for example, in implicit computational complexity (descripti
ve and type-theoretic methods); deductive formalisms as they relate to comp
lexity (e.g. ramification, weak comprehension, bounded arithmetic, linear l
ogic and resource logics); complexity aspects of finite model theory and da
tabases; complexity-mindful program derivation and verification; computatio
nal complexity at higher type; and proof complexity. LCC 2022 will be the 2
3rd workshop in the series, see https://www.cs.swansea.ac.uk/lcc/. The prog
ram will consist of invited lectures as well as contributed papers selected
 by the Program Committee.

LMW@CSL: Logic Mentoring Workshop
The Logic Mentoring Workshop introduces young researchers to the technical 
and practical aspects of a career in logic research. It is targeted at stud
ents, from senior undergraduates to graduates, and will include talks and p
anel sessions from leaders in the subject. Building on successful LMW editi
ons from past years, its first winter edition will be collocated with CSL 2
Website: https://lmw.mpi-sws.org/csl/


Please send all questions about submissions to the PC co-chairs and main or
[LOGIC] mailing list
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