Formal Methods Europe

Homepage of FME

Author Archive

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)



Report on ICTSS 2013

By Bernhard Aichernig • Feb 3rd, 2014 • Category: Sponsored by FME

The 25th IFIP International Conference on Testing Software and Systems ICTSS 2013 was held on November 13-15, 2013 in Istanbul, Turkey.
The ICTSS series of international conferences addresses the conceptual, theoretic, and practical problems of testing software systems and provides a forum for researchers and practitioners to discuss new approaches and developments in the field of [...]



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



FME Annual General Meeting 2014

By Bernhard Aichernig • Feb 3rd, 2014 • Category: FME Meeting

Dear FME Member,
The board of Formal Methods Europe cordially invites you to attend its Annual General Meeting, to be held on Thursday 13 February 2014 at the University of Newcastle, England. The meeting will start at 10:30 in room 2.21 of the Research Beehive (see directions below).
A meeting agenda is attached.
In connection with the AGM, [...]



Call for Papers: FormaliSE 2014

By Bernhard Aichernig • Dec 16th, 2013 • Category: Sponsored by FME

Call for Papers: FormaliSE 2014
2nd FME Workshop on Formal Methods in Software Engineering
held in conjunction with ICSE 2014 (May 31th–June 7th)
Hyderabad, India
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 the current technologies cannot [...]



Report on AVoCS 2013

By Bernhard Aichernig • Oct 22nd, 2013 • Category: Sponsored by FME

The 13th International Workshop on Automated Verification of Critical Systems (AVoCS 2013) was held on 11-13th September 2013 at the University of Surrey, Guildford, UK. AVoCS is dedicated to subjects of automated verification, including model checking, theorem proving and refinement concepts, interpreted in a broad and inclusive manner. The workshop series contributes [...]



Upcoming: ICTSS 2013

By Bernhard Aichernig • Oct 3rd, 2013 • Category: Sponsored by FME

The 25th IFIP International Conference on Testing Software and Systems ICTSS 2013 will be held on November 13-15, 2013 in Istanbul, Turkey.
The ICTSS series of international conferences addresses the conceptual, theoretic, and practical problems of testing software systems and provides a forum for researchers and practioners to discuss new approaches and developments in the field [...]



Report on FormaliSE 2013

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

FormaliSE, the FME Workshop on Formal Methods in Software Engineering, is a new event organized under the auspices of FME and ICSE, the International Conference on Software Engineering and the leading annual event in the field. The workshop aims to bridge the gap between the mainstream software engineering and the formal methods communities.
The first workshop was [...]



AVOCS 2013: call for participation

By Bernhard Aichernig • Aug 5th, 2013 • Category: Sponsored by FME

AVOCS 2013 (http://www.avocs2013.org.uk) will be held at Surrey on 11-13 September 2013. We have accepted 14 regular papers and 2 short papers. The main ethos of the workshop is to facilitate discussion of the research. The number of submissions received this year were the highest number seen by the workshop to date. [...]



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.