International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016) CNR, Pisa, Italy, 26-28 September 2016 In 2016, FMICS and AVoCS join their forces to hold a workshop combining their themes of formal methods and automated verification. For FMICS, this will be the 21st, for AVoCS the 16th edition. The aim of the yearly workshop of the ERCIM working group FMICS is to provide a forum for researchers who are interested in the development and application of formal methods in industry.

Read more

The 4th edition of FormaliSE was held on Sunday 15 May in Austin (Texas, USA), co-located with ICSE 2016. 13 Participants heard inspiring keynotes by Pamela Zave (AT&T Research) and Don Batory (University of Texas at Austin), mixed with presentations of scientific papers, including discussions. A panel discussion, chaired by Stefania Gnesi, concluded the workshop. Nico Plat, Ben Di Vito, Don Batory, and Pamela Zave were the panel members. Initiated by FME (Formal Methods Europe), the FormaliSE workshop has slowly become an established forum for exchanging ideas that lower the barriers for wider use of formal methods in industrial software engineering practise.

Read more

Dear FME Member, This year we will hold our Annual General Meeting at ETAPS 2016 in Eindhoven. The AGM will take place on Friday, 8 April 2016, 09:00-11:00 hrs at the Eindhoven University of Technology, Room ZD 2.03 in the Zwarte Doos building in Eindhoven, The Netherlands. Below you find the relevant AGM documents: Agenda FME Report on 2015 FME Plans for 2016 FME Financial Report 2015-16 Financial Examiner Report by Leo Freitas

Read more

[FM 2016: 21st International Symposium on Formal Methods] [Limassol, Cyprus, 7-11 November 2016]{style=“font-size: 1em;”} fm2016.cs.ucy.ac.cy CALL FOR PAPERS IMPORTANT DATES Abstract submission deadline: 16 May 2016 Full paper submission deadline: 30 May 2016 Notification: 8 August 2016 Conference: 7-11 November 2016 FM 2016 is the latest in a series of symposia organized by Formal Methods Europe, an independent association that encourages the use of, and research on, formal methods for the engineering of computer-based systems and software.

Read more

4th FME Workshop on Formal Methods in Software Engineering to be held on 15 May 2016 in conjunction with ICSE 2016 (May 14th-May 22th), in Austin, Texas, USA 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, many approaches have proven inadequate to assure the correct behaviour of the delivered software, despite the efforts of the (often very skilled) software engineers involved.

Read more

Dear FME member, There will be an FME business meeting in London on December, 7th. The meeting will be held on the British Computer Society premises and the joint FME/BCS-FACS Landin seminar is held in conjunction with the meeting. Please refer to the agenda for more information. The minutes from the FME AGM in Oslo are available on the FME web site. After the meeting, members are invited to attend the joint FME/BCS-FACS Landin seminar given by prof.

Read more

The 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) and the collocated 6th International Workshop on AI for Formal Methods (AI4FM 2015) were hosted by the School of Mathematical and Computer Sciences within Heriot-Watt University on September 1-4, 2015. The workshops took place in headquarters of the International Centre for Mathematical Science (ICMS), located in the historic old town of the Edinburgh. The workshop programme of AVoCS consisted of regular papers, research ideas papers and two keynote speakers: Don Sannella (Contemplate Ltd & the University of Edinburgh, UK) and Colin O’Halloran (D-RisQ Software Systems & the University of Oxford, UK).

Read more

Prof. Cliff Jones of Newcastle University (UK) has been awarded the first FME Fellowship. The Fellowships are awarded every three years in recognition of technical breakthroughs and pioneering work in advancing, applying, and promoting mathematically rigorous methods for the design of computing systems. The first call for nominations was issued in January 2015, and on 25 June 2015 this process was concluded. In a ceremony at the 20th International Symposium on Formal Methods (FM 2015) Prof.

Read more

FM 2016, the 21st International Symposium on Formal Methods will be held in Cyprus, 7-11 November 2016. The General Chair is Anna Philippou, University of Cyprus. The PC Co-Chairs are John Fitzgerald, Newcastle University, UK, Stefania Gnesi, ISTI-CNR, Italy, and Constance Heitmeyer, US Naval Research Lab, USA. The event will take place at the 5 star hotel St. Raphael Resort at the beach of Limassol. Limassol (Lemesos) is the second largest city in Cyprus, located on the south coast of the island.

Read more

Dear FME Member, This year we will hold our Annual General Meeting at the FM 2015 symposium in Oslo. The AGM will take place on Tuesday, 23 June 2015, 17:45. The meeting will take in the “Smalltalk” room in the Ole-Johan-Dahl building (the symposium venue). Below you find the relevant AGM documents: Agenda FME Report on 2014 FME Plans for 2015 FME Financial_Report_1415 FME Report on Publication Activities 2014 (including web statistics)

Read more