AILA - Associazione Italiana di Logica e sue Applicazioni