Formal Methods Europe

Homepage of FME

Archives for the ‘News’ Category

Call for Papers: FormaliSE 2015

By Bernhard Aichernig • Dec 12th, 2014 • Category: News, Sponsored by FME

Call for Papers: FormaliSE 2015
3rd FME Workshop on Formal Methods in Software Engineering
to be held on 18 May 2015 in conjunction with
ICSE 2015 (May 16th-May 24th), in Florence, Italy
http://www.formalise.org/
INTRODUCTION
The software industry has a long-standing and well-earned reputation for
failing to deliver on its promises and it is clear that still nowadays,
the success of software projects with [...]



Call for Proposals: FM Symposium 2016/17

By Bernhard Aichernig • Oct 28th, 2014 • Category: News

The FME board is inviting proposals to arrange the 21st International Symposium on Formal Methods in Autumn 2016 or Winter 2017.
See the attached Call for Proposals.



FM 2015: Invited Speakers

By Bernhard Aichernig • Jun 20th, 2014 • Category: News

We are pleased to announce the invited speakers at the next FM 2015 in Oslo.

Elvira Albert, Complutense University of Madrid, Spain
Werner Damm, OFFIS, Germany
Valérie Issarny, INRIA, France
Leslie Lamport, Microsoft Research, USA

For details on the conference, please, visit the webpage of FM 2015.



COMPASS Summer School on Model-Based Systems of Systems Engineering

By Bernhard Aichernig • Jun 20th, 2014 • Category: News, Sponsored by FME

The COMPASS Summer School
(http://www.compass-research.eu/summerschool.html) takes place in
London, UK from September 17-18, 2014.
We welcome participation from PhD students and post-doctoral researchers
and systems engineers with a background in Systems of Systems, Systems
Engineering, Formal Specification, Component-Based Development,
Model-Based Systems Engineering or related disciplines.
The objective of the Summer School is to encourage the growth and
development of a community of researchers [...]



FM 2014: Registration Open

By Bernhard Aichernig • Mar 7th, 2014 • Category: News

It is time to register! The upcoming Formal Methods conference FM 2014 in Singapore has opened the registration process. The deadline for early registration is 31 March 2014.
Go to Registration Page.
For the list of accepted papers see list of accepted papers.
The upcoming Formal Methods conference FM 2014 will be held in Singapore. It takes place [...]



FM 2014: Accepted Papers

By Bernhard Aichernig • Feb 3rd, 2014 • Category: News

The Program Committee of FM 2014 has completed the paper selection process. See the list of accepted papers.
The upcoming Formal Methods conference FM 2014 will be held in Singapore. It takes place May 12-16, 2014 at the National University of Singapore (NUS).
Homepage of FM 2014
(Photo: williamcho)



FM 2015 in Oslo

By Bernhard Aichernig • Feb 3rd, 2014 • Category: News

FM 2015, the 20th Formal Methods symposium will be held at University of Oslo, Norway, 22–26 June, 2015.
The General Chair is Einar Broch Johnsen.
The PC Co-Chairs are Frank de Boer (CWI) and Nikolaj Bjorner (Microsoft Research).
Paper submission: 2 Jan 2015 (abstracts), 9 Jan 2015 (full papers).
This will be the first time that FM takes place in [...]



Call for FM’15 Symposium Proposals

By Bernhard Aichernig • Jul 11th, 2013 • Category: News

The FME board is inviting proposals to arrange the 20th International Symposium on Formal Methods 2015.
See the attached Call for FM’15.



Report on AVoCS 2012

By Bernhard Aichernig • Oct 19th, 2012 • Category: News, Sponsored by FME

The 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012) was held on 18-20th September 2012 at the University of Bamberg, Germany. AVoCS is dedicated to subjects of automated verification, including model checking, theorem proving, abstract interpretation and refinement concepts, interpreted in a broad and inclusive manner. The workshop series contributes to the [...]



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