Home - Latest news
Scope
Invited Speakers
Topics
Final Programme (new)
Info for authors
(Camera-ready)
Important dates (new)
Call for papers
Committees
Workshop information (new)
Registration
Sponsors
Accomodation (new)
Related Conferences (n)
Contact information
CITY College Thessaloniki
Sponsors
BCS - FACS

Committees

PROGRAMME CO-CHAIRS

PROGRAMME COMMITTEE

  • T. Balanescu (University of Pitesti)
  • F. Belli (University of Paderborn)
  • E. Berki (University of Jyvaskyla)
  • N. Bogunovic (University of Zagreb)
  • C. Calude (University of Auckland)
  • G. Ciobanu (Romanian Academy of Sciences)
  • A. Cowling (University of Sheffield)
  • J. Derrick (University of Sheffield)
  • D. Dranidis (City College)
  • A. Eskenazi (Bulgarian Academy of Sciences)
  • H. Georgescu (University of Bucharest)
  • M. Gheorghe (University of Sheffield)
  • D. Guelev (Bulgarian Academy of Sciences)
  • J. Hall (Open University, UK)
  • C. Hartonas (TEI Larissa)
  • M. Holcombe (University of Sheffield)
  • F. Ipate (University of Pitesti)
  • M. Ivanovic (University of Novi Sad)
  • T. Jebelean (Johannes Kepler University, Institute e-Austria)
  • T. Kapus (University of Maribor)
  • P. Kefalas (CITY college)
  • E. Kehris (TEI Serres)
  • D. Kleftouris (TEI Thessaloniki)
  • H. Oguztuzun (Middle East Technical University)
  • A. Sotiriadou (City College)
  • I. Stamelos (Aristotle University Thessaloniki)
  • M. Ufuk Caglayan (Bogazici University)
  • M. Velev (Reservoir Labs)
  • M. Wirsing (Ludwig-Maximilians University of Munich)
  • H. Yenigun (Sabanci University)

LOCAL ORGANISING COMMITTEE

  • Margita Kon-Popovska (Sts. Cyril and Methodius University)

SECRETARIAT
SEEFM05
2nd South-East European Workshop on Formal Methods
"Practical dimensions: Challenges in the business world"
City College (www.city.academic.gr)
South-Eastern European Research Center SEERC (www.seerc.info)
Ohrid, 18-19 November 2005
Satellite of 2nd Balkan Conference in Informatics, 17-20 Nov 2005 (www.ii.edu.mk/BCI2005)