[Haskell] AI4FM 2014: Call for Short Contributions

2013-12-02 Thread Iain Whiteside
- AI4FM 2014 - the 5th International Workshop on the use of AI in Formal Methods http://www.ai4fm.org/ai4fm-2014/ Singapore, 12th or 13th May, 2014 In association with FM 2014 -

[Haskell] AI4FM 2014: Call for Short Contributions

2014-02-06 Thread Iain Whiteside
- AI4FM 2014 - the 5th International Workshop on the use of AI in Formal Methods http://www.ai4fm.org/ai4fm-2014/ Singapore, 13th May, 2014 In association with FM 2014 -