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.

Minipackage per tesi in LaTeX

A quanto pare, non pochi studenti incontrano delle difficoltà ad installare ed utilizzare il package che Comini offre per scrivere le tesi (triennali, magistrali e di PhD). Quindi, ho impacchettato una versione semplificata e minimale di tale package. Un UdineThesis for dummies. Maggiori informazioni sulla pagina di download ad esso dedicato.