Formal Methods Europe

Homepage of FME

Archives for the ‘Sponsored by FME’ Category

FMICS-AVoCS 2016, Pisa, 26-28 September 2016

By Einar Broch Johnsen • Jun 20th, 2016 • Category: Sponsored by FME

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



Report on FormaliSE 2016 Austin

By Einar Broch Johnsen • Jun 9th, 2016 • Category: Sponsored by FME

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



Report on AVoCS/AI4FM 2015 Edinburgh

By evink • Sep 14th, 2015 • Category: Sponsored by FME

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



VerifyThis 2015 competition

By evink • Apr 23rd, 2015 • Category: Sponsored by FME

The 4th VerifyThis 2015 Program Verification took place on April 12th, 2015 in London as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015).
The aims of the competition were:

to bring together those interested in formal verification, and to provide an engaging, hands-on, and fun opportunity for discussion
to evaluate the usability [...]



VerifyThis, 12 April 2015, London

By evink • Feb 20th, 2015 • Category: Sponsored by FME

The 4th VerifyThis 2015 Verification Competition will take place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015) on April 12th, 2015 in London, UK.
The aims of the competition are:

to bring together those interested in formal verification, and to provide an engaging, hands-on, and fun opportunity for discussion, and
to evaluate [...]



AVoCS & AI4FM, Edinburgh, 1-4 September 2015

By evink • Feb 14th, 2015 • Category: Sponsored by FME

The 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015 - https://sites.google.com/site/avocs15/) will take place 1-4 September 2015 in Edinburgh, UK. The aim of AVoCS 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 [...]



CfP: Doctoral Symposium of FM 2015

By Bernhard Aichernig • Jan 13th, 2015 • Category: Sponsored by FME

Doctoral Symposium of Formal Methods 2015
22 June 2015, Oslo, Norway
Call for Papers

http://fm2015.ifi.uio.no/fm-2015-doctoral-symposium/
Important Dates
Submission: 20 March 2015
Notification: 3 April 2015
Doctoral Symposium: 22 June 2015
Goals and Scope
A Doctoral Symposium will be held on 22 June in conjunction with the 20th
International Symposium on Formal Methods, which will take place in Oslo,
Norway, from 22 to 26 June [...]



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



Conference report ABZ 2014 Toulouse

By evink • Sep 19th, 2014 • Category: Sponsored by FME

By Yamine Ait Ameur (July 2014)
The 4th edition of the international conference ABZ took place in Toulouse from June 2nd to June 6th., 2014. The conference records the latest development in refinement and proof state based formal methods. It follows the success of the London (2008), Orford (2010) and Pisa (2012) editions.
This edition of ABZ [...]



Conference report PSI 2014 St. Petersburg

By evink • Sep 19th, 2014 • Category: Sponsored by FME

By Irina Virbitskaite (July 2014).
PSI 2014, the Ershov Informatics Conference, was held in St. Petersburg, Russia, from June 24 to 27, 2014. The conference is the premier international forum in Russia for research and its applications in computer, software and information sciences. The event brings together academic and industrial researchers, developers and users to present [...]