Seminario-esame di Teoria delle Categorie: Andrea Vianello

Il primo seminario-esame per il Corso di Introduzione alla Teoria delle Categorie sarà tenuto da Andrea Vianello, giovedì 19 settembre 2013, con inizio alle ore 14.30, presso la Sala Riunioni del DIMI.
Vianello parlerà di “Vertical Refinement of Bigraphical Reactive Systems”.

Tutti gli interessati sono invitati (e gli studenti, obbligati).