FME is currently not accepting new applications for funding.
Next to its main FM conference series, FME sponsors other events related to formal methods. Typically invited talks are sponsored. Details about sponsorship can be found in our Guide to FME Sponsorship.
(Photo: maistora)
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. In particular, FMICS brings together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
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. From education to practical application by software engineers working in the field. This is done by co-locating the workshop physically close to the mainstream software engineering community, typically ICSE (International Conference on Software Engineering).
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:
[Limassol, Cyprus, 7-11 November 2016]{style=“font-size: 1em;”}
CALL FOR PAPERS
IMPORTANT DATES
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. The symposia have been notably successful in bringing together researchers and industrial users around a programme of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral work.
to be held on 15 May 2016 in conjunction with
ICSE 2016 (May 14th-May 22th), in Austin, Texas, USA
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. 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. It is an increasingly complex task to develope large software
systems because the systems are huge, with very complex behaviour, and
many
algorithms employed today are “pushing the limits” of what people can
comprehend. This is where formal methods (FMs) have a huge opportunity.
The
main goal of the workshop is to foster integration between the formal
methods
and the software engineering communities.
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. Jan Peleska, entitled “Semantic Families for Cyber Physical Systems”. The seminar starts at 18:00. Tea or coffee will be served before it and there will be a drinks reception afterwards.
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). We received 24 submitted papers, in which 16 were accepted for presentation at the workshop. We also received 8 research ideas papers, where 6 of them were presented at the workshop. New to AVoCS 2015 was that the research ideas were organised within two discussion-based sessions. Further details of the workshop are available from the AVoCS 2015 webpage:
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. Jones was announced as being the first Fellow of Formal Methods Europe. After Prof. Ana Cavalcanti, the Chair of FME, introduced the new FME Fellow and explained the selection process, Prof. Cliff Jones shared his insights in a talk with the title “Intuition before Formalism” about his work and scientific achievements (slides and references). At the end of the ceremony, Prof. Jones was presented with a certificate and medal.
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.