LCC'16 MEETING
The
Seventeenth International Workshop on Logic and Computational Complexity
will be held in Marseille, France, on September 23, as Satellite Workshop of
CSL
2016.
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.
