Seminari-Esame per Teoria della Concorrenza

Venerdì 15 luglio, dalle 9:00 alle 13:00 circa, in Sala Riunioni del DIMA (ex DIMI, futuro DMIF), si terranno i seguenti seminari-esame per il corso di Teoria della Concorrenza:

Alessio Mansutti: Decidibilità della hedged bisimulation per lo spi calculus
Alexandru Pruteanu: Modelli per sistemi transazionali
Federico Igne: Modelli per la programmazione ad attori
Luca Geatti: Modelli per la Systems Biology
Davide Martincigh: Semantiche quantitative per calcoli con aspetti probabilistici e stocastici

Tutti gli interessati sono invitati a partecipare.