Apologies for Multiple Postings
----------------------------------------------------------------------------
3rd South-East European Workshop on Formal Methods
SEEFM'07
The Workshop program is available at:
http://www.seefm.info/seefm07/Programme.html
Themes:
"Service-Oriented Computing and Formal Methods"
and
"Teaching Formal Methods"
Thessaloniki, 30 November - 1 December 2007
KEYNOTE SPEAKERS
Prof. Marco Pistore
Prof. Martin Wirsing
-----------------------------------------------------------------------
SCOPE
-----------------------------------------------------------------------
The successful organisation of the 1st Workshop that took place in
Thessaloniki (SEEFM03) and the 2nd Workshop that took place in
Ochrid (SEFM05), fulfilled their goals by bringing people from SEE together,
based on their common interest in Formal Methods. The aim of the 3rd in
series workshop 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) "Service-Oriented Computing 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.
--------------------------------------------------------------------
KEYNOTE SPEAKERS
--------------------------------------------------------------------
The SEEFM07 workshop is honored to host two invited talks by two
distinguished keynote speakers:
- Prof. Marco Pistore (Institute for Scientific and Technological
Research (IRST) of the Fondazione Bruno Kessler (FBK), Trento, Italy)
Title: Supporting the Composition of Distributed Business Processes
- Prof. Martin Wirsing (Ludwig-Maximilians-Universitat Munchen, Germany)
Title: SENSORIA: Engineering for Service-Oriented Overlay Computers
Information regarding the invited talks can be found at
http://www.seefm.info/seefm07/InvitedSpeakers.html
---------------------------------------------------------------------
REGISTRATION:
------------
Registration Information can be found at
http://www.seefm.info/seefm07/Registration.html
SECRETERIAT:
------------
[log in to unmask]
WORKSHOP HOME PAGE:
-------------------
http://www.seefm.info/seefm07
SPONSORS:
---------
BCS-FACS, SOSoRNET,
Macedonia newspaper (communication sponsor)
ORGANISED BY:
-------------
City College (http://www.city.academic.gr)
South-East European Research Centre SEERC (http://www.seerc.org)
--------------------------------------------------------------------
Satellite workshop of
Informatics Education Europe Conference II, 29-30 November 2007
http://www.seerc.org/ieeii2007
--------------------------------------------------------------------
APOLOGIES FOR CROSS-POSTINGS
|