*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 Norway. ]{}[The University of Oslo has a long tradition working in formal methods, which stems back to the work of Ole-Johan Dahl (who was in fact invited speaker at VDM’90!).]{}

Read more

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, some shorter technical talks will be given by people from the local department.

Read more

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 testing. Topics of interest include model-based testing, combinations of testing and formal analysis techniques, tools and methods and case studies. ICTSS 2013 had threee invited talks given by Alexandre Petrenko (CRIM, Canada), Ana Cavalli (Telecom SudParis, France) and Jens Herrmann (Daimler, Germany).

Read more

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 be assured. For large complex projects ad hoc approaches have proven inadequate to assure the correct behavior of the delivered software. The lack of formalization in key places makes software engineering overly sensitive to the weaknesses that are inevitable in the complex activities behind software creation. Aids to precision in each phase of software development and crosschecking are essential, and this is precisely one the objectives of formal methods.

Read more

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 to the discussion and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems.

Read more

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 of testing. Topics of interest include model-based testing, combinations of testing and formal analysis techniques, tools and methods and case studies. Invited talks will be given by Alexandre Petrenko (CRIM, Canada), Ana Cavalli (Telecom SudParis, France) and Jens Herrmann (Daimler, Germany).

Read more

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 held on 25 May this year in San Francisco. About 30 participants heard an inspiring invited lecture given by Alan Wassyng of McMaster University, Canada. Alan’s extensive experience as both an engineering practitioner, and as a formal methods researcher, has led him to question the goals of formal methods research and the seriousness with which the needs of the profession are treated by researchers.

Read more

AVOCS 2013 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. Several of the regular papers report on emerging research from PhD students.

The workshop organisers are from Surrey, Helen Treharne and Steve Schneider, but have been supported by an active international programme committee. Both Helen and Steve are grateful for their support.

Read more

The FME board is inviting proposals to arrange the 20th International Symposium on Formal Methods 2015.

See the attached Call for FM’15.

Read more

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 as part of the ITP conference. FME have sponsored the following students:

Read more