Alessio Mansutti receives IT-EATCS prize for best Italian Master Thesis in TCS

Alessio Mansutti, former member of the MADSLab, received today the award from the Italian Chapter of the European Association for Theoretical Computer Science for the 2016 best master thesis in Theoretical Computer Science. The award was given by Tiziana Calamoneri (University of Rome La Sapienza) during the annual conference of the association, ICTCS 2017, held in Naples.
Best wishes to Alessio for his career at ENS Saclay!

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

Paper “Open Transactions on Shared Memory” at COORDINATION 2015

The paper Open Transactions on Shared Memory, by MADSLab members Marino Miculan, Marco Peressotti, and Andrea Toneguzzo, have been presented at COORDINATION 2015, the conference on Coordination Models and Languages part of the DisCoTec, the International Federated Conference on Distributed Computing Techniques. Thanks to the many participants who have asked questions, raised remarks and fostered a very interesting discussion!

Now we are working on the effective implementation… stay tuned!

MeMo 2015 workshop is over

The Second International Workshop on Meta Models for processes has been held in Grenoble, organized also by the MADSLab and associated to DisCoTec 2015. The meeting has been quite successful, with a cool invited talk by Michele Loreti and several interesting contributions. Thanks to all the authors and participants for a vibrant and lively discussion!

The pre-proceedings of the meeting are available online. Soon we will publish the deadlines for the JLAMP special issue. Stay tuned!