News & Events

Lectures about blockchain

Marino Miculan, head of MADS laboratory, has given three lectures about the computational and architectural aspects behind the so much hyped Bitcoin, within the course “Blockchain, Cryptocurrency and Smartcontracts” for the MSc in Finance and Management at Cranfield University.

0 comments

JLAMP special Issue on Metamodels for Process Language

The Special Issue on Metamodels for Process Languages of the “Journal of Logical and Algebraic Methods in Programming” is online. Thanks to all contributors!  

0 comments

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 […]

0 comments

IC-EATCS Master Thesis prize to Alessio Mansutti

The Prize of the Italian Chapter of EATCS for the best Master Thesis in Theoretical Computer Science has been assigned to the thesis Le Simulazioni Lasche: Definizione, Applicazioni e Computazione Distribuita by Alessio Mansutti; the supervisor is Marino Miculan and co-supervisor is Marco Peressotti, all members of this Lab.

0 comments

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 […]

0 comments

Paper “Behavioural equivalences for coalgebras with unobservable moves” on JLAMP

The paper Behavioural equivalences for coalgebras with unobservable moves, by Tomasz Brengos and MADSLab members Marino Miculan and Marco Peressotti, has been published on the Special Issue of the Journal of Logical and Algebraic Methods in Programming dedicated to the OPCT 2014 Research Seminar.

0 comments

ACM SAC:CM 2016

The Special Track on Coordination Models, Languages and Applications of the ACM SAC 2016 conference is devoted to models, formalisms and mechanisms to describe concurrent and distributed computations. Submission deadline is Sep 11, 2015. See here for the complete call for papers.

0 comments

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 […]

0 comments

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! […]

0 comments

Leave a Reply