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.