News & Events

Assenza 6-9 febbraio

Per studenti e tesisti: sarò assente dall’ufficio dal 6 al 9 febbraio per partecipare a ITASEC18.

0 comments

RIMANDATO! Seminario “Gestire la complessità dei moderni sistemi software: spaghetti, esagoni e alveari”

Causa indisponibilità di uno dei relatori per motivi di salute, il seminario è RIMANDATO. ======= Titolo: Gestire la complessità dei moderni sistemi software: spaghetti, esagoni e alveari. Luogo e data: DA FISSARE! Relatori: – Andrea Baruzzo (DMIF, UniUD) – Giacomo Alzetta, Mauro Rocchi (emaze Networks) Il seminario discute un approccio metodologico alla costruzione di sistemi […]

0 comments

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