|
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 |
|
|
|