Workshop InformationOFFICIAL LANGUAGEThe official language of the workshop is English. PROCEEDINGSThe proceedings will be published electronically. It is anticipated that every effort will be made so that a post-proceedings volume will be published in a known publishing company or as special issue of a journal. The latter will assume that a number of papers selected will be peer reviewed once more. LOCATIONThe workshop will take place at City College, which is located at the center of Thessaloniki. Buffet lunch, coffee break and refreshments will be available throughout the workshop. |
|
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) |