
Workshop · 13 Apr 2026
Workshop “Learning with Guarantees – Neurosymbolic AI and Formal Verification”
The Workshop will take place on 13 April at Sala Martinetti, Via Festa del Perdono 7, Milan . The workshop explores current themes at the intersection of neurosymbolic AI, logical reasoning, and formal verification, with a focus on integrating learning-based m…
