Time
|
Room A
Chair: A. Sinachopoulou
|
Room B
Chair: A. Ditchev
|
5:00-5:30 |
Andrea Formisano
"On the completeness of theory-based variants of resolution" |
Benedikt Lowe
"Dualizing the Stone-Cech compactification" |
5:30-6:00 |
Aggelos Kiayias, Aris Pagourtzis, Stathis Zachos
"Cook-Reductions Blur Structural Differences Between Functional
Complexity Classes" |
Athanassios Tzouvaras
"Expanding discretely ordered groups to rings" |
6:00-6:30 |
Milenko Mosurovic, Michael Zakharyaschev
"On the complexity of description logics with modal operators" |
Valentin Goranko
"Trees and finite Branching" |
6:30-7:00 |
Richard Lipton, Anastasios Viglas
"On the Power of Automata Based Proof Systems" |
Karim Zahidi
"The existential theory of real hyperelliptic function fields" |
7:00-7:30 |
S. Chopra, K. Georgatos, R. Parikh
"Non-Monotonic Inference on Belief Sequences" |
Paola D'Aquino
"Nonstandard finite fields in $I\Delta_{0} + \Omega_{1}$" |