[bull-ia] FMAI2019: CFP

Dear colleague,

We are organising a meeting on Formal Methods and Artificial Intelligence (FMAI) in Rennes, France, May 2-4, 2019. See https://project.inria.fr/fmai2019/

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”.

François Schwarzentruber
maître de conférences à l’ENS Rennes


École normale supérieure de Rennes
Campus de Ker Lann
35170 Bruz
Tél : +33 2 99 05 93 23
Fax : +33 2 99 05 93 29

Équipe LOGICA, bureau 218
Campus de Beaulieu
35042 Rennes Cedex
Tél : +33 2 99 84 71 11