Formal Methods Europe

Homepage of FME

Author Archive

AI4FM workshop

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

The AI4FM workshop brings together researchers from formal methods and AI; it addresses the issues of how AI can be used to support the formal software development process, including modelling and proof, and includes a mix of industrial and academic participants and we anticipate attracting a similarly diverse audience.
The AI4FM 2013, is being held in Rennes on July 22nd [...]



AVOCS 2013

By Bernhard Aichernig • Apr 10th, 2013 • Category: Sponsored by FME

13th Automated Verification of Critical Systems (AVOCS) 2013 Workshop
http://www.avocs2013.org.uk
11-13th September, 2013
University of Surrey, UK
Submission (abstract for full paper): 31st May 2013
Submission (full papers): 7th June 2013
FME is sponsoring three students bursaries for the event.



FME Annual General Meeting 2013

By Bernhard Aichernig • Dec 10th, 2012 • Category: FME Meeting

The next Annual General Meeting of FME will be held on Friday, 8 March 2013 at the premises of CWI, Amsterdam.
Details will follow.



Call for Papers: FormaliSE 2013

By Bernhard Aichernig • Dec 10th, 2012 • Category: Sponsored by FME

CALL FOR PAPERs: FormaliSE 2013
FME Workshop on Formal Methods in Software Engineering
held in conjunction with ICSE 2013
Saturday 25 May 2013, San Francisco, USA
http://www.formalise.org/
Papers due: February 7, 2013
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 the [...]



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



FME meetings in Paris

By Bernhard Aichernig • Aug 7th, 2012 • Category: FME Meeting

Dear FME Member,

As usual at FM Symposia, there will be a FME business meeting at the Symposium in Paris later this month. The meeting is planned to be held during lunch (13:00-14:00) on Thursday, August 30.

There will also be a more informal “brainstorming meeting” on Tuesday, August 28, at 18:00. At that meeting we will [...]



FormSera Workshop at ICSE 2012

By Bernhard Aichernig • Jul 31st, 2012 • Category: Sponsored by FME

FormSERA (Formal Methods in Software Engineering: Rigorous and Agile Approaches) is a workshop that was organized under the umbrella of ICSE 2012 (International Conference on Software Engineering), the major yearly event in the field of software engineering. The workshop focussed on bridging the gap between the mainstream software engineering community and the formal methods community.
An invited lecture [...]



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



Call for FM’14 Symposium Proposals

By Bernhard Aichernig • Feb 15th, 2012 • Category: Uncategorized

The FME board is inviting proposals to arrange the 19th International Symposium on Formal Methods 2014.
We particularly invite proposals from outside Europe.
See the attached Call for FM’14.