Abstract
Networking and collaboration, at different levels and through differentiated mechanisms, have become increasingly relevant and popular as an effective means for delivering public policy over the past two decades. The variety of forms of collaboration that emerge in educational scenarios makes it hard to reach general conclusions about the effectiveness of collaboration in general and of inter-institutional networks in particular. The university environment is particularly challenging in this respect as typically different agendas for collaboration and competition co-exist and are often promoted by very same entities. Although no ‘one-fits-all’ model exists for the establishment of a network of universities, the prime result of the research reported in this paper is that the concept of such a network is a most promising instrument for delivering specific services within the high education universe. In this context, the paper discusses the potential of these networks for the design of educational programmes for the GCIO (Government Chief Information Officer) function and proposes a set of guidelines to successfully establish such networks.

Abstract
Burden reduction is a key issue in modern public administrations' and businesses' agendas. Compliance with mandatory regulations can have a direct impact on a country's economic performance, growth, and development. Research in this area, contributes to a better understanding of the implications and context of administrative burden, and increases the efficiency of the strategies adopted to reduce it. The goal of this study is to undertake a review of the current state of the art on Administrative Burden Reduction (ABR), in order to gain a deeper insight about the subject, identify current gaps, and better plan for future research. A total of 122 papers were identified as relevant, out of a pool of 742 papers retrieved from the current literature. The relevant papers were analyzed across four dimensions: methodology, type and focus, and targeted stakeholders. Three key gaps were identified and discussed in relation to: citizen orientated services and burden reduction; empirical research and post-initiative re-evaluation; and, the role of stakeholders, interest groups and end-users in driving ABR. Lastly a conceptual framework model and next steps are proposed.

Abstract
The orchestration of high performance computing (HPC) services to build scientific applications is based on complex workflows. A challenging task consists of improving the reliability of such workflows, avoiding faulty behaviors that can lead to bad consequences in practice. This paper introduces a certifier component for certifying scientific workflows in a certification framework proposed for HPC Shelf, a cloud-based platform for HPC in which different kinds of users can design, deploy and execute scientific applications. This component is able to inspect the workflow description of a parallel computing system of HPC Shelf and check its consistency with respect to a number of safety and liveness properties specified by application designers and component developers.

Abstract

Abstract
This note revisits layered logics from a coalgebraic point of view, and proposes a naturality condition to express the typical hierarchical requirement under which all abstract transitions should be traceable in more specialised layers.

Abstract
This lecture discusses the impact of digital transformation of governance mechanisms as a tool to promote sustainable development and more inclusive societies, in the spirit of the United Nations 2030 Agenda. Three main challenges are addressed: the pursuit of inclusiveness, trustworthiness of software infrastructures, and the mechanisms to enforce more transparent and accountable public institutions.