Formal Methods Europe

Homepage of FME

Author Archive

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.



Upcoming: AVOCS 2014

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

The aim of Automated Verification of Critical Systems (AVoCS) 2014
(http://utwente.nl/avocs2014/) is to contribute to the interaction and
exchange of ideas among members of the international research
community on tools and techniques for the verification of critical
systems. It covers all aspects of automated verification, including
model checking, theorem proving, SAT/SMT constraint solving, abstract
interpretation, and refinement pertaining to various types [...]



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



FME Meeting at FM 2014 in Singapore

By Bernhard Aichernig • Apr 30th, 2014 • Category: FME Meeting

Dear FME Member,
As usual at FM Symposia, there will be an FME business meeting at the symposium in Singapore.
The meeting will be held during lunch (12:30-14:00) on Friday, May 16. The room will be announced.
For details, please, see the Agenda.
All FME members are most welcome!



Call For Participation: FormaliSE 2014

By Bernhard Aichernig • Mar 31st, 2014 • Category: Sponsored by FME

FormaliSE 2014, Hyderabad, India, 3 June 2014
www.formalise.org

FormaliSE 2014 received a good number of high-quality submissions this year and
we are proud to announce an excellent programme. The FormaliSE workshop is
co-located with ICSE 2014 (http://2014.icse-conferences.org/). Please join us
at FormaliSE 2014!
Introduction
Formal methods for software developent are still not widely used in industry.
This may be due to the fact [...]



Call for Participation: COMPASS Summer School on Formal Modelling of Systems of Systems

By Bernhard Aichernig • Mar 8th, 2014 • Category: Sponsored by FME

The COMPASS Summer School
(http://www.compass-research.eu/summerschool.html) takes place in
Newcastle upon Tyne, UK from June 16-20, 2014.
We invite PhD students and post-doctoral researchers to participate in the
Summer School, which will focus on new developments in modelling and
analysis of Systems of Systems (SoSs).
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 [...]



New Chair Elected: Ana Cavalcanti

By Bernhard Aichernig • Mar 7th, 2014 • Category: FME Meeting

The FME members present at the last Annual General Meeting (AGM) have elected Ana Cavalcanti as the new chair of the board of FME. She is succeeding John Fitzgerald who has served as chairman since 2000.
Ana Cavalcanti is a Professor at the University of York and a Royal Society - Wolfson Research Merit Award holder. [...]