13 Apr 2026 · Workshop
Workshop “Learning with Guarantees – Neurosymbolic AI and Formal Verification”
The workshop explores current themes at the intersection of neurosymbolic AI, logical reasoning, and formal verification.
Events
Events
Workshops, conferences, and special events organised by or featuring the lab.
25 Feb 2026 · Workshop
Workshop Logic and Bounded Rationality
The workshop brings together researchers interested in a systematic logical approach to bounded rationality and related themes.
26 Jan 2026 · Workshop
SMARTEST Final Workshop: Responsible AI for Sustainable Futures
Final event of the SMARTEST project focused on responsible AI, sustainability, and trustworthy simulation.
28 Nov 2024 · Conference
Talks by E. Kubyshkina and G. Primiero at the workshop “Of People and Code”
Workshop participation centred on epistemological, ontological, and formal approaches to AI.