Wednesday, February 19, 2020

[DMANET] FMAI 2020 last call

[Apologies for multiple posting]

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/
*
**********************************************************