[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

 * The programme is now available online on the workshop’s web page:
 * 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:
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.


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) 


To contact the workshop organizers, please send e-mail to lcc22 at easychair.org

More information about the Types-announce mailing list