---

SEEFM05
2^nd 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 2^nd Balkan Conference in Informatics, 17-20 Nov 2005 (www.ii.edu.mk/BCI2005)