Formal Methods Europe

Homepage of FME

Archives for the ‘News’ Category

CFP: FM+AM’10: 2nd Workshop on Formal Methods and Agile Methods, Affiliated to the SEFM’10 Conference, Pisa, September 2010

By Bernhard Aichernig • May 12th, 2010 • Category: News

Formal Methods (FM) and Agile Methods (AM) are often seen
as antagonists in the field of software methodololgy, but
this does not necessarily be the case.
For this workshop we are seeking novel contributions that
can be used for making rapid development techniques more
formally sound, as well as for accelerating the speed of
formally sound development techniques. This could be [...]

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 [...]

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 [...]


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 [...]

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 [...]

New Formal Methods Wiki

By Bernhard Aichernig • Mar 26th, 2009 • Category: News

Jonathan Bowen has created a new Formal Methods Wiki under .

FM 2008: Goodbye Turku!

By Bernhard Aichernig • Sep 23rd, 2008 • Category: News

FM 2008, was succesfully completed. Photos of the event are available at the conference web page.

FM 2009

By Bernhard Aichernig • Sep 22nd, 2008 • Category: News

Update 20 Nov 09: FM 2009 and FM Week succesfully completed.
Update: FM 2009 has started!
Update: The list of Accepted Papers for FM2009 is now available on the symposium page.
Update: Formal Methods 2009 Industry Day has published its website including the program.
We are happy to announce FM2009, the 16th International Symposium on Formal Methods, Oct 30-Nov 7, 2009, [...]