News
Avvisi, notizie ed eventi:
- 13th International Conference on integrated Formal Methods (iFM 2017) (Finance chair)
- 3 dicembre 2016 Teachers for Teachers 2016
- WS-FM/BEAT 2015 The Symposium on International Symposium on Web Services, Formal Methods and Behavioural Types (PC member)
- 29 novembre 2014 Didattica Aperta
- 28 novembre 2014 T4T
- 20 novembre 2014 Open Day della Ricerca