26-27 Mar 2020
London, England
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 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
<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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam