[PlanetKR] FMAI2020 - Extended Submission Deadline: February 7
fbelard
francesco.belardinelli at univ-evry.fr
Mon Feb 3 03:33:12 EST 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:
https://protect-au.mimecast.com/s/uhSyC6XQ07t01MWgTpIIP3?domain=doc.ic.ac.uk
This edition builds on top of the two previous installments, which took
place in Naples in 2017
(https://protect-au.mimecast.com/s/DDzMC71RA7HVQyR0FWWBjH?domain=sites.google.com), and in Rennes in
2019 (https://protect-au.mimecast.com/s/vfD3C81V97HPzQkAF2YrAJ?domain=project.inria.fr).
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://protect-au.mimecast.com/s/xYmvC91W27HNMxO6COyQxl?domain=easychair.org
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 <https://protect-au.mimecast.com/s/DeUrC0YK9ycgM4y9IOri-K?domain=dis.uniroma1.it>,
Sapienza Universita' di Roma (Italy)
* Jane Hillston <https://protect-au.mimecast.com/s/__20CgZ0kVUwmNBjI7Jprv?domain=homepages.inf.ed.ac.uk>, 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
https://protect-au.mimecast.com/s/_2f8CjZ1nVUG3AOwsj3Xsk?domain=doc.ic.ac.uk
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20200202/7d2a6094/attachment.html
More information about the PlanetKR
mailing list