FMAI 2019: 2-3 of May 2019, Rennes, France

We are organizing FMAI 2019, the second International Workshop of Formal Methods and AI, in Rennes, whose first edition took place in Naples in 2017.

The forthcoming workshop builds on the original idea while extending it:

• How Formal Methods can be used in AI, and
• How AI can be used in formal methods.

The purpose of the workshop is three-fold:

• present success stories in mixing FM and AI,
• discuss strategies for bringing the Formal Methods and the AI communities closer together, and
• consolidate collaborations and form new ones.

If you aim at participating to FMAI 2019, please register at the following address: https://easychair.org/cfp/FMAI19