Projects & Groups

RESEARCH GROUPS AND ASSOCIATIONS

LOCAL

• Logic Group at the University of Verona (Seminar Webpage)

NATIONAL

• AILA – Italian Association of Logic and its Applications
• SILFS – Italian Society of Logic and the Philosophy of Science
• 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
• AIxIA – Italian Association for Artificial Intelligence
  • Argumentation in Artificial Intelligence Group

INTERNATIONAL

• EMS – European Mathematical Society
• EACSL – European Association for Computer Science Logic
• Scandinavian Logic Society
• The Proof Society

---

RESEARCH PROJECTS

• EPICA – Empowering Public Interest Communication with Argumentation
• REDCOM – Reducing complexity in algebra, logic, combinatorics
• A new dawn of Intuitionism: mathematical and philosophical advances