[PlanetKR] CFP: Formal Methods and Artificial Intelligence (FMAI)

[rubin at unina.it]

*Formal Methods and Artificial Intelligence*

*https://protect-au.mimecast.com/s/MzV3CP7LYpFKVvw3IzhEiI?domain=project.inria.fr
*
*
*Rennes, France, May 2-4, 2019
*
*
*
*Description*
*
*
We are organising a workshop on Formal Methods and Artificial Intelligence 
(FMAI) in Rennes, France, May 2-4, 2019.

This builds on the first edition (called Formal Methods *in* Artificial 
Intelligence) that took place in Naples, Italy, in 2017 (see 
https://protect-au.mimecast.com/s/58tMCQnMOqCkZBQoTPEtWD?domain=sites.google.com.

The purpose of the workshop is three-fold:
- present success stories at the border of FM and AI,
- discuss strategies for bringing the FM and the AI communities closer 
together, and
- consolidate collaborations and form new ones.

If you would like to attend the workshop, please submit a proposal for a talk 
(title and abstract, either 15 minutes or 30 minutes) by March 31.

If you would like to attend the workshop and not give a talk, please submit an 
empty talk proposal (see Submission Guidelines below).

Please do this as soon as possible, since there is limited space.

*Webpage*

https://protect-au.mimecast.com/s/mGbMCRONLrTvZn65cPgQcR?domain=project.inria.fr

*Submission Guidelines*

Submissions are to be made via https://protect-au.mimecast.com/s/OsgcCVARNyFxQ0JgiJJOgx?domain=easychair.org

The talk proposals can be about published or unpublished work. You should 
specify in the abstract your preference between a 15 minutes or a 30 minutes talk.

If the talk is based on a joint work, you may mention 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*

     Ann Nowé (https://protect-au.mimecast.com/s/bQPACWLV8zf5ozEDTmMue-?domain=ai.vub.ac.be)
     Sheila McIlraith (https://protect-au.mimecast.com/s/-c-MCXLWMAfXrBQOh9GyFz?domain=cs.toronto.edu)
     François Schwarzentruber 
(https://protect-au.mimecast.com/s/_OjbCYW8MBSLBk7Ac3NGEc?domain=people.irisa.fr) for his Habilitation 
defence, on May 3.

*Venue*

The workshop will be held at IRISA, the computer science department of the 
University of Rennes.

p.s.: Rumours aside, Brittany, and Rennes in particular, are excessively 
pleasant in the sunny month of May. If you don't believe us, come see for 
yourself! And if it does rain, there are plenty of pubs to try local cider, 
chouchen or beer, and you may even have the chance to enjoy live celtic music.

*Organisers*

Nathanael Fijalkow, Blaise Genest, Bastien Maubert, Aniello Murano, Sophie 
Pinchinat, Sasha Rubin, Francois Schwarzentruber.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20190304/3daa7e94/attachment-0001.html