May 12, 2020

We are hiring! Two fellowship grants within the “IT MATTERS” project

Two fellowship grants are available at the University of Udine, Italy, for 12 and 18 months respectively, within the Italian national project “IT MATTERS – Methods and Tools for Trustworthy Smart Systems”. The fellowships are research-only, with no teaching or administrative obligations. Deadline for application is May 31, 2020, 14:00 CEST. Having a PhD is appreciated […]

April 11, 2020

“Easter’s Eve”: new version of jLibBig released

A new version of jLibBig, the Java Library for Bigraphs, has been released today. The new version is codenamed “Easter’s Eve”. With respect to the previous one, these are the main improvements: Added the support for (Local) Directed Bigraphs, a generalisation of pure bigraphs where the link graph structure is more symmetric. Ported the Matching […]

October 16, 2019

IT MATTERS starts!

The kick-off meeting of the PRIN 2017 project “IT MATTERS” has been in Pisa, on October 14. About 40 people have gathered, from the universities of Pisa, Udine, Camerino, the IMT of Lucca, the GSSI of L’Aquila and the CNR. The project is about trustworthiness of “smart systems”, so the MADS lab will have the […]

September 27, 2018

One year industrial research position at the University of Udine (deadline: 10 Oct 2018)

One year industrial research position at the University of Udine about Modelling and performance evaluation of train on-board networks Funded by EU FSE program HEaD Deadline for application: October 10, 2018, 11:30. Subject Nowadays trains feature advanced on-board information networks which are used both for essential services and for additional (infotainment) services, and must guarantee […]

June 6, 2015

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