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