================================================================= Final Call for Participation LCC 2022
22nd International Workshop on Logic and Computational Complexity February 20, 2022, Online Collocated with CSL 2022 http://www.cs.swansea.ac.uk/lcc/ =================================================================
* The programme is now available online on the workshop’s web page:
http://www.cs.swansea.ac.uk/lcc/
* Invited speakers:
Stephan Kreutzer (TU Berlin) Carsten Lutz (University of Bremen) Isabel Oitavem (Nova University Lisbon)
* Registration is free, but necessary for organisation reasons. Please register on CSL’s website:
http://csl2022.uni-goettingen.de/
LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. The program will consist of invited lectures as well as contributed talks selected by the Program Committee.
PROGRAM COMMITTEE:
Patrick Baillot (CNRS, University of Lille, France, co-chair) Meghyn Bienvenu (CNRS, University of Bordeaux, France) Juha Kontinen (University of Helsinki, Finland, co-chair) Cynthia Kop (Radboud University Nijmegen, The Netherlands) Barnaby Martin (Durhan University, UK) Nicole Schweikardt (Humboldt-University Berlin, Germany)
CONTACT:
To contact the workshop organizers, please send e-mail to lcc22@easychair.orgmailto:lcc22@easychair.org