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.
- 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
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 a very interesting discussion!
Now we are working on the effective implementation… stay tuned!
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!