The Logic and Computational Complexity Workshop, LCC 2012,<br>will be held in Dubrovnik, Croatia, on Sunday, June 24,<br>2012, as an affiliated meeting of LICS~2012.<br>The workshop aims at furthering an understanding of the<br>fundamental relations between computational complexity and<br>logic. Topics of interest include:<br>–– complexity analysis for functional languages<br>–– complexity in database theory<br>–– complexity in formal methods<br>–– complexity–theoretic type systems<br>–– formal methods for complexity analysis of programs<br>–– foundations of implicit computational complexity<br>–– logical and machine–independent characterizations of<br>complexity classes<br>–– logics closely related to complexity classes<br>–– proof complexity<br>–– semantic approaches to complexity.<br>
Abbrevation
LCC
City
Dubrovnik
Country
Croatia
Deadline Paper
Start Date
End Date
Abstract