| Zeit |
Referent(en) |
Thema |
| 9:55 |
Begrüßung |
| 10:00 |
Andreas Birkendorf, Andreas Böker, Hans Ulrich Simon |
Lernen aus kleinsten
Gegenbeispielen |
| 10:25 |
Manindra Agrawal, Thomas Thierauf |
A Note on Satisfiability
Problems |
| 10:50 |
Kaffeepause |
| 11:15 |
Sven Kosub, Heinz Schmitz, Heribert Vollmer |
Uniformly Defining Complexity
Classes of Functions |
| 11:40 |
Paul Fischer, Norbert Klasner, Ingo Wegener |
Über den kritischen
Punkt bei kombinatorischen Gruppentests |
| 12:05 |
Mittagspause |
| 13:25 |
Carsten Damm |
On Spectral Lower Bound Arguments for Decision
Trees |
| 13:50 |
Stefan Edelkamp |
Multi Suffix Tree Dictionary in Optimal
Space |
| 14:15 |
Jörg Rothe |
Two Natural $\Theta_{2}^{p}$-Complete
Problems |
| 14:40 |
Kaffeepause |
| 15:05 |
Klaus Reinhardt, Eric Allender |
NL/poly = UL/poly |
| 15:30 |
Jan Behrens, Stephan Waack |
Äquivalenztest und Transformation
der Ordnung für Parity-OBDDs bezüglich verschiedener Ordnungen |
| 15:55 |
Thomas Schwentick |
Padding and the Expressive Power
of Existential Second-Order Logics |
| 16:20 |
Kaffeepause |
| 16:45 |
Jochen Meßner, Jacobo Torán |
Optimale aussagenlogische
Beweissysteme und vollständige Sprachen |
| 17:10 |
Bernd Borchert, Dietrich Kuske, Frank Stephan |
On Existentially First-Order
Definable Languages and their Relation to NP |
| 17:35 |
Heribert Vollmer, Klaus W. Wagner |
Über mögliche
logspace-Varianten des IP- und des PCP-Theorems |
| 18:00 |
Ende |
