Preface

The first edition of EXPRESS/SOS was held in 2012, when the EXPRESS and SOS communities decided to organise an annual combined workshop bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models. Since then, EXPRESS/SOS was held as one of the affiliated workshops of the International Conference on Concurrency Theory (CONCUR). Following this tradition, EXPRESS/SOS 2022 was held affiliated to CONCUR 2022, as part of CONFEST 2022, in Warsaw, Poland.

The topics of interest for the EXPRESS/SOS workshop include (but are not limited to):

• expressiveness and rigorous comparisons between models of computation;
• expressiveness and rigorous comparisons between programming languages and models;
• logics for concurrency;
• analysis techniques for concurrent systems;
• comparisons between structural operational semantics and other formal semantic approaches;
• applications and case studies of structural operational semantics;
• software tools that automate, or are based on, structural operational semantics.

This volume contains revised versions of the six full papers selected by the Program Committee, as well as the following two invited papers, related to the topics presented by our invited speakers:

• From Legal Contracts to Legal Calculi: the code-driven normativity, by Silvia Crafa (University of Padova, Italy)
• How advances in open bisimilarity help certify the privacy of contactless payments and ePassports, by Ross Horne (University of Luxembourg, Luxembourg)

We would like to thank the authors of the submitted papers, the invited speakers, the members of the program committee, and their subreviewers for their contribution to both the meeting and this volume. We also thank the CONCUR 2022 and the CONFEST 2022 organizing committees for hosting the workshop. Finally, we would like to thank our EPTCS editor Rob van Glabbeek for publishing these proceedings and his help during the preparation.

Valentina Castiglioni and Claudio Antares Mezzina,
August 2022

Program Committee

• Gerogiana Caltais, University of Twente, The Netherlands
• Valentina Castiglioni (co-chair), Reykjavik University, Iceland
• Wan Fokkink, Vrije University Amsterdam, The Netherlands
• Paola Giannini, University of Piemonte Orientale, Italy
• Daniel Hirschkoff, ENS Lyon, France
• Mathias Jakobsen, University of Glasgow, UK
• Tobias Kappé, University of Amsterdam, The Netherlands
• Vasileios Koutavas, Trinity College Dublin, Ireland
• Ondrej Lengal, Brno University of Technology, Czech Republic
• Gerald Lüttgen, University of Bamberg, Germany
• Claudio Antares Mezzina (co-chair), University of Urbino, Italy
• Max Tschaikowski, Aalborg University, Denmark

Additional Reviewers