Express/SOS 2025

Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics

Monday August 25, 2025

Aarhus, Denmark

Affiliated with CONFEST 2025

Important Dates

  • June 03, 2025 Paper Submission
  • July 10, 2025 Notification to authors
  • September 25, 2025 Final version due (Post-proceedings)

Proceedings

The workshop proceedings will be published in Electronic Proceedings in Theoretical Computer Science.

Submissions

We solicit two types of submissions:

  • Full papers: between 15 and 18 pages excluding references in EPTCS style (presented at the workshop and included in the proceedings). Only material that has not been submitted/published anywhere else is allowed.
  • Short papers of up to 5 pages excluding references in EPTCS style (presented at the workshop, but not included in the proceedings). We allow submissions of already published material.

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

We are planning a special issue with selected papers from EXPRESS/SOS 2023 and EXPRESS/SOS 2024. More information will follow closer to the event.

Invited Speakers

Programme Committee

  • Giorgio Bacci (University of Aalborg, Denmark) co-chair

  • Cinzia Di Giusto (Université Côte d’Azur, France) co-chair

  • Valentina Castiglioni (Eindhoven University of Technology)
  • Paola Giannini (Universita’ del Piemonte Orientale)
  • Elli Anastasiadi (Aalborg University)
  • Ping Hou (University of Oxford)
  • Luc Edixhoven (University of Southern Denmark)
  • Claudio Antares Mezzina (Università di Urbino)
  • Benjamin Bisping (TU Berlin)
  • Bas van den Heuvel (Karlsruhe University of Applied Sciences)
  • Kirstin Peters (Universität Augsburg)
  • Hans Hüttel (Aalborg University)
  • Daniele Gorla (University of Rome “La Sapienza”)
  • Georgiana Caltais (University of Twente)
  • Alceste Scalas (Technical University of Denmark)
  • Rob van Glabbeek (University of Edinburgh)
  • Elena Zucca (University of Genova)
  • Antonis Achilleos (Reykjavik University)
  • Anna Philippou (University of Cyprus)
  • Andreia Mordido (University of Lisbon)

Organisers

For questions, please contact:

Registration

Express/SOS 2025 is planned as a physical event, with certain support for remote presence, for speakers and other participants who are unable or unwilling to come. To register for Express/SOS 2025, please visit the registration page of CONFEST 2025.

Program

TBA