The first post on the new ICE-TCS blog is really about something that isn't news at all, but we have to start from somewhere.
The article Adventures in monitorability: from branching to linear time and back again
by Luca Aceto, Antonis Achilleos, Adrian Francalanza (University of Malta), Anna Ingólfsdóttir and Karoliina Lehtinen (University of Liverpool) was selected for the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), which was held, together with its co-located events, in Cascais, Portugal, in the period 13-19 January 2019. The annual Symposium on Principles of Programming Languages is the
premier forum for the discussion of all aspects of programming languages
and programming systems, and is widely regarded as an A++ conference.
The above-mentioned ICE-TCS paper contributes to the study of runtime monitoring, an increasingly important technique for ensuring that computing systems behaves as they should when they execute, and reports on some of the research carried carried within the project TheoFoMon, supported by the Icelandic Research Fund. The POPL 2019 article establishes a comprehensive theory of runtime monitorability for Hennessy-Milner logic with recursion, a very expressive logic for system specification. It investigates the monitorability of that logic with a linear-time semantics and then compares the obtained results with ones that were previously presented in the literature for a branching-time setting. We will discuss in more detail the research area to which this paper contributes and offer a bird's eye view of its contributions in a series of follow-up posts.