22 - 24 February 2017
University of Naples "Federico II"
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.
Sign in|Recent Site Activity|Report Abuse|Print Page|Powered By Google Sites