Research Groups and associations.
LOGIC
- Logic Group at the University of Verona (Seminar Webpage)
- AILA – Italian Association of Logic and its Applications
- SILFS – Italian Society of Logic and the Philosophy of Science
- Scandinavian Logic Society
- The Proof Society
MATHEMATICS
- UMI – Italian Mathematical Union
- AI&ML&MAT – UMI Group Mathematics for Artificial Intelligence and Machine Learning
- INdAM – Istituto Nazionale di Alta Matematica Francesco Severi
- GNSAGA – National Group for Algebraic and Geometric Structures and their Applications
- Research Unit at the University of Verona
- EMS – European Mathematical Society
ARTIFICIAL INTELLIGENCE
- AIxIA – Italian Association for Artificial Intelligence