| Home - Scope |
| Topics |
| Important dates |
| Call for papers |
| Committees |
| Information for authors |
| Workshop information |
| Registration |
| Contact information |
| Keynote Speakers |
| Programme |
| Travel |
| Conclusions |
 |
 |
 |
|
|
Call for Papers |
|
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 |