---

SEEFM'03
1^st South-East European Workshop on Formal Methods
"Agile Formal Methods: Practical, Rigorous Methods for a changing world"
City College (www.city.academic.gr)
South-Eastern European Research Center SEERC (www.seerc.info)
Thessaloniki, Greece, 20 November 2003
Satellite of 1^st Balkan Conference in Informatics, 21-23 Nov 2003 (bci1.csd.auth.gr)