<div dir="ltr">Combined<br>31st International Workshop on Expressiveness in Concurrency<br>and 21st Workshop on Structural Operational Semantics<br>(EXPRESS/SOS 2024)<br><br><a href="https://urldefense.com/v3/__https://express-sos.github.io/__;!!IBzWLUs!RZP2szcsyOXGX2Uqk_dOwsiYhPJhEO8PiXeexb5ApxT47LcM6cmkk0YX4ID3gRG8OJjdrAcri2FuuExU-dgMLhOu_S0KtTTFQ_N-4Vcb$">https://express-sos.github.io/</a><br><br>Calgary (Canada)<br>September 9, 2024, Affiliated with CONCUR 2024<br><br>Submission deadline (full and short papers):<br>Monday, June 24, 2024<br>===========================================<br><br>== SCOPE AND TOPICS<br>The EXPRESS/SOS workshop series aims at bringing together researchers<br>interested in the formal semantics of systems and programming<br>concepts, and in the expressiveness of computational models.<br><br>Topics of interest for EXPRESS/SOS 2024 include, but are not limited to:<br><br>- expressiveness and rigorous comparisons between models of<br>computation (process algebras, event structures, Petri nets, rewrite<br>systems)<br>- expressiveness and rigorous comparisons between programming<br>languages and models (distributed, component-based, object-oriented,<br>service-oriented);<br>- logics for concurrency (modal logics, probabilistic and stochastic<br>logics, temporal logics and resource logics);<br>- analysis techniques for concurrent systems;<br>- theory of structural operational semantics (meta-theory,<br>category-theoretic approaches, congruence results);<br>- comparisons between structural operational semantics and other<br>formal semantic approaches;<br>- applications and case studies of structural operational semantics;<br>- software tools that automate, or are based on, structural<br>operational semantics.<br><br>We especially welcome contributions bridging the gap between the above<br>topics and neighbouring areas, such as, for instance:<br>- computer security<br>- multi-agent systems<br>- programming languages<br>- formal verification<br>- reversible computation<br>- knowledge representation<br><br><br>== SUBMISSION GUIDELINES:<br>We invite two types of submissions:<br>* Full papers (up to 15 pages, excluding references).<br>* Short papers (up to 5 pages, excluding references, not included in<br>the workshop post-proceedings)<br><br>All submissions have to adhere to the EPTCS format (<a href="https://urldefense.com/v3/__https://info.eptcs.org/__;!!IBzWLUs!RZP2szcsyOXGX2Uqk_dOwsiYhPJhEO8PiXeexb5ApxT47LcM6cmkk0YX4ID3gRG8OJjdrAcri2FuuExU-dgMLhOu_S0KtTTFQxq2UsCV$">https://info.eptcs.org/</a>).<br>Simultaneous submission to journals, conferences or other workshops is<br>only allowed for short papers; full papers must be unpublished.<br><br>Submission is performed through EasyChair:<br><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=expresssos2024__;!!IBzWLUs!RZP2szcsyOXGX2Uqk_dOwsiYhPJhEO8PiXeexb5ApxT47LcM6cmkk0YX4ID3gRG8OJjdrAcri2FuuExU-dgMLhOu_S0KtTTFQ9qxSpze$">https://easychair.org/conferences/?conf=expresssos2024</a><br><br>The final versions of accepted full papers will be published in EPTCS.<br>It is understood that for each accepted submission one of the<br>co-authors will register for the workshop and give the talk.<br><br>* We are pleased to announce the possibility of a Joint Special Issue with EXPRESS/SOS 2023 (due in December 2024).<br><br><br>== IMPORTANT DATES<br>- Paper submission Monday June 24<br>- Paper notification Monday July 29<br>- Workshop: September 9, 2024<br>- Final version - post-proceedings: October 9, 2024 <br><br><br>== WORKSHOP CO-CHAIRS:<br>Georgiana Caltais, University of Twente, The Netherlands<br>Cinzia Di Giusto, Université Côte d'Azur, CNRS, France<br><br><br>== PROGRAM COMMITTEE:<br>Georgiana Caltais , (co-chair) University of Twente, The Netherlands<br>Cinzia Di Giusto , (co-chair) Université Côte d'Azur, CNRS, France<br>Elli Anastasiadi Uppsala University, Sweden<br>Matteo Cimini University of Massachusetts Lowell, USA<br>Wan Fokkink , Vrije Universiteit Amsterdam, The Netherlands<br>Adrian Francalanza University of Malta<br>Fatemeh Ghassemi University of Tehran, Iran<br>Lorenzo Gheri University of Liverpool<br>Eva Graversen University of Southern Denmark, Denmark<br>Jean Krivine CNRS, Paris, France<br>Sergueï Lenglet Université de Lorraine<br>Doriana Medic University of Turin, Italy<br>Maurizio Murgia Gran Sasso Science Institute<br>António Ravara Universidade NOVA de Lisboa, Portugal<br>Marjan Sirjani Malardalen University, Sweden<br>Felix Stutz University of Luxembourg, Luxembourg<br>Emilio Tuosto Gran Sasso Science Institute, Italy<br>Frank Valencia LIX, Ecole Polytechnique, France<br>Daniele Varacca LACL - Université Paris Est Créteil, France<br>Gianluigi Zavattaro Department of Computer Science and Engineering - University of Bologna, Italy<br><br><br>== CONTACT<br>Prospective authors are encouraged to contact the co-chairs in case of<br>questions at<br><a href="mailto:g.g.c.caltais@utwente.nl">g.g.c.caltais@utwente.nl</a><br><a href="mailto:cinzia.di-giusto@univ-cotedazur.fr">cinzia.di-giusto@univ-cotedazur.fr</a><br><br><br><br></div>