Logic and Computational Complexity

An International Workshop Series


 

Home

Steering-Com

Past-meetings

LCC'16 MEETING

The Seventeenth International Workshop on Logic and Computational Complexity will be held in Marseille, France, on September 2-3, 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 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.