EXPRESS/SOS 2023

Menu

Combined 30th International Workshop on

Expressiveness in Concurrency

and 20th Workshop on

Structural Operational Semantics

Monday September 18, 2023
Antwerp
Affiliated with CONCUR 2023
(as part of CONFEST 2023)

Scope and Topics

The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.

Topics of interest for this combined workshop include (but are not limited to):

  • expressiveness and rigorous comparisons between models of computation (process algebras, event structures, Petri nets, rewrite systems)
  • expressiveness and rigorous comparisons between programming languages and models (distributed, component-based, object-oriented, service-oriented)
  • logics for concurrency (modal logics, probabilistic and stochastic logics, temporal logics and resource logics)
  • analysis techniques for concurrent systems
  • theory of structural operational semantics (metatheory, category-theoretic approaches, congruence results)
  • 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

We especially welcome contributions bridging the gap between the above topics and neighbouring areas, such as:

  • computer security
  • multi-agent systems
  • programming languages and formal verification
  • reversible computation
  • knowledge representation

Invited Speakers

Alan Schmitt

Position: Researcher at INRIA, Research Center Rennes - Bretagne Atlantique

Marjan Sirjani

Malardalen University, Sweden,

The invited talks

Formalizing Real World Programming Languages with Skeletal Semantics , by Alan Schmitt
Abstract:

Timed Actors and their Formal Verification , by Marjan Sirjani
Abstract:

Submissions

We solicit two types of submissions:

  • Full papers of up to 15 pages excluding references
    (presented at the workshop and included in the proceedings)
  • Short papers of up to 5 pages excluding references
    (presented at the workshop, but not included in the proceedings)

Submission is performed through the EXPRESS/SOS 2023 EasyChair server.

Important Dates

Friday June 30 July 7, 2023 (AoE)

Paper submission

Friday August 11, 2023

Notification to authors

Friday August 25, 2023

Final version due

Proceedings

The workshop proceedings are now published as volume 387 of
Electronic Proceedings in Theoretical Computer Science
and can be found here.

Registration

Following the decision of the CONFEST 2023 organising committee,
EXPRESS/SOS 2023 is planned as a physical event,
with certain support for remote presence, for speakers and other participants who are unable or unwilling to come.

Programme

(All times CEST)

8.50-9.00

10 min

Opening

Session Invited 1

Chair: Claudio Antares Mezzina

9.00-10.00

1 h

Marjan Sirjani, "Timed Actors and their Formal Verification" (invited talk)

[slides]

10.00-10.20

20 min

Coffee break

Session Concurrency

Chair: TDB

10.20-10.50

30 min

Rob van Glabbeek, Jan Friso Groote and Erik de Vink, "A Cancellation Law for Probabilistic Processes"

10.50-11.20

30 min

Rob van Glabbeek, Peter Höfner and Weiyou Wang , "A Lean-Congruence Format for EP-Bisimilarity"

11.20-11.50

30 min

Jos C. M. Baeten and Bas Luttik, "Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics"

11.50-12.20

30 min

Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi and Luciano Putruele, "Quantifying Masking Fault-Tolerance via Fair Stochastic Games"

[slides]

12:20-13.45

2 h

Lunch break

Session Programming Languages

Chair: TDB

13.45-14.45

1h

Alan Schmitt, "Formalizing Real World Programming Languages with Skeletal Semantics " (Invited talk)

[slides]

14.45-15.15

30 min

Thomas Jensen, Vincent Rébiscoul and Alan Schmitt, "Deriving Abstract Interpreters from Skeletal Semantics"

[slides]

15.15-15.45

30 min

Channa Dias Perera and Jorge A. Pérez , "Comparing Deadlock-Free Session Processes, Revisited (Short Paper) "

15.45-16.00

15 min

Coffee break

Session Concurrency 2

Chair: TDB

16.00-16.30

30 min

Daniel Hirschkoff and Enguerrand Prebet, "Using Pi-Calculus Names as Locks"

16.30-17.00

30 min

Shunya Oguchi and Shoji Yuen, "CRIL: A Concurrent Reversible Intermediate Language"

17:00-18.00

Express/SOS Birthdays

Invited Contributions

17.00-17.30

30 min

Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir and Mohammad Reza Mousavi, "The Way We Were: Structural Operational Semantics Research in Perspective"

18:00-18:10

10 min

Closing

Programme Committee

Organisers

For questions, please contact:

History

The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has traditionally been on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, and rewrite systems) on the basis of their relative expressive power. The EXPRESS workshop series has run successfully since 1994 and over the years this focus has become broadly construed. The SOS workshops aim at being a forum for researchers, students and practitioners interested in new developments, and directions for future investigation, in the field of structural operational semantics. One of the specific goals of the SOS workshop series is to establish synergies between the concurrency and programming language communities working on the theory and practice of SOS. Reports on applications of SOS to other fields are also most welcome, including: modelling and analysis of biological systems, security of computer systems programming, modelling and analysis of embedded systems, specification of middle-ware and coordination languages, programming language semantics and implementation, static analysis software and hardware verification, semantics for domain-specific languages and model-based engineering. Since 2012, the EXPRESS and SOS communities have joined forces and organised a combined EXPRESS/SOS workshop. The past combined workshops were a success, so this year there will again be a combined workshop on the semantics of systems and programming concepts, and on the expressiveness of mathematical models of computation. This year marks the 30th edition of EXPRESS and the 20th edition of SOS.

The EXPRESS workshops were originally held as meetings of the HCM project EXPRESS, which was active with the same focus from January 1994 till December 1997. The first three workshops were held respectively in Amsterdam (1994, chaired by Frits Vaandrager), Tarquinia (1995, chaired by Rocco De Nicola), and Dagstuhl (1996, co-chaired by Ursula Goltz and Rocco De Nicola). EXPRESS'97, which took place in Santa Margherita Ligure and was co-chaired by Catuscia Palamidessi and Joachim Parrow, was organized as a conference with a call for papers and a significant attendance from outside the project. EXPRESS'98 was held as a satellite workshop of the CONCUR'98 conference in Nice, co-chaired by Ilaria Castellani and Catuscia Palamidessi, and like on that occasion EXPRESS'99 was hosted by the CONCUR'99 conference in Eindhoven, co-chaired by Ilaria Castellani and Björn Victor. The EXPRESS'00 workshop was held as a satellite workshop of CONCUR 2000, Pennsylvania State University, co-chaired by Luca Aceto and Björn Victor. The EXPRESS'01 workshop was held at Aalborg University as a satellite of CONCUR'01 and was co-chaired by Luca Aceto and Prakash Panangaden. The EXPRESS'02 workshop was held at Brno University as a satellite of CONCUR'02 and was co-chaired by Uwe Nestmann and Prakash Panangaden. The EXPRESS'03 workshop was co-located with CONCUR 2003 in Marseille and was co-chaired by Flavio Corradini and Uwe Nestmann. The EXPRESS'04 workshop was co-located with CONCUR 2004 in London and was co-chaired by Jos Baeten and Flavio Corradini. The EXPRESS'05 workshop was co-located with CONCUR 2005 in San Francisco and was co-chaired by Jos Baeten and Iain Phillips. The EXPRESS'06 workshop was co-located with CONCUR 2006 in Bonn and was co-chaired by Roberto Amadio and Iain Phillips. The EXPRESS'07 workshop was co-located with CONCUR 2007 in Lisbon and was co-chaired by Roberto Amadio and Thomas Hildebrandt. The EXPRESS'08 workshop was co-located with CONCUR 2008 in Toronto and was co-chaired by Daniele Gorla and Thomas Hildebrandt. The EXPRESS'09 workshop was co-located with CONCUR 2009 in Bologna and was co-chaired by Sibylle Fröschle and Daniele Gorla. The EXPRESS'10 workshop was co-located with CONCUR 2010 in Paris and was co-chaired by Sibylle Fröschle and Frank Valencia. The EXPRESS'11 workshop was co-located with CONCUR 2011 in Aachen and was co-chaired by Bas Luttik and Frank Valencia.

The first SOS Workshop took place in London as one of the satellite workshops of CONCUR 2004. Subsequently, SOS 2005 occurred in Lisbon as a satellite workshop of ICALP 2005, SOS 2006 in Bonn as a satellite workshop of CONCUR 2006, SOS 2007 in Wroclaw as a satellite workshop of LICS and ICALP 2007, and SOS 2008 in Reykjavik as a satellite workshop of ICALP 2008. SOS 2009 was held as a satellite workshop of CONCUR 2009 in Bologna. SOS 2010 was held as a satellite workshop of CONCUR 2010 in Paris. Finally, SOS 2011 was held as a satellite workshop of CONCUR 2011 in Aachen.

The first combined EXPRESS/SOS workshop (EXPRESS/SOS 2012) was co-located with CONCUR 2012 in Newcastle upon Tyne, UK and was co-chaired by Bas Luttik and Michel Reniers. The second combined EXPRESS/SOS 2013 workshop was co-located with CONCUR 2013 in Buenos Aires, Argentina and was co-chaired by Johannes Borgström and Bas Luttik. The combined EXPRESS/SOS 2014 workshop was co-located with CONCUR 2014 in Rome, Italy and was co-chaired by Johannes Borgström and Silvia Crafa. The next year the combined EXPRESS/SOS 2015 workshop was co-located with CONCUR 2015 in Madrid, Spain and was co-chaired by Silvia Crafa and Daniel Gebler. The combined EXPRESS/SOS 2016 workshop was co-located with CONCUR 2016 in Québec City, Canada and was co-chaired by Daniel Gebler and Kirstin Peters. The combined EXPRESS/SOS 2017 workshop was co-located with CONCUR 2017 in Berlin, Germany and was co-chaired by Kirstin Peters and Simone Tini. The combined EXPRESS/SOS 2018 workshop was co-located with CONCUR 2018 in Beijing, China and was co-chaired by Jorge Perez and Simone Tini. The combined EXPRESS/SOS 2019 workshop was co-located with CONCUR 2019 in Amsterdam, The Netherlands and was co-chaired by Jorge Perez and Jurriaan Rot. The combined EXPRESS/SOS 2020 workshop was co-located with CONCUR 2020 in Vienna, Austria, held on-line, and was co-chaired by Ornela Dardha and Jurriaan Rot. The combined EXPRESS/SOS 2021 workshop was co-located with CONCUR 2021, as part of QONFEST 2021, in Paris, France, held on-line, and was co-chaired by Valentina Castiglioni and Ornela Dardha. The combined EXPRESS/SOS 2022 workshop was co-located with CONCUR 2022, as part of QONFEST 2022, in Warsaw, Poland, and was co-chaired by Valentina Castiglioni and Claudio Antares Mezzina.

In these years some journal special issues dedicated to the mentioned events have been organised. A special issue of Journal of Logic and Algebraic Programming on Structural Operational Semantics appeared in 2004; a special issue of Theoretical Computer Science dedicated to SOS 2005 appeared in 2007, and a special issue of Information & Computation on Structural Operational Semantics inspired by SOS 2006-2007 appeared in 2009. Special issues devoted to EXPRESS 2010 and 2011 were both published in the journal Mathematical Structures in Computer Science. A special issue of the Acta Informatica dedicated to EXPRESS/SOS 2016-2017 appeared in 2020. A special issue of Information & Computation dedicated to EXPRESS/SOS 2018 will appear soon. A special issue of Information & Computation dedicated to EXPRESS/SOS 2019-2020 is in preparation. A special issue of Information & Computation dedicated to EXPRESS/SOS 2021-2022 is in preparation.