Public interest communication
EPICA
Empowering Public Interest Communication with Argumentation
Research groups & associations
Local
- Logic Group at the University of VeronaLogic Seminar Verona
National
- AILAItalian Association of Logic and its Applications
- SILFSItalian Society of Logic and the Philosophy of Science
- UMIItalian Mathematical Union
- AI&ML&MATUMI Group Mathematics for Artificial Intelligence and Machine Learning
- INdAMIstituto Nazionale di Alta Matematica Francesco Severi
- GNSAGANational Group for Algebraic and Geometric Structures and their Applications
- University of Verona research unit
- AIxIAItalian Association for Artificial Intelligence
- Argumentation in Artificial IntelligenceSpecial interest group
International
- EMSEuropean Mathematical Society
- EACSLEuropean Association for Computer Science Logic
- Scandinavian Logic Society
- The Proof Society
Research projects
Mathematics & logic
REDCOM
Reducing complexity in algebra, logic and combinatorics
Logic & philosophy of mathematics
A new dawn of Intuitionism
Mathematical and philosophical advances