LCC'20: Logic and Computational Complexity 2020 Saarbrücken, Germany, July 7, 2020 |
Conference website | http://www.cs.swansea.ac.uk/lcc/ |
Submission link | https://easychair.org/conferences/?conf=lcc20 |
Abstract registration deadline | April 22, 2020 |
Submission deadline | April 22, 2020 |
Call for Contributions LCC 2020
The 21th International Workshop on Logic and Computational Complexity will be held on July 7, 2020 at Saarbruecken, Germany. It is collocated with LICS/ICALP 2020. Updated informations can be found at http://www.cs.swansea.ac.uk/lcc/.
LCC meetings are aimed at the foundational interconnections betweenlogic and computational complexity, as present, for example, inimplicit computational complexity (descriptive and type-theoreticmethods); deductive formalisms as they relate to complexity(e.g. ramification, weak comprehension, bounded arithmetic, linearlogic and resource logics); complexity aspects of finite model theoryand databases; complexity-mindful program derivation and verification;computational complexity at higher type; and proof complexity. Theprogram will consist of invited lectures as well as contributed talksselected by the Program Committee.
IMPORTANT DATES:
- submission April 22, 2020 (AoE)
- notification May 13, 2020
- workshop July 7, 2020
SUBMISSION:
Submissions must be in English and in the form of an abstract of about3-4 pages. All submissions should be submitted through Easychair at:
https://easychair.org/conferences/?conf=lcc20
We also welcome submissions of abstracts based on work submitted orpublished elsewhere, provided that all pertinent information isdisclosed at submission time. There will be no formal reviewing as isusually understood in peer-reviewed conferences with publishedproceedings. The program committee checks relevance and may provideadditional feedback.
PROGRAM COMMITTEE:
- Martin Avanzini (INRIA Sophia Antipolis Méditerranée, France, co-chair)
- Diego Figueira (CNRS Bordeaux, France)
- Joanna Ochremiak (CNRS Bordeaux, France)
- Magdalena Ortiz (TU Wien, Austria)
- Thomas Seiller (CNRS Paris, France)
- Jakob Grue Simonsen (University of Copenhagen, Denmark)
- Thomas Zeume (TU Dortmund, Germany, co-chair)