<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Dear colleague,</p>
<p>I am sending you the CPF for this year's edition of FMAI (Formal
Methods in Artificial Intelligence) to be held at Imperial College
London on March 26-27.</p>
<p>I hope you'll be able to attend and you're very welcome to submit
a talk.</p>
<p>I'll also be grateful if you can disseminate the CFP in your
network. For your information, the CFP has already been published
in the following mailing lists:</p>
<p><a class="moz-txt-link-abbreviated"
href="mailto:dmanet@zpr.uni-koeln.de" moz-do-not-send="true">dmanet@zpr.uni-koeln.de</a>;
<a class="moz-txt-link-abbreviated"
href="mailto:games@lists.rwth-aachen.de" moz-do-not-send="true">games@lists.rwth-aachen.de</a>;
<a class="moz-txt-link-abbreviated"
href="mailto:lfcs-interest@inf.ed.ac.uk" moz-do-not-send="true">lfcs-interest@inf.ed.ac.uk</a>;
<a class="moz-txt-link-abbreviated"
href="mailto:logic@math.uni-bonn.de" moz-do-not-send="true">logic@math.uni-bonn.de</a>;
<a class="moz-txt-link-abbreviated" href="mailto:folli@folli.info"
moz-do-not-send="true">folli@folli.info</a>; <a
class="moz-txt-link-abbreviated" href="mailto:sma@loria.fr"
moz-do-not-send="true">sma@loria.fr</a>; <a
class="moz-txt-link-abbreviated" href="mailto:gdr-im@gdr-im.fr"
moz-do-not-send="true">gdr-im@gdr-im.fr</a>; <a
class="moz-txt-link-abbreviated" href="mailto:bull-i3@irit.fr"
moz-do-not-send="true">bull-i3@irit.fr</a>; <a
class="moz-txt-link-abbreviated" href="mailto:bull-ia@gdria.fr"
moz-do-not-send="true">bull-ia@gdria.fr</a>; <a
class="moz-txt-link-abbreviated"
href="mailto:agents@cs.umbc.edu" moz-do-not-send="true">agents@cs.umbc.edu</a>;
<a class="moz-txt-link-abbreviated" href="mailto:planetkr@kr.org"
moz-do-not-send="true">planetkr@kr.org</a>; <a
class="moz-txt-link-abbreviated"
href="mailto:clp@comp.nus.edu.sg" moz-do-not-send="true">clp@comp.nus.edu.sg</a>;
<a class="moz-txt-link-abbreviated" href="mailto:cogsci@cs.tcd.ie"
moz-do-not-send="true">cogsci@cs.tcd.ie</a>; com-<br>
<a class="moz-txt-link-abbreviated" href="mailto:plog@cs.nmsu.edu"
moz-do-not-send="true">plog@cs.nmsu.edu</a>; <a
class="moz-txt-link-abbreviated"
href="mailto:concurrency@cwi.nl" moz-do-not-send="true">concurrency@cwi.nl</a>;
<a class="moz-txt-link-abbreviated"
href="mailto:concurrency@tue.nl" moz-do-not-send="true">concurrency@tue.nl</a>;
<a class="moz-txt-link-abbreviated"
href="mailto:conferences@computer.org" moz-do-not-send="true">conferences@computer.org</a>;
<a class="moz-txt-link-abbreviated"
href="mailto:fm-announcements@lists.nasa.gov"
moz-do-not-send="true">fm-announcements@lists.nasa.gov</a>; <a
class="moz-txt-link-abbreviated"
href="mailto:fmics@inrialpes.fr" moz-do-not-send="true">fmics@inrialpes.fr</a>;
<a class="moz-txt-link-abbreviated"
href="mailto:formal-methods@cs.toronto.edu"
moz-do-not-send="true">formal-methods@cs.toronto.edu</a>; <a
class="moz-txt-link-abbreviated"
href="mailto:imdea@clip.dia.fi.upm.es" moz-do-not-send="true">imdea@clip.dia.fi.upm.es</a>;
<a class="moz-txt-link-abbreviated" href="mailto:kr@kr.org"
moz-do-not-send="true">kr@kr.org</a>; <a
class="moz-txt-link-abbreviated"
href="mailto:krlab.admin@gmail.com" moz-do-not-send="true">krlab.admin@gmail.com</a>;
<a class="moz-txt-link-abbreviated"
href="mailto:logic@cs.stanford.edu" moz-do-not-send="true">logic@cs.stanford.edu</a>;
<a class="moz-txt-link-abbreviated"
href="mailto:logic-list@helsinki.fi" moz-do-not-send="true">logic-list@helsinki.fi</a>;
<a class="moz-txt-link-abbreviated"
href="mailto:logic-programming@lists.picat-lang.org"
moz-do-not-send="true">logic-programming@lists.picat-lang.org</a>;
<a class="moz-txt-link-abbreviated"
href="mailto:staff@kr.tuwien.ac.at" moz-do-not-send="true">staff@kr.tuwien.ac.at</a>;
<a class="moz-txt-link-abbreviated" href="mailto:dl@dl.kr.org"
moz-do-not-send="true">dl@dl.kr.org</a><br>
</p>
<p>Thanks!</p>
<p>Francesco<br>
</p>
<p><br>
</p>
<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 installments,
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.
Please specify clearly 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>
<header>
<h2><br>
</h2>
<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>Dvijotham Krishanmurthy, Google DeepMind<br>
</li>
</ul>
</dd>
</dl>
<p><br>
</p>
<h2> </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>
</dd>
</dl>
</div>
<pre class="moz-signature" cols="72">--
Dr Francesco Belardinelli, PhD, MCF HDR
Laboratoire IBISC
Université d'Evry - Val d'Essonne
<a class="moz-txt-link-abbreviated" href="http://www.doc.ic.ac.uk/~fbelard">www.doc.ic.ac.uk/~fbelard</a></pre>
</body>
</html>