Express/SOS 2026 - Second Call for Papers
Anna Philippou <[email protected]> Thu, 21 May 2026 12:45:40 +0300
| Newsgroups | gmane.comp.lang.caml.inria |
|---|---|
| Message-ID | <[email protected]> |
--------------8Kb8jEvOnxe47hEgF8DLBkKf Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit [Apologies for multiple postings] ======================= SECOND 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] --------------8Kb8jEvOnxe47hEgF8DLBkKf 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> <div class="moz-forward-container"> <div class="moz-forward-container"> <div class="moz-forward-container"> <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> SECOND 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, Liverpool, UK <br> Affiliated with CONFEST 2026 <br> <br> <a class="moz-txt-link-freetext" href="https://expresssos.github.io/conf/2026" moz-do-not-send="true">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: <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/" moz-do-not-send="true">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" moz-do-not-send="true">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) <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) <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]" moz-do-not-send="true">[email protected]</a> <br> <a class="moz-txt-link-abbreviated moz-txt-link-freetext" href="mailto:[email protected]" moz-do-not-send="true">[email protected]</a> <br> <br> </div> </div> </div> </div> </body> </html> --------------8Kb8jEvOnxe47hEgF8DLBkKf--