The workshop explores current themes at the intersection of neurosymbolic AI, logical reasoning, and formal verification.
Events
Workshop “Learning with Guarantees – Neurosymbolic AI and Formal Verification”
Date13 Apr 2026
LocationSala Martinetti, Via Festa del Perdono 7, Milan