The final meeting for the COST Action IC1405 titled 'Reversible Computation - Extending Horizons of Computing' was held in Malta, as part of a four-day workshop organised by the local chair and MC member, Prof. Adrian Francalanza from the Department of Computer Science.
As the name suggests, the COST Action centred around the novel paradigm of reversible computation, that augments the standard forward-only mode of computation with the ability to execute backwards. The potential benefits of such a paradigm include the design of revolutionary reversible logic gates and circuits, leading to low-power computing and innovative hardware for green ICT. Other applications cover new conceptual frameworks, language abstractions and software tools for areas such as recovery-oriented distributed systems and software debugging.
The workshop focused on the four work packages of the Action, namely Foundations, Software and Systems, Reversible Circuit Design and Case Studies. Fifty researchers, from thirty-three countries, participated to produce these work packages.
The Department of Computer Science at the University of Malta was mainly involved in the work packages for the software and systems and the case studies and produced an Erlang based tool that synthesises monitor-oriented choreographies of actors from high-level specifications, carrying out automated recoveries for microservices. This work was carried out in conjunction with the University of Leicester and the Institute for Advanced Studies in Lucca.
The Department of Computer Science at the University of Malta was mainly involved in the work packages for the software and systems and the case studies and produced an Erlang based tool that synthesises monitor-oriented choreographies of actors from high-level specifications, carrying out automated recoveries for microservices. This work was carried out in conjunction with the University of Leicester and the Institute for Advanced Studies in Lucca.