|
|
Committees
WORKSHOP CHAIRS
Dimitris DRANIDIS (City College) dranidis@city.academic.gr
Ioanna STAMATOPOULOU (City College) istamatopoulou@city.academic.gr
PROGRAMME COMMITTEE
- G. Antoniou (University of Crete, Greece)
- F. Belli (University of Paderborn, Germany)
- E. Berki (University of Tampere, Finland)
- J. Bowen (London South Bank University, UK)
- R. Bruni (University of Pisa, Italy)
- C. Calude (University of Auckland, New Zealand)
- V. Camps (Paul Sabatier University, France)
- A. Cowling (University of Sheffield, UK)
- Y. Demazeau (Grenoble Computing Lab, France)
- G. Eleftherakis (City College, Greece)
- H. Foster (Imperial College London, UK)
- A. Friesen (SAP, Germany)
- M. Gheorghe (University of Sheffield, UK)
- D. Guelev (Bulgarian Academy of Sciences)
- J. Hall (Open University, UK)
- C. Hartonas (TEI Larissa, Greece)
- G. Hassapis (Aristotle University,Greece)
- R. Heckel (University of Leicester, UK)
- M. Hinchey (Lero, Ireland)
- M. Holcombe (University of Sheffield, UK)
- F. Ipate (University of Pitesti, Romania)
- M. Ivanovic (University of Novi Sad, Serbia)
- T. Jebelean (Johannes Kepler University,
Institute e-Austria)
- O. Kazar (Biskra University, Algeria)
- P. Kefalas (CITY college, Greece)
- E. Kehris (TEI Serres, Greece)
- A. Marconi (Institute for Scientific and
Technological Research, Italy)
- H. Oguztungun (Middle East Technical University)
- M. Pistore (Institute for Scientific and
Technological Research, Italy)
- W. Reisig (Humboldt-University of Berlin,
Germany)
- I. Sakellariou (University of Macedonia, Greece)
- T. Simons (University of Sheffield, UK)
- A. Sotiriadou (CITY college, Greece)
- G. Struth (University of Sheffield, UK)
- S. Vadera (University of Salford, UK)
- W. Vasconcelos (University of Aberdeen, UK)
- G. Vouros (University of the Aegean, Greece)
- M. Wirsing (Ludwig-Maximilians University of
Munich, Germany)
- K. Zdravkova (Sts. Cyril and Methodius
University, FYR of Macedonia)
LOCAL ORGANISING COMMITTEE
- P. Kefalas (City College)
- E. Ramollari (SEERC)
- K. Rousis (SEERC)
|
SEEFM'09
4 th South-East European Workshop on Formal
Methods
"Formal Methods for Web Services", and
"Formal Methods for Agent-based Systems"
City College ( www.city.academic.gr)
South-East European Research Centre SEERC ( www.seerc.org)
Thessaloniki, Greece, 5 December 2009
|
|
