Iain Whiteside | 2 Dec 11:18 2013

AI4FM 2014: Call for Short Contributions

  AI4FM 2014 - the 5th International Workshop on
    the use of AI in Formal Methods


    Singapore, 12th or 13th May, 2014
     In association with FM 2014
     --- First Call for Contributions ---

Important Dates
Submission deadline: March 01, 2014
Notification of acceptance: March 08, 2014
Final version due: April 22, 2014
Workshop: May 12th or 13th, 2014

This workshop will bring together researchers from formal methods, 
automated reasoning and AI; it will address the issue of how AI can 
be used to support the formal software development process, including 
requirement analysis, modelling and proof. Previous AI4FM workshops 
have included a mix of industrial and academic participants and we 
anticipate attracting a similarly diverse audience. 

Rigorous software development using formal methods allows the construction 
of an accurate characterisation of a problem domain that is firmly based 
on mathematics; by applying standard mathematical analyses, these methods 
(Continue reading)