LCC - Logic and Computational Complexity
An international workshop series
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.
By-laws and steering committee
By-laws
LCC has two Steering Committee co-chairs, elected by the full Committee, each serving a four year term, staggered at two year intervals.
The members of the Steering Committee include the following.
- The current Steering Committee as listed below
- The steering committee co-chairs of the last four years
- The program co-chairs of the last two meetings
- Every two years (starting in 2010), a new member elected for a term of six years by the current Steering Committee
- Steering Committee co-chairs, if not included in the above
- Additional members, elected by the Steering Committee at its discretion.
Steering committee (as of September 2025)
- Martin Avanzini
- Baillot Patrick
- Ulrich Berger
- Arnaud Durand, co-chair
- Jan Hoffmann, co-chair
- Isabel Oitavem
- Juha Kontinen
- Daniel Leivant
- Monika Seisenberger
- Heribert Vollmer
- Thomas Zeume