Formal Methods Europe

Homepage of FME

Archives for the ‘News’ Category

FM 2014: Preliminary Call

By Bernhard Aichernig • Sep 3rd, 2012 • Category: News

The next Formal Methods conference FM 2014 will be held in Singapore. It takes place May 12-16, 2014 at the National University of Singapore (NUS).
The general chair responsible for the event is Jin Song Dong. The local chair is Yang Liu, NTU, Singapore.
The PC Co-Chairs responsible for the technical program are

Cliff B. Jones: Newcastle [...]

FM 2014 in Singapore

By Bernhard Aichernig • Jul 10th, 2012 • Category: News

The board of FME recently decided that the 19th International Symposium on Formal Methods FM 2014 will be held in Singapore. The conference location will be the National University of Singapore (NUS). Jin Song Dong will serve as general co-chair.
More details can be found on the website of FM 2014.
This is the first time in [...]


By Bernhard Aichernig • Feb 2nd, 2012 • Category: News

FormSERA 2012
Formal Methods in Software Engineering: Rigorous and Agile Approaches
Workshop on Saturday 2 June 2012, Zurich, Switzerland
Held in conjunction with ICSE 2012 (
The FormSERA workshop addresses the use formal methods in software development
practice. Formal methods differ from many software engineering techniques in
that they demand [...]

First Call for Papers: CONCUR 2012

By Bernhard Aichernig • Jan 2nd, 2012 • Category: News

23rd International Conference on Concurrency Theory
3rd to 8th September 2012, Newcastle upon Tyne, United Kingdom
CONCUR 2012 is an official event of The Alan Turing Year
The purpose of the CONCUR conferences is to bring together researchers,
developers, and students in order to advance the theory of concurrency,
and promote its applications.
Submissions are [...]

Upcoming: ICFEM 2011

By Bernhard Aichernig • Jul 26th, 2011 • Category: News, Sponsored by FME

FME will sponsor Jifeng HE, East China Normal University, China as a keynote speaker at ICFEM 2011, the 13th International Conference on Formal Engineering Methods 26th-28th October 2011, Durham, United Kingdom.
Since 1997, ICFEM has provided a forum for those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and [...]

AVoCS 2011

By Bernhard Aichernig • Jul 26th, 2011 • Category: News, Sponsored by FME

Tom Maibaum, a Canada Research Chair in the Foundations of Software Engineering at McMaster University, will be an FME invited speaker at the coming 11th International Workshop on Automated Verification of Critical Systems (AVOCS). AVoCS 2011 will be organised in Newcastle upon Tyne (UK) on September 12-15, 2011 (for more information see
The workshop organisers [...]

Report on PSI 2011

By Bernhard Aichernig • Jul 26th, 2011 • Category: News, Sponsored by FME

The Ershov Informatics Conference (the “Perspectives of System Informatics” conference series, the 8th edition) was held on June 27 – July 1, 2011, in Akademgorodok, Novosibirsk, Russia. The conference was dedicated to the 80th anniversary of a pioneer in theoretical and system programming research, academician Andrei Petrovich Ershov (1931-1988), and to the 100 anniversary of [...]

VSTTE 2010

By Bernhard Aichernig • Nov 16th, 2010 • Category: News, Sponsored by FME

Back in August, the 3rd International Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2010) was hosted by Heriot-Watt in Edinburgh.
VSTTE is the flagship conference associated with the Verified Software Initiative (VSI) — a fifteen year international collaborative project directed at the scientific challenges of large-scale software verification. VSTTE 2010 clearly met the [...]

FM 2012 in Paris

By Bernhard Aichernig • Oct 29th, 2010 • Category: News

The FM 2012 Symposium will be held at the Conservatoire National des Arts et Metiers (CNAM) in central Paris during August 27-31, 2012. The general chairs are Kamel Barkaoui (CNAM) and Béatrice Berard (Laboratoire d’Informatique de Paris 6). The PC chairs are  Dominique Mery and Dimitra Giannakopoulou. More details and updated information can be found on [...]

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