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.
The Special Issue on Metamodels for Process Languages of the “Journal of Logical and Algebraic Methods in Programming” is online. Thanks to all contributors!
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 […]
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.
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 […]
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.
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.
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 […]
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! […]