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.