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

1st South-East European Workshop on Formal Methods (SEEFM'03)

1st South-East European Workshop on Formal Methods (SEEFM'03)
Download poster
Event type Workshop
Location Thessaloniki, Greece
Date(s) 20/11/2003
Organiser(s) South East European Research Centre, City College, University of Sheffield
The aim of the workshop was to bring together researchers of South-Eastern European countries and others who are interested in Formal Methods. More specifically, the workshop intended to establish a network of scientists in the Balkan area who are active in the field of formal methods. The theme of this workshop was how formal methods can deal with change, in order to facilitate practical development of dynamically evolving, correct and safe software systems. (Agile Formal Methods: Practical, Rigorous Methods for a changing world).

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