Dear colleagues,
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:
https://www.doc.ic.ac.uk/~fbelard/Workshop/index.html
This edition builds on top of the two previous installments, which took
place in Naples in 2017
(https://sites.google.com/site/fmai2017homepage/home), and in Rennes in
2019 (https://project.inria.fr/fmai2019/).
The aims of FMAI 2020 are to:
* Present success stories about the application of Formal Methods in AI.
* Discuss strategies for bringing the Formal Methods and the AI
communities closer together.
* Consolidate collaborations between these two communities and foster
new ones.
If you would like to attend the workshop, *please submit a proposal for
a talk* (title and abstract for a 20 minutes talk) by****the end of
*February*.
If you would like to attend the workshop and not give a talk, please
submit an empty talk proposal.
_Submission Guidelines_
Submissions are to be made via
https://easychair.org/conferences/?conf=fmai2020
<https://easychair.org/conferences/?conf=fmai2020>
The talk proposals can be about published or unpublished work. Please
specify clearly the category in the abstract.
If the talk is based on a joint work, please mention your co-authors in
the abstract.
If you plan to attend but not give a talk, please submit an empty
abstract with title "no talk".
Invited Speakers
* Giuseppe de Giacomo <http://www.dis.uniroma1.it/degiacom/>,
Sapienza Universita' di Roma (Italy)
* Jane Hillston <http://homepages.inf.ed.ac.uk/jeh/>, University
of Edinburgh (UK)
* Dvijotham Krishanmurthy, Google DeepMind
Organisation
Steering and Program Committee:
* Francesco Belardinelli
* Nathanael Fijalkow
* Blaise Genest
* Bastien Maubert
* Aniello Murano
* Sophie Pinchinat
* Sasha Rubin
* François Schwarzentruber
Local Organisation:
* Francesco Belardinelli
* Borja G. Leon
* Vadim Malvone
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
