Lauree di ottobre 2015

Triennale Informatica:
– Elia Calligaris: Simulazione di sistemi reattivi bigrafici
– Matteo Comello: Yang2NetKit: un tool modulare basato su bigrafi per progettare e simulare reti di calcolatori
– Tiziano Mele: Previsione di anomalie di un sistema informativo mediante tecniche di data mining
Triennale TWM:
– Luca Geatti: Verifica di proprietà locali su BRS
Magistrale Informatica
– Andrea Toneguzzo: Memorie transazionali aperte componibili: Semantica formale e implementazione in Haskell

Congratulazioni!

JLAMP special issue on MeMo – Call for Papers

A special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) will be devoted to the themes of the “Meta Models for Process Languages” workshop series (MEMO; Berlin, June 2014, and Grenoble, June 2015). This is however an open call for papers and everyone is invited to submit. See the complete call for papers for more details.

Important Dates

  • Submission of papers: November 15, 2015
  • First round reviews: February 29, 2016
  • Submission of revised versions: April 30, 2016
  • Second round reviews: May 31, 2016
  • Final manuscript due: June 30, 2016
  • Publication: ~ September 2016

Esami Bertello e Fulchir per Teoria della Concorrenza

Matteo Bertello e Luca Fulchir terranno i seminari-esame del corso di Teoria della Concorrenza il giorno martedì 1 settembre ore 10:00 in Sala Riunioni del DiMI.
Bertello ci parlerà di Un Calcolo per i Computational Fields, che sono un’astrazione recentemente sviluppata per descrivere meccanismi di coordinazione in contesti come sciami di robot o network di sensori.
Fulchir ci parlerà di Quantitative Information Leakage, ossia come quantificare l’informazione segreta ottenibile dall’attaccante (che potrebbe essere lo scheduler del sistema operativo) in un sistema concorrente.

Tutti gli studenti del corso di Teoria della Concorrenza sono invitati a partecipare, e a girare l’invito ad altre persone interessate.