The list of invited speakers and talks includes:
to Main Page
Chatzidakis, University of Paris 7, France
"Difference Fields: Study of Finite Dimensional Sets"
Ierodiakonou, National Technical University of Athens, Greece
"Aristotle's Logical Examples"
Kakas, University of Cyprus, Cyprus
"Common Sense Reasoning: What logic does this follow?"
Kechris, California Institute of Technology, USA
"Linear Algebraic Groups and Descriptive Set Theory"
Y. N. Moschovakis,
University of Athens, Greece and University of California, Los Angeles,
"On Colson's Theorem" (abstract)
University of California, Berkeley, USA
"Complexity as Metaphor" (abstract)
Sifakis, VERIMAG, France
"Formal methods - An Overview and Perspectives"