[DL] FMAI2020 - the Third International Workshop on Formal Methods in Artificial Intelligence, Department of Computing, Imperial College London, March 26-27, 2020

[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 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 <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 Krishnamurthy <https://dvij.github.io/>, Google
        DeepMind (UK)

-- 
Francesco Belardinelli
Department of Computing
Imperial College London
www.doc.ic.ac.uk/~fbelard  

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20200103/4e38093a/attachment.htm>