The list of invited speakers and talks includes:

• Z. Chatzidakis, University of Paris 7, France

"Difference Fields: Study of Finite Dimensional Sets"
• K. Ierodiakonou, National Technical University of Athens, Greece

"Aristotle's Logical Examples"
• A. Kakas, University of Cyprus, Cyprus

"Common Sense Reasoning: What logic does this follow?" (abstract)
• A. Kechris, California Institute of Technology, USA

"Linear Algebraic Groups and Descriptive Set Theory" (abstract)
• Y. N. Moschovakis, University of Athens, Greece and University of California, Los Angeles, USA

"On Colson's Theorem" (abstract)
• C. Papadimitriou, University of California, Berkeley, USA

"Complexity as Metaphor" (abstract)
• J. Sifakis, VERIMAG, France

"Formal methods - An Overview and Perspectives" (abstract)