Upcoming events
Related documents
Martian Wallet is a cutting-edge digital wallet for managing your cryptocurrencies securely.It features fast transactions & a user-friendly interface, perfect for all crypto enthusiasts. More martianwallet.net. блекспрут зеркало блекспрут зеркало
блекспрут ссылкаблекспрут ссылка
blacksprut blacksprut
 |
SEERC Bi Annual Report 2022-2023 |
|
SEERC Bi Annual Report 2020-2021 |
|
SEERC Gender Equality Policy |
|
SEERC Gender Data Report 2022 |
|
SEERC Bi Annual Report 2019-2020 |
|
SEERC 15 Years Brochure Click here to download |
|
SEERC Annual Report 2018 Click here to download |
|
SEERC Annual Report 2017 |
|
SEERC Annual Report 2016 |
|
Brief Profile of SEERC 2016 |
|
SEERC Annual Report 2015 |
|
SEERC Bi-annual Report 2013-2014 |
|
SEERC Annual Report 2012 |
|
SEERC Annual Report 2011 |
|
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 |
|
SEERC GDPR Policy Click here to download |
Share this on
Proceedings of the 3rd South East European Workshop on Formal Methods: Service-Oriented Computing and Teaching Formal Methods
Authors Dimitris Dranidis and Illias Sakellariou (editors)
Publisher SEERC
Year 2007
Type Proceedings
ISBN 978-960-89629-4-1
This book is the outcome of the 3rd South East European Workshop on Formal Methods (SEEFM07), which took place in Thessaloniki, Greece, on November 30 - December 1, 2007. The workshop was organised by SEERC and CITY College, and sponsored by BCS-FACS, the specialist group of the British Computer Society in Formal Aspects of Computing Science, and SOSoRNET, the UK Service-oriented Software Research Network.
The workshop was a continuation to the series of biannual SEEFM worshops which was initiated in 2003, and had a dual theme for 2007: (a) Service-Oriented Computing, and (b) Teaching Formal Methods. It was held as a satellite event to the Informatics Education Europe II Conference.
The workshop featured 17 presentations of full papers by authors from Greece, Germany, UK, Finland, Italy, Portugal, Czech Republic, Romania, and France, and two invited talks by Prof. Marco Pistore (IRST - Fondazione Bruno Kessler, Italy) and Prof. Martin Wirsing (Institut fόr Informatik, Ludwig-Maximilians-Universitδt Mόnchen).