|
|
Committees
PROGRAMME CHAIR
PROGRAMME COMMITTEE
- T. Balanescu (University of Pitesti, Romania)
- A. Bauer (IMFM Ljubljana, Slovenia)
- N. Bogunovic (University of Zagreb, Croatia)
- C. Calude (University of Auckland, New Zealand)
- A. J. Cowling (University of Sheffield, UK)
- D. Dranidis (City College, Greece)
- A. Eskenazi (Bulgarian Academy of Sciences, Bulgaria)
- M. Gheorghe (University of Sheffield, UK)
- D. Guelev (Bulgarian Academy of Sciences, Bulgaria)
- C. Hartonas (TEI Larissa, Greece)
- F. Ipate (University of Pitesti, Romania)
- M. Ivanovic (University of Novi Sad, Serbia and Montenegro)
- T. Kapus (University of Maribor, Slovenia)
- E. Kehris (TEI Serres, Greece)
- D. Kleftouris (TEI Thessaloniki, Greece)
- M. Kon-Popovska (University of Kiril and Metodij, Fyrom)
- H. Oguztuzun (Middle East Technical University, Turkey)
- G. Papadopoulos (University of Cyprus, Cyprus)
- I. Stamelos (Aristotle University Thessaloniki, Greece)
- M. Ufuk Caglayan (Bogazici University, Turkey)
- H. Yenigun (Sabanci University, Turkey)
- M. Wirsing (Ludwig-Maximilians University of Munich, Germany)
- K. Zdravkova (University of Kiril and Metodij, Fyrom)
LOCAL ORGANISING COMMITTEE
SECRETARIAT
|
SEEFM'03
1 st South-East European Workshop on Formal Methods
"Agile Formal Methods:
Practical, Rigorous Methods for a changing world"
City College ( www.city.academic.gr)
South-Eastern European Research Center SEERC ( www.seerc.info)
Thessaloniki, Greece, 20 November 2003
Satellite of 1 st Balkan Conference in Informatics, 21-23 Nov 2003 ( bci1.csd.auth.gr)
|
|
