Formal Methods Europe

Homepage of FME

Archives for the ‘Sponsored by FME’ Category

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



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



REFINE 2008

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



REFINE 2009

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



Zot, an agile metric temporal logic satisfiability checker

By Bernhard Aichernig • Mar 26th, 2009 • Category: Sponsored by FME

FME sponsored the extension of the Zot tool from Politecnico di Milano as an FME Small Project. This small project has been completed.



Mondex Case Study of University of Karlsruhe

By Bernhard Aichernig • Sep 23rd, 2008 • Category: Sponsored by FME

See the results of the Mondex verification case study of University of Karlsruhe sponsored by an FME small project: Technical Report. The work has been published at SEFM 2007.