CiE 2007
|
General Information
|
Participation
|
Scientific Programme
|
Publications
|
CiE
|
CCA 2007
Complexity of Algorithms and Proofs
Organisers:
Elvira Mayordomo
(Zaragoza) and
Jan Johannsen
(Munich)
Eric Allender
(Rutgers):
Reachability Problems: An Update
Jörg Flum
(Freiburg):
Parameterized Complexity and Logic
Michal Koucký
(Prague):
Circuit Complexity of Regular Languages
Neil Thapen
(Prague): The Polynomial and Linear Hierarchies in Weak Theories of Bounded Arithmetic
Heribert Vollmer
(Hannover):
Computational Complexity of Constraint Satisfaction
Maintained
B. Cooper