[DL] FMAI2020 - Extended Submission Deadline: February 7

fbelard francesco.belardinelli at univ-evry.fr
Sun Feb 2 17:33:12 CET 2020

[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:


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 

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


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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zfn.uni-bremen.de/pipermail/dl/attachments/20200202/7d2a6094/attachment.htm>

More information about the dl mailing list