torre CiE 2007 logo
CiE 2007 | General Information | Participation | Scientific Programme | Publications | CiE | CCA 2007
photo credit
Complexity of Algorithms and Proofs

Organisers: Elvira Mayordomo (Zaragoza) and Jan Johannsen (Munich)


Eric Allender Eric Allender (Rutgers): Reachability Problems: An Update Joerg Flum  Jörg Flum (Freiburg): Parameterized Complexity and Logic
Michal Koucky  Michal Koucký (Prague): Circuit Complexity of Regular Languages Neil Thapen  Neil Thapen (Prague): The Polynomial and Linear Hierarchies in Weak Theories of Bounded Arithmetic
 vollmer Heribert Vollmer (Hannover): Computational Complexity of Constraint Satisfaction

 palio
dipartimento
dipartimento
palazzo publico

CiE logo
EATCS logo ASL logo AILA logo
EACSL logo LNCS logo FoLLI logo CRA-W logo MPS logo
CiE logo CiE 2005 small poster CiE 2006 small poster CiE07 poster CCA logo UNISI logo GNSAGA Springer
Maintained
B. Cooper
Valid HTML 4.01!