FMAI 2019: 2-3 of May 2019, Rennes, France
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