
<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">===========================================</div><div class="">FIRST CALL FOR PAPERS</div><div class="">Combined</div><div class="">28th International Workshop on Expressiveness in Concurrency</div><div class="">and</div><div class="">18th Workshop on Structural Operational Semantics</div><div class="">(EXPRESS/SOS 2021)</div><div class=""><br class=""></div><div class=""><a href="http://icetcs.ru.is/express-sos2021/" class="">http://icetcs.ru.is/express-sos2021/</a></div><div class=""><br class=""></div><div class="">Paris (France)</div><div class=""><b class="">August 23, 2021</b>, Affiliated with CONCUR 2021</div><div class=""><br class=""></div><div class="">Submission deadline (full and short papers):</div><div class=""><b class="">Monday, June 21, 2021</b></div><div class="">===========================================</div><div class=""><br class=""></div><div class="">== INVITED SPEAKERS</div><div class=""><br class=""></div><div class="">Amal Ahmed (Northeastern University, USA)</div><div class="">Jan Friso Groote (Eindhoven University of Technology, The Netherlands)</div><div class="">Dave Parker (University of Birmingham, UK)</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">== SCOPE AND TOPICS</div><div class="">The EXPRESS/SOS workshop series aims at bringing together researchers</div><div class="">interested in the formal semantics of systems and programming</div><div class="">concepts, and in the expressiveness of computational models.</div><div class=""><br class=""></div><div class="">Topics of interest for EXPRESS/SOS 2021 include, but are not limited to:</div><div class=""><br class=""></div><div class="">- expressiveness and rigorous comparisons between models of</div><div class="">computation (process algebras, event structures, Petri nets, rewrite</div><div class="">systems)</div><div class="">- expressiveness and rigorous comparisons between programming</div><div class="">languages and models (distributed, component-based, object-oriented,</div><div class="">service-oriented);</div><div class="">- logics for concurrency (modal logics, probabilistic and stochastic</div><div class="">logics, temporal logics and resource logics);</div><div class="">- analysis techniques for concurrent systems;</div><div class="">- theory of structural operational semantics (meta-theory,</div><div class="">category-theoretic approaches, congruence results);</div><div class="">- comparisons between structural operational semantics and other</div><div class="">formal semantic approaches;</div><div class="">- applications and case studies of structural operational semantics;</div><div class="">- software tools that automate, or are based on, structural</div><div class="">operational semantics.</div><div class=""><br class=""></div><div class="">We especially welcome contributions bridging the gap between the above</div><div class="">topics and neighbouring areas, such as, for instance:</div><div class="">- computer security</div><div class="">- multi-agent systems</div><div class="">- programming languages</div><div class="">- formal verification</div><div class="">- reversible computation</div><div class="">- knowledge representation</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">== SUBMISSION GUIDELINES:</div><div class="">We invite two types of submissions:</div><div class="">* Full papers (up to 15 pages, excluding references).</div><div class="">* Short papers (up to 5 pages, excluding references, not included in</div><div class="">the workshop proceedings)</div><div class=""><br class=""></div><div class="">All submissions should adhere to the EPTCS format (<a href="http://www.eptcs.org" class="">http://www.eptcs.org</a>).</div><div class="">Simultaneous submission to journals, conferences or other workshops is</div><div class="">only allowed for short papers; full papers must be unpublished.</div><div class=""><br class=""></div><div class="">Submission is performed through EasyChair:</div><div class=""><a href="https://easychair.org/conferences/?conf=expresssos2021" class="">https://easychair.org/conferences/?conf=expresssos2021</a></div><div class=""><br class=""></div><div class="">The final versions of accepted full papers will be published in EPTCS.</div><div class="">It is understood that for each accepted submission one of the</div><div class="">co-authors will register to the workshop and give the talk.</div><div class="">We are monitoring the COVID-19 pandemic to decide if the workshop</div><div class="">will take place physically in Paris, online or hybrid.</div><div class="">Whatever the decision, we will guarantee the possibility of an online participation.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">== SPECIAL ISSUE</div><div class="">There is a long tradition of special issues of reputed international</div><div class="">journals devoted to the very best papers presented in prior editions</div><div class="">of the workshop.</div><div class="">For instance, a special issue of Information and Computation with</div><div class="">selected papers from EXPRESS/SOS 2019 and EXPRESS/SOS 2020</div><div class="">is currently in progress.</div><div class="">We will consider organising a special issue for EXPRESS/SOS 2021.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">== IMPORTANT DATES</div><div class="">- Paper submission: June 21, 2021</div><div class="">- Notification date: July 26, 2021</div><div class="">- Camera ready version: August 9, 2021</div><div class="">- Workshop: August 23, 2020</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">== WORKSHOP CO-CHAIRS:</div><div class="">Valentina Castiglioni (Reykjavik University, IS)</div><div class="">Ornela Dardha (University of Glasgow, UK)</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">== PROGRAM COMMITTEE:</div><div class="">Ahmed Bouajjani (IRIF and University of Paris Diderot, France)</div><div class="">Valentina Castiglioni (Reykjavik University, Iceland), co-chair</div><div class="">Ornela Dardha (University of Glasgow, UK), co-chair</div><div class="">Yuxin Deng (East China Normal University, China)</div><div class="">David de Frutos-Escrig (Complutense Univeristy of Madird, Spain)</div><div class="">Silvia Ghilezan (University of Novi Sad, Serbia)</div><div class="">Paola Giannini (University of Piemonte Orientale, Italy)</div><div class="">Karoliina Lehtinen (University of Liverpool, UK)</div><div class="">Hernan Melgratti (University of Buenos Aires, Argentina)</div><div class="">Valeria de Paiva (Samsung Research America, USA, and University of Birmingham, UK)</div><div class="">Tatjana Petrov (University of Konstanz, Germany)</div><div class="">Sabina Rossi (University Ca' Foscari Venice, Italy)</div><div class="">Jurriaan Rot (Radboud University, The Netherlands)</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">== CONTACT</div><div class="">Prospective authors are encouraged to contact the co-chairs in case of</div><div class="">questions at <a href="mailto:express-sos21@easychair.org" class="">express-sos21@easychair.org</a></div><div class=""><br class=""></div></body></html>