RegistrationApplication for participation should be made at least one month in advance. There is no registration fee but the number of participants will be limited. In order to register please press here |
|
SEEFM'03 1st 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 1st Balkan Conference in Informatics, 21-23 Nov 2003 (bci1.csd.auth.gr) |