f

Upcoming events

Related documents

pdf

SEERC 15 Years Brochure

Click here to download

SEERC Annual Report 2018

Click here to download

SEERC Annual Report 2017

Click here to download

SEERC Annual Report 2016

Click here to download

Brief Profile of SEERC 2016

Click here to download

SEERC Annual Report 2015

Click here to download

SEERC Bi-annual Report 2013-2014

Click here to download

SEERC Annual Report 2012

Click here to download

SEERC Annual Report 2011

Click here to download

SEERC Annual Report 2010

Click here to download

SEERC Annual Report 2009

Click here to download

SEERC Annual Report 2008

Click here to download

SEERC Annual Report 2007

Click here to download

Share this on

3rd South-East European Workshop on Formal Methods (SEEFM'07)

3rd South-East European Workshop on Formal Methods (SEEFM'07)
Download poster
Event type Workshop
Location Thessaloniki, Greece
Date(s) 30/11/2007 - 01/12/2007
Organiser(s) South East European Research Centre, City College
The successful organisation of the 1st Workshop that took place in Thessaloniki (SEEFM'03) and the 2nd Workshop that took place in Ochrid (SEEFM'05), fulfilled their goals by bringing people from SEE together, based on their common interest in Formal Methods. The aim of the 3rd workshop in the series is to continue this success by engaging more researchers of the Formal Methods community not only from South-East Europe but also from the rest of the world. The theme of this workshop is twofold and deals with (a) Web Services and Formal Methods, and (b) Teaching Formal Methods. This year the workshop will be held in Thessaloniki and will be a satellite of the Informatics Education Europe II Conference which is going to be held the previous days at the same venue.

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.