RESEARCH GROUPS
- Logic Group at the University of Verona (Seminar Webpage)
- AI&ML&MAT – UMI Group Mathematics for Artificial Intelligence and Machine Learning
- GNSAGA – National Group for Algebraic and Geometric Structures and their Applications
ASSOCIATIONS
- AILA – Italian Association of Logic and its Applications
- SILFS – Italian Society of Logic and the Philosophy of Science
- AIxIA – Italian Association for Artificial Intelligence
- UMI – Italian Mathematical Union
- EMS – European Mathematical Society
- Scandinavian Logic Society
- The Proof Society