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

Registration

Application for participation should be made at least one month in advance. There is no registration fee but the number of participants will be limited. To register click here. Please complete carefully all required information to help us to provide more help to you. A bus from Thessaloniki to Ohrid (leaving early (06:45) on Friday morning from Tsimiski 13 (CITY college) and returning to Thessaloniki late Saturday) will be available with a cost 80 euro per person.

Coffee breaks and refreshments will be available throughout the workshop.
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)