1st Workshop on Formal Methods in AI

22 - 24 February 2017

University of Naples "Federico II"

Naples, Italy

The purpose of the workshop is three-fold:

  • To share ideas about how formal methods have been and might be useful in AI.

  • To discuss strategies for bringing the Formal Methods and AI communities closer together.

  • To consolidate collaborations and form new ones.