World Logic Day – UniPa – Organizzato dal Gruppo di Ricerca SCo^2 del Dipartimento di Matematica e Informatica