[TYPES/announce] LCC 2022 workshop Final call for participation
Patrick Baillot
patrick.baillot at univ-lille.fr
Fri Feb 11 10:17:03 EST 2022
=================================================================
Final Call for Participation
LCC 2022
22nd International Workshop on Logic and Computational Complexity
February 20, 2022, Online
Collocated with CSL 2022
https://urldefense.com/v3/__http://www.cs.swansea.ac.uk/lcc/__;!!IBzWLUs!CYaEPTE8kKWOWW6UKDFcv_P1JDrZiDAfqoUWDNXS1U7nBZZwn5yKextE0zP4QLfb7aGcd0UIBVR_Cw$
=================================================================
* The programme is now available online on the workshop’s web page:
https://urldefense.com/v3/__http://www.cs.swansea.ac.uk/lcc/__;!!IBzWLUs!CYaEPTE8kKWOWW6UKDFcv_P1JDrZiDAfqoUWDNXS1U7nBZZwn5yKextE0zP4QLfb7aGcd0UIBVR_Cw$
* 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:
https://urldefense.com/v3/__http://csl2022.uni-goettingen.de/__;!!IBzWLUs!CYaEPTE8kKWOWW6UKDFcv_P1JDrZiDAfqoUWDNXS1U7nBZZwn5yKextE0zP4QLfb7aGcd0U4OrO8xA$
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 at easychair.org
More information about the Types-announce
mailing list