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 methods with formal guarantees.
Programme
09:30–10:30
Vaishak Belle (Edinburgh)
Reasoning with Small & Large Models: Bridging Symbolic and Neural Approaches
10:30–11:30
Agnese Chiatti (POLIMI)
Graph representations meet Neuro-Symbolic Learning for Visual Understanding
11:30–12:30
Chiara Manganini (UNIMI)
A Logical Framework for Unfair Data Bias
12:30–13:30
Alessandro G. Buda (UNIMI)
Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
The event brings together perspectives from logic, machine learning, and AI safety to discuss how hybrid systems can combine expressive reasoning with formal verification methods.
