The International Workshop on
Logic and Computational Complexity

The Logic and Computational Complexity Workshop concerns the theory and application of logic-based, machine-independent approaches to computational complexity. These approaches have opened new ways of incorporating aspects of computational complexity into areas such as formal methods in software development, programming language design, and database theory.

LCC 2007
will be held in July 2007, Wroclaw, Poland as a satellite workshop of LICS 2007.
Past Conferences
Webpages of past LCC conferences and related meetings.

Steering committee

Last modified: Wed Feb 28 15:59:08 EST 2007