The short paper A GSOS for Attribute-based Communication by Matteo Paier and myself, has been accepted to EXPRESS/SOS, the Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics.
Abstract: We propose a new GSOS semantics fo AbC, a calculus for attribute-based communication. This semantics is simpler than the previous ones, but as much as expressive; in fact, we will show that there is a precise equivalence. The new semantics will be useful for simplifying bisimulation proofs, and it is preparatory to the definition of a bialgebraic semantics for AbC.
Finally, the LMCS Special Issue collecting a selection of the papers presented at the Symposium in honour of Furio Honsell, on the occasion of his 60th birthday, is out on the Logical Methods in Computer Science website.
The paper An abstract distributed middleware for transactions over heterogeneous stores by Luca Geatti, Federico Igne and myself, has been accepted to the 20th Italian Conference on Theoretical Computer Science.
Abstract: We present an abstract middleware, called Acidify, for the coordination of transactions between distributed processes accessing shared heterogeneous (possibly remote) storage services. Processes can specify transactions by means of a specific abstract language; each transaction is then executed atomically and in isolation, following an “optimistic” strategy. To ensure scalability and reliability, Acidify is peer-to-peer, without relying on any centralized service. Moreover, it is abstract, in the sense that the transaction language is independent from the underlying storage services, and it can be readily ported to any storage service.
We provide a formal model of Acidify as a set of interacting automata; this allows us to prove soundness and termination of the algorithms, and to estimate the overhead in terms of exchanged messages and delays. Finally, we provide an implementation of Acidify as an Erlang behaviour, together with the bindings for Riak KV and Amazon S3.
One-year 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: Aprile 10, 2019, 11:30.
Nowadays trains feature advanced on-board information networks which are used both for essential services and for additional (infotainment) services, and must guarantee an adequate level of service quality.
Designing, implementing and validating these networks, respecting precise qualitative and quantitative constraints (bandwidth, delay, fault tolerance, etc.) is complex and error-prone.
The objective of this project is to define practical methods and solutions for modelling train on-board networks, both in the topological and in the quantitative aspects, with the aim to simulate and predict their behavior in various traffic conditions before implementation and deployment. These solutions will use tools and technologies currently developed within the academic community, such as quantitative simulators and model checkers.
Candidates must have a Master degree in Computer Science or Computer Engineering (PhD is not required but appreciated), and possibly a background in network simulation, performance analysis and evaluation. Good programming skills will be appreciated.
The selected candidate will work mainly at the Department of Mathematics, Computer Science and Physics (DMIF), of the University of Udine (Italy), in strict cooperation with VDS Rail, a leading industry of the sector.
The total net salary is 20.382,00 euro.
For more information please contact Marino Miculan (firstname.lastname@example.org)
More details about the applications are at the official call.
Ho l’onore di partecipare al workshop “Code is Law” vs “Law is Code”: Il caso degli Smart Contracts che si terrà lunedì 4 febbraio 2019 ore 16, presso l’Aula E del Polo Economico-Giuridico (Via Tomadini 30/A, Udine). Maggiori informazioni alla pagina dell’evento.
The paper “Constructive logical characterizations of bisimilarity for reactive probabilistic systems”, by Marco Bernardo and myself, has been published on Theoretical Computer Science (online, for the time being).
The EUTypes Summer School is a well-established school aiming to provide advanced training, especially to PhD students and early-career researchers, in all aspects of the theory and practice of type theory and applications.
The call for grants is open until June 20, so if you are interested, apply now!
Giovedì 7 giugno ho tenuto una conferenza intitolata “Bitcoin e crittovalute: dal catasto tavolare alla blockchain“, presso il MIB di Trieste, su invito dell’Ordine degli Ingegneri di Trieste. Grazie a tutti i partecipanti!
The workshop LFMTP 2017 is going to be a nice event. We’ve got many interesting papers, and the session dedicated to Randy Pollack is the cherry on the cake (pun intended)!
Ho appena saputo che il premio del Capitolo Italiano dell’EATCS per la migliore tesi magistrale in informatica teorica del 2016 è stato assegnato alla tesi Le Simulazioni Lasche: Definizione, Applicazioni e Computazione Distribuita di Alessio Mansutti, di cui sono stato relatore (e Marco Peressotti correlatore).