Contributed Talks: Wednesday, July 14

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