Tech Reports Home Contact
Technical Report Series
Actions
Browse Reports
Information
Information for Authors
Contact Details

Technical Report HW-MACS-TR-0105


Title Contribution of the AI4FM 2014 Workshop
Authors Gudmund Grov, Leo Freitas and Iain Whiteside
Date 2014-05-07
Abstract The AI4FM 2014 workshop was being held 13 May 2014 in Singapore, as a satellite event of FM 2014. This report contains a collection of abstracts for all the workshop talks. The main goal of the AI4FM workshop series is to bring together researchers in the areas of formal methods and artificial intelligence to address the issue of how artificial intelligence can be utilised to support the formal development process. This is the fifth workshop in this series, and previous events have been held in: Newcastle (2010), Edinburgh (2011), Schloss Dagstuhl (Germany, 2012) and Rennes (France, part of ITP 2010).
Group DSG
Notes
Download
Email Technical Report's Administrator
|MACS Home| Top of the Page

Department of Computer Science, Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS, +44 (0) 131 4514152

Last Updated: 02 September 2003 Copyright Heriot-Watt University, Disclaimer