Dear colleague,

We are organising a meeting 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 www.sites.google.com/site/fmai2017homepage).

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.

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.

Submission Guidelines

Submissions are to be made via https://easychair.org/conferences/?conf=fmai19

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://ai.vub.ac.be/members/ann-nowe)
• Sheila McIlraith (www.cs.toronto.edu/~sheila)
• François Schwarzentruber (https://people.irisa.fr/Francois.Schwarzentruber) for his Habilitation defence, on May 3.

Venue

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

Organisers

Nathanael Fijalkow, Blaise Genest, Bastien Maubert, Aniello Murano, Sophie Pinchinat, Sasha Rubin, Francois Schwarzentruber.

Webpage

https://project.inria.fr/fmai2019/