Time
|
Room A
Chair: M.Y. Vardi
|
Room B
Chair: A. Tzouvaras
|
5:00-5:30 |
F. Afrati, E. Foustoukos, T. Andronikos
"Datalog Trees and Their Automata" |
Vessela Baleva
"Structure degree jump" |
5:30-6:00 |
Dusan Guller
"One generalization of Herbrand's theorem" |
Kai Hauser
"Godel's program revisited" |
6:00-6:30 |
George Koletsos, George Stavrinos
"The structure of the reducibility proofs"
(the talk will be given in greek) |
Stela Nikolova
"Definability via partial enumerations with $\Pi^0_n$ domains" |
6:30-7:00 |
Thierry Massart, Laurent Van Begin, Eric Van Nuffel
"Design of timed systems using a real-time process algebra" |
Vladimir Sotirov
"Various Syllogistics from the Algebraic Point of View" |
7:00-7:30 |
A. Sotiriadou, P. Kefalas
"Logic and sets in the computer science curriculum" |
Kyriakos Keremedis, Eleftherios Tachtsis
"On Lindelof Metric Spaces and Weak Forms Of the Axiom Choice" |