Formal Methods Europe

Homepage of FME

Author Archive

FME Tools Repository

By Bernhard Aichernig • Nov 2nd, 2009 • Category: News, Sponsored by FME

We are happy to announce that the FME Tools Repository is online. It is hosted at University of Minho.
The repository was funded by FME under the small-project scheme. It was implemented by Adriana Santos and Carlos Vilhena.

Small Project about UML Use Cases and Logic

By Bernhard Aichernig • Nov 2nd, 2009 • Category: News, Sponsored by FME

FME sponsors a small project by Stefan Gruner, Pretoria, South Africa.
This project is located in the area of CASE – Computer Aided Software Engineering –with particular emphasis on Requirements Engineering and Generation of Test Cases from Requirements Specification. For this purpose, the popular UML Use Case notation is being augmented by Logic annotations to increase [...]

ATVA 2009, Macao

By Bernhard Aichernig • Nov 2nd, 2009 • Category: News, Sponsored by FME

The 7th International Symposium on Automated Technology for Verification and Analysis took place October 14-16, 2009, in Macao. It was organized by United Nations University Inistitute for Software Technology (UNU/IIST) in cooperation with Macau Polytechnic Institute (MPI). It was preceeded by a tutorial day, October 13.
ATVA is one of the important formal methods events in the [...]

FME Meeting at FM 2009, Nov 5

By Bernhard Aichernig • Nov 2nd, 2009 • Category: FME Meeting

Update 20 Nov 09: The minutes are now online.
Dear FME member,
There will be a FME business meeting during the FM symposium in Eindhoven. The meeting will be at 12:30 on November 5th in the Senaatszaal behind the main lecture hall of the Technische  Universiteit auditorium building.
Preliminary agenda items:
- Report on FM09
- Planning of FM11
- Report on [...]

New Secretary of FME

By Bernhard Aichernig • Sep 15th, 2009 • Category: News, Uncategorized

Lars-Henrik Ericsson is our new secretary!
Lars holds a Ph.D. from the Royal Institute of Technology in Stockholm (1993). His thesis concerned a proof-theoretical approach to logic programming. Between 1995 and 2001 he was a formal methods consultant. Lars-Henrik mainly worked with railway signalling applications and with development of tools and methodology for FM. Since 2001 [...]

PSI 2009, Novosibirsk, Russia

By Bernhard Aichernig • Jun 29th, 2009 • Category: Sponsored by FME

The Seventh International Andrei Ershov Memorial Conference “Perspectives of System Informatics” was held in June 15-19, 2009, in Akademgorodok, Novosibirsk, Russia. The PSI’09 Conference was dedicated to the memory of a prominent scientist academician A.P. Ershov and to a significant date in the history of computer science in the country, namely, to the 50th anniversary of [...]


By Bernhard Aichernig • Jun 16th, 2009 • Category: Sponsored by FME

The BCS-FACS Refinement Workshop has been running since 1988: in the UK for the first seven editions; as part of the International Refinement Workshop in Canberra in 1998; and then in Copenhagen in 2002, Surrey in 2005, Macao in 2006, and Oxford in 2007.
The 13th edition was held at Turku, Finland, in May 2008, co-located with FM 2008. There [...]


By Bernhard Aichernig • Jun 16th, 2009 • Category: News, Sponsored by FME

The 14th edition of the BCS-FACS Refinement Workshop will be held as part of the FM Week at Eindhoven, on 2 November 2009. Proceedings will appear in ENTCS, and a special issue of Formal Aspects of Computing will be produced afterwards, consisting of developments and extensions of workshop papers.
Carroll Morgan has agreed to be the invited speaker, with tentative title [...]

The SCORE 2009 Contest

By Bernhard Aichernig • May 27th, 2009 • Category: Sponsored by FME

The Student Contest in Software Engineering (SCORE) is a novel initiative that took place as part of the 31st International Conference on Software Engineering (ICSE 2009).
SCORE is a worldwide competition that is targeted to students at the undergraduate and master’s level. It emphasizes the engineering aspects of software development, as opposed to a narrower view [...]

FM 2011: Limerick, Ireland, 20-24 June 2011

By Bernhard Aichernig • May 27th, 2009 • Category: News

The FM 2011 symposium will be held at Lero in Limerick, 20-24 June 2011. Lero is Ireland’s Software Engineering Research Centre, comprising University of Limerick (UL) and the three Dublin universities: Dublin City University (DCU), Trinity College Dublin (TCD), and University College Dublin (UCD).  Lero is funded by Science Foundation Ireland under its CSET programme [...]