Contributed Talks: Friday, July 16

(speakers are in boldface letters)
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}$"
Back to Timetable