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 region and has the  stated objective “… to promote research on theoretical and practical aspects of automated analysis, verification and synthesis in East Asia by providing a forum for interaction between the regional and the international research communities and industry in the field.”

Read more

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 web activities
• Discussion on possible name change from Formal Methods Europe to Formal Methods Association
• Discussion on better coordination of the FM Symposia with other formal methods conferences

Best regards,

Read more

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.

Read more

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 the precision of its semantics.

The basis of this work is the Meta-model published in From use cases to test cases via meta model-based reasoning [1]. This meta model is to be implemented in a CASE tool prototype. Not all the features of that meta model are already implemented; the current state of the implementation only recognizes the classic UML relations, such as the inheritance, invocation and the extension and inclusion relationships for use cases.

Read more

Lars-Henrik Ericsson is our new secretary!

Read more

The Seventh International Andrei Ershov Memorial Conference “Perspectives of System Informatics” was held in June 15-19, 2009, in Akademgorodok, Novosibirsk, Russia.

Read more

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.

Read more

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.

Read more

The FM 2011 symposium will be held at Lero in Limerick, 20-24 June 2011.

Read more

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).

Read more