Formal Methods Europe

Homepage of FME

Author Archive

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



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