[agents] FMAI2020 - Extended Submission Deadline: February 7

[fbelard]

[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 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*January 31* 
*February 7*.

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. 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

-- 
Dr Francesco Belardinelli, PhD, MCF HDR
Laboratoire IBISC
Université d'Evry - Val d'Essonne
www.doc.ic.ac.uk/~fbelard

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cs.umbc.edu/pipermail/agents/attachments/20200202/7d2a6094/attachment-0001.html>