Monday, December 23, 2019

[DMANET] FMAI 2020 Third International Workshop on Formal Methods in Artificial Intelligence

[Apologies for multiple posting]

Dear colleague,

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 instalments, 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 January 31.

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

The talk proposals can be about published or unpublished work. You
should specify 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".

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


Invited Speakers

        Giuseppe de Giacomo, Sapienza Universita' di Roma (Italy)
        Jane Hillston, University of Edinburgh (UK)

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