<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div>
<div class="">-------------------------------------------------<br>
AI4FM 2014 - the 5th International Workshop on<br>
the use of AI in Formal Methods<br>
<a href="http://www.ai4fm.org/ai4fm-2014/" target="_blank">http://www.ai4fm.org/ai4fm-2014/</a><br>
<br>
Singapore, 13th May, 2014<br>
In association with FM 2014<br>
-------------------------------------------------<br>
--- Call For Participation ---<br>
<br>
<br>
</div>
Workshop information
<div class="">---------------<br>
Workshop: May 13th, 2014<br>
Registration: <a href="http://www.comp.nus.edu.sg/~pat/FM2014/registration.html" target="_blank">http://www.comp.nus.edu.sg/~pat/FM2014/registration.html</a><br>
<br>
Confirmed Speakers<br>
---------------</div>
</div>
<div>Gerwin Klein, NICTA
<div class="">Rustan Leino, Microsoft Research<br>
Chin Wei Ngan, National University of Singapore<br>
Dominique Méry, LORIA and Université de Lorraine<br>
</div>
<div class="">Andrius Velykis, Newcastle University<br>
Ligia Nistor and Jonathan Aldrich, CMU<br>
Cliff Jones, Newcastle University<br>
Gudmund Grov, Heriot-Watt University<br>
<br>
</div>
About the workshop
<div class="">---------------<br>
This workshop will bring together researchers from formal methods, <br>
automated reasoning and AI; it will address the issue of how AI can <br>
be used to support the formal software development process, including <br>
requirement analysis, modelling and proof. Previous AI4FM workshops <br>
have included a mix of industrial and academic participants and we <br>
anticipate attracting a similarly diverse audience. <br>
<br>
Rigorous software development using formal methods allows the construction <br>
of an accurate characterisation of a problem domain that is firmly based <br>
on mathematics; by applying standard mathematical analyses, these methods <br>
can be used to prove that systems satisfy formal specifications. Research <br>
has shown that with tools backed by mature theory, formal methods are <br>
becoming cost effective and their use is easier to justify, not as an <br>
academic exercise, legal requirement or niche markets -- but as part of <br>
a business case. However, while industrial use of formal methods is <br>
increasing, in order to make it more mainstream, the cost of applying <br>
formal methods, in terms of mathematical skill level and development <br>
</div>
time, must still be reduced. A desirable outcome of the workshop is to </div>
<div class="">identify key areas where AI can help with such issues as well as </div>
<div>
<div class="">discussions about how it can be utilised.<br>
<br>
</div>
<div class="">Organisers<br>
---------------<br>
* Leo Freitas (Newcastle University, UK)<br>
* Gudmund Grov (Heriot-Watt University, UK)<br>
* Iain Whiteside (Newcastle University, UK)<br>
<br>
<br>
Contact Details<br>
----------------<br>
If you have any queries, please email the organisers at the following <br>
email address:<br>
<br>
<a href="mailto:ai4fm2014@ai4fm.org" target="_blank">ai4fm2014@ai4fm.org</a></div>
</div>
</body>
</html>