Formal Methods Europe

Homepage of FME

Posts Tagged ‘AVOCS Edinburgh’

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