<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>[Apologies for multiple posting]</p>
<p>Dear colleague,</p>
<p>The third International Workshop on Formal Methods in Artificial
Intelligence (FMAI) will be held at the Department of Computing,
Imperial College London, on March 26-27, 2020:</p>
<p><a class="moz-txt-link-freetext"
href="https://www.doc.ic.ac.uk/~fbelard/Workshop/index.html"
moz-do-not-send="true">https://www.doc.ic.ac.uk/~fbelard/Workshop/index.html</a><br>
</p>
<p>This edition builds on top of the two previous instalments, which
took place in Naples in 2017 (<a class="moz-txt-link-freetext"
href="https://sites.google.com/site/fmai2017homepage/home"
moz-do-not-send="true">https://sites.google.com/site/fmai2017homepage/home</a>),
and in Rennes in 2019 (<a class="moz-txt-link-freetext"
href="https://project.inria.fr/fmai2019/" moz-do-not-send="true">https://project.inria.fr/fmai2019/</a>).</p>
<p>The aims of FMAI 2020 are to: </p>
<ul>
<li>Present success stories about the application of formal
methods in AI.</li>
<li>Discuss strategies for bringing the Formal Methods and the AI
communities closer together.</li>
<li>Consolidate collaborations between these two communities and
foster new ones.</li>
</ul>
<p>If you would like to attend the workshop, <strong>please submit
a proposal for a talk</strong> (title and abstract for a 20
minutes talk) <strong>by January 31</strong>.<br>
</p>
<p> If you would like to attend the workshop and not give a talk,
please submit an empty talk proposal.</p>
<p><br>
</p>
<p><u>Submission Guidelines</u><br>
</p>
<p>Submissions are to be made via <a
href="https://easychair.org/conferences/?conf=fmai2020"
target="_blank" rel="noopener" moz-do-not-send="true">https://easychair.org/conferences/?conf=fmai2020</a></p>
<p>The talk proposals can be about published or unpublished work.
You should specify the category in the abstract.</p>
<p>If the talk is based on a joint work, please mention your
co-authors in the abstract.</p>
<p>If you plan to attend but not give a talk, please submit an empty
abstract with title “no talk”.</p>
<div class="content">
<header>
<h2><br>
</h2>
<h2>Organisation</h2>
</header>
<dl>
<dt>Steering and Program Committee:</dt>
<dd><br>
</dd>
<dd>
<ul>
<li>Francesco Belardinelli</li>
<li>Nathanael Fijalkow</li>
<li>Blaise Genest</li>
<li>Bastien Maubert</li>
<li>Aniello Murano</li>
<li>Sophie Pinchinat</li>
<li>Sasha Rubin</li>
<li>François Schwarzentruber</li>
</ul>
</dd>
<dt><br>
</dt>
<dt>Local Organisation:</dt>
<dd><br>
</dd>
<dd>
<ul>
<li>Francesco Belardinelli</li>
<li>Borja G. Leon</li>
<li>Vadim Malvone</li>
</ul>
<p><br>
</p>
</dd>
</dl>
</div>
<header>
<h2>Invited Speakers</h2>
</header>
<dl>
<dd>
<ul>
<li><a href="http://www.dis.uniroma1.it/degiacom/"
moz-do-not-send="true">Giuseppe de Giacomo</a>, Sapienza
Universita' di Roma (Italy)</li>
<li><a href="http://homepages.inf.ed.ac.uk/jeh/"
moz-do-not-send="true">Jane Hillston</a>, University of
Edinburgh (UK)</li>
<li><a href="https://dvij.github.io/">Dvijotham Krishnamurthy</a>,
Google DeepMind (UK)</li>
</ul>
</dd>
</dl>
<p> </p>
<pre class="moz-signature" cols="72">
--
Francesco Belardinelli
Department of Computing
Imperial College London
<a class="moz-txt-link-abbreviated" href="http://www.doc.ic.ac.uk/~fbelard" moz-do-not-send="true">www.doc.ic.ac.uk/~fbelard</a> </pre>
</body>
</html>