| Home - Scope |
| Topics |
| Important dates |
| Call for papers |
| Committees |
| Information for authors |
| Workshop information |
| Registration |
| Contact information |
| Keynote Speakers |
| Programme |
| Travel |
| Conclusions |
 |
 |
 |
|
|
Workshop InformationOFFICIAL LANGUAGEThe official language of the workshop is English. LOCATIONThe workshop will take place at City College, which is located in the centre of Thessaloniki. More information, such as location maps and travel directions, will become available on this site in due time. |
|
SEEFM'09
4th South-East European Workshop on Formal Methods "Formal Methods for Web Services", and "Formal Methods for Agent-based Systems" City College (www.city.academic.gr) South-East European Research Centre SEERC (www.seerc.org) Thessaloniki, Greece, 5 December 2009 |