<div dir="ltr">===========================================<br>FINAL CALL FOR PAPERS<br>Combined<br>29th International Workshop on Expressiveness in Concurrency<br>and<br>19th Workshop on Structural Operational Semantics<br>(<span class="gmail-il">EXPRESS</span>/SOS 2022)<br><br><a href="https://urldefense.com/v3/__https://express-sos2022.github.io/__;!!IBzWLUs!UOQGGfPPx-HAD3SpoWyAQL3N5bqcIlZZqVBQTwyRRkRvKQYLAqRNfJjhxPcKdBdW5U9YvAy-pywtAnY8KhX5RcrfghOulNU$" target="_blank">https://<span class="gmail-il">express</span>-sos2022.github.io/</a><br><br>Warsaw (Poland)<br>September 12, 2022, Affiliated with CONCUR 2022<br><br>Submission deadline (full and short papers):<br>Friday, July 1, 2022<br>===========================================<br><br><br><br>== INVITED SPEAKERS<br><br>Silvia Crafa (University of Padova, Italy)<br>Ross Horne (University of Luxembourg, Luxembourg)<br><br><br><br>== SCOPE AND TOPICS<br>The <span class="gmail-il">EXPRESS</span>/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 <span class="gmail-il">EXPRESS</span>/SOS 2022 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 proceedings)<br><br>All submissions should adhere to the EPTCS format (<a href="https://urldefense.com/v3/__http://www.eptcs.org/__;!!IBzWLUs!UOQGGfPPx-HAD3SpoWyAQL3N5bqcIlZZqVBQTwyRRkRvKQYLAqRNfJjhxPcKdBdW5U9YvAy-pywtAnY8KhX5RcrfatelhbQ$" target="_blank">http://www.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=expresssos2022__;!!IBzWLUs!UOQGGfPPx-HAD3SpoWyAQL3N5bqcIlZZqVBQTwyRRkRvKQYLAqRNfJjhxPcKdBdW5U9YvAy-pywtAnY8KhX5RcrfPQehbSY$" target="_blank">https://easychair.org/conferences/?conf=expresssos2022</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>We are monitoring the COVID-19 pandemic to decide if the workshop<br>will take place physically in Warsaw, online, or hybrid.<br>Whatever the decision, we will guarantee the possibility of online participation.<br><br><br>== SPECIAL ISSUE<br>There is a long tradition of special issues of reputed international<br>journals devoted to the very best papers presented in prior editions<br>of the workshop.<br>We are planning a special issue with selected papers from <span class="gmail-il">EXPRESS</span>/SOS 2021 and <span class="gmail-il">EXPRESS</span>/SOS 2022.<br>More information will follow closer to the event.<br><br><br>== IMPORTANT DATES<br>- Paper submission: July 8, 2022 (extended)<br>- Notification date: August 5, 2022<br>- Camera ready version: August 19, 2022<br>- Workshop: September 12, 2022<br><br><br>== WORKSHOP CO-CHAIRS:<br>Valentina Castiglioni (Reykjavik University, IS)<br>Claudio Antares Mezzina (University of Urbino, IT)<br><br><br>== PROGRAM COMMITTEE:<br>Georgiana Caltais (University of Konstanz, Germany)<br>Valentina Castiglioni (Reykjavik University, Iceland), co-chair<br>Wan Fokkink (Vrije University Amsterdam, The Netherlands)<br>Paola Giannini (University of Piemonte Orientale, Italy)<br>Daniel Hirschkoff (ENS Lyon, France)<br>Tobias Kappe (Cornell University, UK)<br>Vasileios Koutavas (Trinity College Dublin, Ireland)<br>Ondrej Lengal (Brno University of Technology, Czech Republic)<br>Gerald Luettgen (University of Bamberg, Germany)<br>Claudio Antares Mezzina (University of Urbino, Italy), co-chair<br>Max Tschaikowski (Aalborg University, Denmark)<br><br>== CONTACT<br>Prospective authors are encouraged to contact the co-chairs in case of<br>questions at <a href="mailto:express-sos22@easychair.org" target="_blank"><span class="gmail-il">express</span>-sos22@easychair.org</a><br></div>