================================================================= 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.org<mailto:lcc22@easychair.org>