f

Upcoming events

Related documents

SEERC Bi Annual Report 2022-2023

Click here to download

SEERC Bi Annual Report 2020-2021

Click here to download

SEERC Gender Equality Policy

Click here to download

SEERC Gender Data Report 2022

Click here to download

SEERC Bi Annual Report 2019-2020

Click here to download

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

SEERC GDPR Policy

Click here to download

Share this on

Proceedings of the 1st South-East European Workshop on Formal Methods: Agile Formal Methods: Practical, Rigorous Methods for a Changing World

Proceedings of the 1st South-East European Workshop on Formal Methods: Agile Formal Methods: Practical, Rigorous Methods for a Changing World
Authors Dimitris Dranidis and Kalliopi Tigka (editors)
Publisher SEERC
Year 2004
Type Proceedings
ISBN 960-87869-1-6

The 1st South-East European Workshop on Formal Methods (SEEFM03) took place in Thessaloniki on November 20, 2003. It was jointly organised by CITY College and SEERC, as a satellite event of the 1st Balkan Conference on Informatics (BCI 2003). The aim of the workshop was to bring together researchers from South-Eastern European countries and others who are interested in Formal Methods. The particular aim of the workshop was to set the basis for the establishment of a network of scientists who are active in the field of formal methods in the area of the Balkans.

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.

блекспрут зеркало блекспрут зеркало блекспрут ссылкаблекспрут ссылка blacksprut blacksprut