Logica, informatica, diritto, SEU, Pisa