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

Workshop Information

OFFICIAL LANGUAGE

The official language of the workshop is English.

PROCEEDINGS

The proceedings will be published as an edited volume under the title: "Formal Methods: Challenges in the business world" by SEERC.

A number of selected papers will be peer reviewed once more and will be included in a post-proceedings volume in the forthcoming issue of the international journal Annals of Mathematics, Computing and Teleinformatics (AMCT).

SPONSORS

The workshop is sponsored by BCS-FACS (http://www.bcs-facs.org/):

  • Best Paper / Student presentation prizes of one year's FACS membership and one year's subscription to the FAC journal.
  • A student bursary of up to 150 pounds to help with attendance and presentation at SEEFM by a researcher based in the UK but with South East Europe connections.

LOCATION

The workshop will take place at Ohrid (FYR of Macedonia), which is the only city protected by UNESCO in the wider neighbourhood. Two airports are not far from Ohrid: Ohrid Airport (15 km, 15 minutes from the city), Skopje Airport (170 km, 2 hours). Also someone could come through Greece using Thessaloniki's airport (250 km, 3 hours).
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)