The Eighteenth International Workshop on Logic and Computational Complexity
will be held in Reykjavik, Iceland, on June 19, 2017,
as an affiliated meeting of
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 papers selected by the Program Committee.
|Paper submission deadline:
||April 14, 2017
||May 1, 2017
||June 19, 2017
- Arnaud Durand, Université Denis Diderot - Paris 7
- Damiano Mazza, CNRS--Université Paris-Nord
To be announced...
SUBMISSION OF PAPERS
We welcome submissions of abstracts based on work submitted or published
elsewhere, provided that all pertinent information is disclosed at
submission time. There will be no formal reviewing as is usually
understood in peer-reviewed conferences with published proceedings. The
program committee checks relevance and may provide additional feedback.
Submissions must be in English and in the form of an abstract of about 3-4
pages. All submissions should be submitted through Easychair at:
See the LiCS registration page (when available).
To contact the workshop organizers, please send e-mail to