Back
to Main PageConference Timetable
|
|
|
| 9:00 - 9:30 | Opening remarks |
| 9:30 - 10:30 | Tutorial (chair: Y.N. Moschovakis)
D.A. Martin, UCLA "Descriptive Set Theory and Large Cardinals, I" |
| 10:30 - 11:00 | Coffee break |
| 11:00 -12:00 | Invited lecture(chair: J. van Benthem)
C.H. Papadimitriou, UC Berkeley "Complexity as Metaphor" |
| 12:15 - 1:15 | Invited lecture (chair: J. van Benthem)
J. Sifakis, VERIMAG "Formal Methods: An Overview and Perspectives" |
| 1:30 - 3:00 | Lunch |
| 3:00 - 5:00 | Afternoon break |
| 5:00 - 6:30 | Contributed talks - 2 parallel sessions |
| 6:45 - 8:00 | Panel on "Logic as an Information Science"
Moderator: A. Sinachopoulos, DGIII-EC & ULB Panelists: J. van Benthem, U. of Amsterdam, C.H. Papadimitriou, UC Berkeley, Y.N. Moschovakis, UCLA & U. of Athens |
|
|
|
| 9:00 - 10:00 | Tutorial (chair: Ph. Kolaitis)
D.A. Martin, UCLA "Descriptive Set Theory and Large Cardinals, II" |
| 10:00 - 11:00 | Invited lecture (chair: Ph. Kolaitis)
A.S. Kechris, Caltech "Linear Algebraic Groups and Descriptive Set Theory" |
| 11:00 - 11:30 | Coffee break |
| 11:30 - 12:30 | Tutorial (chair: C. Dimitracopoulos)
A. Macintyre, U. of Edinburgh "Introduction to the Model Theory of Fields, I" |
| 12:30 - 1:30 | Invited lecture (chair: C. Dimitracopoulos)
K. Ierodiakonou, National Technical U. of Athens "Aristotle's Logical Examples" |
| 1:30 - 3:00 | Lunch |
| 3:00 - 5:00 | Afternoon break |
| 5:00 - 7:30 | Contributed talks - 2 parallel sessions |
|
|
|
| 9:00 - 10:00 | Tutorial (chair: A. Kechris)
D.A. Martin, UCLA "Descriptive Set Theory and Large Cardinals, III" |
| 10:00 - 11:00 | Invited lecture (chair: A. Kechris)
Y.N. Moschovakis, UCLA & University of Athens "On Colson's Theorem" |
| 11:00 - 11:30 | Coffee break |
| 11:30 - 12:30 | Tutorial (chair: G. Koletsos)
A. Macintyre, U. of Edinburgh "Introduction to the Model Theory of Fields, II" |
| 12:30 - 1:30 | Tutorial (chair: G. Koletsos)
M.Y. Vardi, Rice University "Automata-theoretic Approach to Design Verification, I" |
| 1:30 - 3:00 | Lunch |
| 3:00 - 5:00 | Afternoon break |
| 5:00 - | Excursion to the archaeological site and museum |
|
|
|
| 9:00 - 10:00 | Invited lecture (chair: E. Zachos)
A. Kakas, U. of Cyprus "Common Sense Reasoning: What logic does this follow?" |
| 10:00 - 11:00 | Invited lecture (chair: E. Zachos)
G. Metakides, European Commission Title to be announced |
| 11:00 - 11:30 | Coffee break |
| 11:30 - 12:30 | Invited lecture (chair: Th. Pheidas)
Z. Chatzidakis, U. of Paris 7 - CNRS "Difference Fields: Study of Finite Dimensional Sets" |
| 12:30 - 1:30 | Tutorial (chair: Th. Pheidas)
M.Y. Vardi, Rice University "Automata-theoretic Approach to Design Verification, II" |
| 1:30 - 3:00 | Lunch |
| 3:00 - 5:00 | Afternoon break |
| 5:00 - 7:30 | Contributed talks - 2 parallel sessions |
| 7:30 - 8:00 | Tools Demonstration (chair: A. Kakas)
R. Diaconescu, IMAR "Object-oriented algebraic specification and verification in CafeOBJ" |
|
|
|
| 9:00 - 10:00 | Tutorial (chair: C. Drossos)
M.Y. Vardi, Rice University "Automata-theoretic Approach to Design Verification, III" |
| 10:00 - 11:00 | Tutorial (chair: C. Drossos)
A. Macintyre, U. of Edinburgh "Introduction to the Model Theory of Fields, III" |
| 11:00 - 11:30 | Coffee break |
| 11:30 - 1:00 | Contributed talks |
| 1:30 - 3:00 | Lunch |
| 4:00 | Buses depart for Athens |