LCC'13 MEETING
The Fourteenth International Workshop on Logic and Computational Complexity
will be held in Torino, Italy, on September 6, as
an affiliated meeting of
CSL 2013.
LCC meetings are aimed at the foundational interconnections between
logic and computational complexity, as present, for example, in
implicit computational complexity (descriptive and typetheoretic 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;
complexitymindful program derivation and verification;
computational complexity at higher type; and proof complexity.
The
LCC'13 Program is now available.
IMPORTANT DATES
 Paper submission deadline: June 20, 2013
 Authors' notification: July 8th, 2013
INVITED SPEAKERS
 Martin Avanzini (Innsbruck)
 Patrick Baillot (ENS Lyon)
 Marco Gaboardi (UPenn)
 Amélie Gheerbrant (Edimburgh)
 Juha Kontinen (Helsinki)
PROGRAM CHAIRS
 Arnaud Durand (University Denis Diderot  Paris 7)
 Simone Martini (University of Bologna)
SUBMISSION OF PAPERS
Papers or abstracts should be submitted through Easychair using the following address:
https://www.easychair.org/conferences/?conf=lcc13
REGISTRATION
Registration will be handled by the CSL organization and we will have
information about that later.
