Call for Papers - Express/SOS 2026

--------------Ul6u3DYTxNGWJ33UgKUqQxIh
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit

[Apologies for multiple postings]

=======================

FIRST CALL FOR PAPERS - EXPRESS/SOS 2026

Combined 33rd International Workshop on Expressiveness in Concurrency
and 23rd Workshop on Structural Operational Semantics (Express/SOS 2026)

September 5, 2026, Liverpool, UK
Affiliated with CONFEST 2026

https://expresssos.github.io/conf/2026

========================

IMPORTANT DATES (AoE)

- Paper Submission: June 22, 2026
- Notification: July 25, 2026
- Workshop: September 5, 2026
- Final version (post-proceedings): October 25, 2026

========================

SCOPE AND TOPICS

The Express/SOS workshop series aims to bring together researchers 
interested in the formal semantics of systems and programming concepts, 
and in the expressiveness of computational models.

Topics of interest for Express/SOS 2026 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 (meta-theory, 
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, including:
- computer security
- multi-agent systems
- programming languages
- formal verification
- reversible computation
- knowledge representation

========================

INVITED SPEAKERS

TBA

========================

SUBMISSION GUIDELINES

We invite two types of submissions:

- Full papers (up to 15 pages, excluding references)
- Short papers (up to 5 pages, excluding references, not to be included 
in the workshop post-proceedings)

All submissions must adhere to the EPTCS format (https://info.eptcs.org/).
Simultaneous submission to journals, conferences, or other workshops is 
only allowed for short papers; full papers must be unpublished.

Submission is performed through EasyChair:
https://easychair.org/conferences/?conf=expresssos2026

========================

PROCEEDINGS

The final versions of accepted full papers will be published in EPTCS.
For each accepted paper, at least one of the co-authors must register 
and present the work at the workshop.

* We are planning a Joint Special Issue with Express/SOS 2025 (due in 
December 2026).

========================

WORKSHOP CO-CHAIRS

- Giorgio Bacci (University of Aalborg, Denmark)
- Anna Philippou (University of Cyprus, Cyprus)

========================

PROGRAM COMMITTEE

- Henning Basold (LIACS, Leiden University, NL)
- Giovanni Bernardi (Université Paris Diderot - IRIF, FR)
- Marco Bernardo (University of Urbino, IT)
- Chiara Bodei (University of Pisa, IT)
- Johannes Borgström (Uppsala University, SE)
- Georgiana Caltais (University of Twente, NL)
- Pedro R. D'Argenio (Universidad Nacional de Córdoba - CONICET, AR)
- Emanuele D'Osualdo (University of Konstanz, DE)
- Fatemeh Ghassemi (University of Tehran, IR)
- David N. Jansen (Institute of Software, Chinese Academy of Sciences, CN)
- Vasileios Koutavas (Trinity College Dublin, IE)
- Dimitrios Kouzapas (University of Cyprus, CY)
- Doriana Medić (University of Turin, IT)
- Luca Padovani (University of Bologna, IT)
- Jovanka Pantovic (University of Novi Sad, RS)
- Marco Peressotti (University of Southern Denmark, DK)
- Jorge A. Pérez (University of Groningen, NL)
- Tatjana Petrov (University of Trieste, IT)
- Emilio Tuosto (Gran Sasso Science Institute, IT)

========================

CONTACT

For inquiries, please contact the co-chairs:
[email protected]
[email protected]

--------------Ul6u3DYTxNGWJ33UgKUqQxIh
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit

<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body>
    <p> </p>
    <div class="moz-text-html" lang="x-unicode">
      <p> </p>
      <div class="moz-text-flowed" style="font-family: -moz-fixed; font-size: 12px;" lang="x-unicode"> [Apologies for multiple postings] <br>
        <br>
        ======================= <br>
        <br>
        FIRST CALL FOR PAPERS - EXPRESS/SOS 2026 <br>
        <br>
        Combined 33rd International Workshop on Expressiveness in
        Concurrency <br>
        and 23rd Workshop on Structural Operational Semantics
        (Express/SOS 2026) <br>
        <br>
        September 5, 2026,&nbsp;Liverpool, UK <br>
        Affiliated with CONFEST 2026 <br>
        <br>
        <a class="moz-txt-link-freetext" href="https://expresssos.github.io/conf/2026">https://expresssos.github.io/conf/2026</a>
        <br>
        <br>
        ======================== <br>
        <br>
        IMPORTANT DATES (AoE) <br>
        <br>
        - Paper Submission: June 22, 2026 <br>
        - Notification: July 25, 2026 <br>
        - Workshop: September 5, 2026 <br>
        - Final version (post-proceedings): October 25, 2026 <br>
        <br>
        ======================== <br>
        <br>
        SCOPE AND TOPICS <br>
        <br>
        The Express/SOS workshop series aims to bring together
        researchers interested in the formal semantics of systems and
        programming concepts, and in the expressiveness of computational
        models. <br>
        <br>
        Topics of interest for Express/SOS 2026 include, but are not
        limited to:&nbsp;<br>
        - expressiveness and rigorous comparisons between models of
        computation (process algebras, event structures, Petri nets,
        rewrite systems); <br>
        - expressiveness and rigorous comparisons between programming
        languages and models (distributed, component-based,
        object-oriented, service-oriented); <br>
        - logics for concurrency (modal logics, probabilistic and
        stochastic logics, temporal logics and resource logics); <br>
        - analysis techniques for concurrent systems; <br>
        - theory of structural operational semantics (meta-theory,
        category-theoretic approaches, congruence results); <br>
        - comparisons between structural operational semantics and other
        formal semantic approaches; <br>
        - applications and case studies of structural operational
        semantics; <br>
        - software tools that automate, or are based on, structural
        operational semantics. <br>
        <br>
        We especially welcome contributions bridging the gap between the
        above topics and neighbouring areas, including:</div>
      <div class="moz-text-flowed" style="font-family: -moz-fixed; font-size: 12px;" lang="x-unicode">- computer security <br>
        - multi-agent systems <br>
        - programming languages <br>
        - formal verification <br>
        - reversible computation <br>
        - knowledge representation <br>
        <br>
        ======================== <br>
        <br>
        INVITED SPEAKERS <br>
        <br>
        TBA <br>
        <br>
        ======================== <br>
        <br>
        SUBMISSION GUIDELINES <br>
        <br>
        We invite two types of submissions: <br>
        <br>
        - Full papers (up to 15 pages, excluding references) <br>
        - Short papers (up to 5 pages, excluding references, not to be
        included in the workshop post-proceedings) <br>
        <br>
        All submissions must adhere to the EPTCS format (<a class="moz-txt-link-freetext" href="https://info.eptcs.org/">https://info.eptcs.org/</a>).
        <br>
        Simultaneous submission to journals, conferences, or other
        workshops is only allowed for short papers; full papers must be
        unpublished. <br>
        <br>
        Submission is performed through EasyChair: <br>
        <a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=expresssos2026">https://easychair.org/conferences/?conf=expresssos2026</a>
        <br>
        <br>
        ======================== <br>
        <br>
        PROCEEDINGS <br>
        <br>
        The final versions of accepted full papers will be published in
        EPTCS. <br>
        For each accepted paper, at least one of the co-authors must
        register and present the work at the workshop. <br>
        <br>
        * We are planning a Joint Special Issue with Express/SOS 2025
        (due in December 2026). <br>
        <br>
        ======================== <br>
        <br>
        WORKSHOP CO-CHAIRS <br>
        <br>
        - Giorgio Bacci (University of Aalborg, Denmark) <br>
        - Anna Philippou (University of Cyprus, Cyprus) <br>
        <br>
        ======================== <br>
        <br>
        PROGRAM COMMITTEE <br>
        <br>
        - Henning Basold (LIACS, Leiden University, NL) <br>
        - Giovanni Bernardi (Université Paris Diderot - IRIF, FR) <br>
        - Marco Bernardo (University of Urbino, IT) <br>
        - Chiara Bodei (University of Pisa, IT) <br>
        - Johannes Borgström (Uppsala University, SE) <br>
        - Georgiana Caltais (University of Twente, NL) <br>
        - Pedro R. D'Argenio (Universidad Nacional de Córdoba - CONICET,
        AR) <br>
        - Emanuele D'Osualdo (University of Konstanz, DE) <br>
        - Fatemeh Ghassemi (University of Tehran, IR) <br>
        - David N. Jansen (Institute of Software, Chinese Academy of
        Sciences, CN) <br>
        - Vasileios Koutavas (Trinity College Dublin, IE) <br>
        - Dimitrios Kouzapas (University of Cyprus, CY) <br>
        - Doriana Medić (University of Turin, IT) <br>
        - Luca Padovani (University of Bologna, IT) <br>
        - Jovanka Pantovic (University of Novi Sad, RS) <br>
        - Marco Peressotti (University of Southern Denmark, DK)&nbsp;<br>
        - Jorge A. Pérez (University of Groningen, NL)</div>
      <div class="moz-text-flowed" style="font-family: -moz-fixed; font-size: 12px;" lang="x-unicode">- Tatjana Petrov (University of Trieste, IT)&nbsp;<br>
        - Emilio Tuosto (Gran Sasso Science Institute, IT) <br>
        <br>
        ======================== <br>
        <br>
        CONTACT <br>
        <br>
        For inquiries, please contact the co-chairs: <br>
        <a class="moz-txt-link-abbreviated moz-txt-link-freetext" href="mailto:[email protected]">[email protected]</a> <br>
        <a class="moz-txt-link-abbreviated moz-txt-link-freetext" href="mailto:[email protected]">[email protected]</a> <br>
        <br>
      </div>
    </div>
  </body>
</html>

--------------Ul6u3DYTxNGWJ33UgKUqQxIh--