News & Events

Qualche statistica su Reti di Calcolatori 2016-17

Come di tradizione, adesso che si è chiuso anche l’ultimo appello di Reti di Calcolatori per l’A.A. 2016-17 possiamo fare qualche veloce analisi. Nei cinque appelli del 2017 si sono iscritti ad almeno un appello 149 studenti (+5 rispetto al 2016; 3,5%), per complessive 261 iscrizioni (-13; -4,7%). Si sono registrate 204 presenze agli scritti […]

0 comments

Spostamento appello di Reti di Calcolatori

A causa dell’adesione dei docenti allo sciopero indetto dal Movimento per la Dignità della Docenza Universitaria, l’appello odierno di Reti di Calcolatori non si è tenuto. Verrà recuperato lunedì 25 settembre ore 9:30, sempre in aula H. L’orale è previsto per lunedì 2 ottobre ore 15:30, in aula 49.

0 comments

News about LFMTP

The workshop LFMTP 2017 is going to be a nice event. We’ve got many interesting papers, and the session dedicated to Randy Pollack is the cherry on the cake (pun intended)!

0 comments

Premio Best Italian Master Thesis in Theoretical Computer Science: Alessio Mansutti

Ho appena saputo che il premio del Capitolo Italiano dell’EATCS per la migliore tesi magistrale in informatica teorica del 2016 è stato assegnato alla tesi Le Simulazioni Lasche: Definizione, Applicazioni e Computazione Distribuita di Alessio Mansutti, di cui sono stato relatore (e Marco Peressotti correlatore). Congratulazioni Alessio!

0 comments

LFMTP 2017 Call for papers is out

The Call for Papers for the 2017 edition of “Logical Frameworks and Meta Languages: Theory and Practice.” is out: see the workshop webpage. This year LFMTP is hosted by FSCD 2017 and co-located with ICFP 2017 and other 10 workshops: EUTypes, HDRA, HoTT, IFIP, IWC, SD, String, TLLA, UNIF and WPTE. September will be great […]

0 comments

Assenza 20-21 marzo

Per gli studenti e i tesisti: sarò assente il 20 e 21 febbraio per partecipare al Workshop on “Connecting young researchers: best practices of EU-India PhD programmes”, che si terrà a Lisbona. La lezione di Distributed Systems di mercoledì 22 si terrà regolarmente.

0 comments

LFMTP 2017 is coming

I am serving as Co-Chair for LFMTP 2017 together with Florian Rabe. This year, LFMTP is hosted by FSCD 2017 and co-located with ICFP 2017 and other 10 workshops: EUTypes, HDRA, HoTT, IFIP, IWC, SD, String, TLLA, UNIF and WPTE. September will be amazing in Oxford. Stay tuned!

0 comments

Qualche statistica su Reti di Calcolatori 2015-16

Come di tradizione, adesso che si è chiuso anche l’ultimo appello di Reti di Calcolatori per l’A.A. 2015-16 possiamo fare qualche veloce analisi. Nei cinque appelli del 2016 si sono iscritti ad almeno un appello 144 studenti (+37 rispetto al 2015, 34,6%), per complessive 248 iscrizioni (+56, 29,2%). Si sono registrate 217 presenze agli scritti […]

0 comments

Seminario-Esame per Teoria della Concorrenza

Giovedì 22 settembre, dalle 10:30 alle 11:30 circa, in Sala Riunioni del DIMA (ex DIMI, futuro DMIF), si terrà il seguente seminario-esame per il corso di Teoria della Concorrenza: – Giacomo Alzetta: Verifying privacy-type properties of electronic voting protocols Tutti gli interessati sono invitati a partecipare.

0 comments

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 […]

0 comments