[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