News & Events

2018 EUTypes Summer School on Types for Programming and Verification

The EUTypes Summer School is a well-established school aiming to provide advanced training, especially to PhD students and early-career researchers, in all aspects of the theory and practice of type theory and applications. The call for grants is open until June 20, so if you are interested, apply now!

0 comments

Conferenza “Bitcoin e crittovalute: dal catasto tavolare alla blockchain”

Giovedì 7 giugno ho tenuto una conferenza intitolata “Bitcoin e crittovalute: dal catasto tavolare alla blockchain“, presso il MIB di Trieste, su invito dell’Ordine degli Ingegneri di Trieste. Grazie a tutti i partecipanti!

0 comments

Assenza 16-19 aprile

Sarò assente dall’ufficio dal 16 al 19 aprile in quanto sarò a tenere alcune lezioni riguardo “Blockchain, Cryptocurrency and Smartcontracts” presso il MSc in Finance and Management alla Cranfield University.

0 comments

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