Share this on

Call for Participation - SEEFM 2009

Call for Participation - SEEFM 2009
Added on 05/11/2009

After the successful organisation of the first three workshops (SEEFM'03 - Thessaloniki, SEEFM'05 - Ohrid, SEEFM'07 - Thessaloniki) the 4th South-East European Workshop on Formal Methods aims to continue bringing together researchers of the Formal Methods community, not only from SEE region but from the rest of the world as well. The workshop will take place on the 5th of December, 2009, and is organised by CITY College and SEERC. This year's theme is twofold and involves:"Formal Methods for Web Services" and "Formal Methods for Agent-based Systems". The workshop will include two keynote addresses by Prof Mike Hinchey of Lero, Ireland, and Prof Wolfgang Reisig of Humboldt-Universitat zu Berlin, Germany.

Additional information

We use cookies to ensure you get the best experience on our website.
You can disable cookies by modifying the settings in your internet browser’s options.