South-East European Research Centre (SEERC)

The 1st South-East European Workshop on Formal Methods (SEEFM03) took place in Thessaloniki on November 20, 2003. It was jointly organised by CITY College and SEERC, as a satellite event of the 1st Balkan Conference on Informatics (BCI 2003). The aim of the workshop was to bring together researchers from South-Eastern European countries and others who are interested in Formal Methods. The particular aim of the workshop was to set the basis for the establishment of a network of scientists who are active in the field of formal methods in the area of the Balkans.