CALL FOR PAPERS Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS 2023) https://express-sos.github.io/ <https://express-sos2022.github.io/> Antwerp (Belgium) September 18, 2023, Affiliated with CONCUR 2023 Submission deadline (full and short papers): Friday, June 30, 2023 =========================================== == INVITED SPEAKERS Alan Schmitt, INRIA, France Marjan Sirjani, Malardalen University, Sweden == SCOPE AND TOPICS The EXPRESS/SOS workshop series aims at bringing 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 2023 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, such as, for instance: - computer security - multi-agent systems - programming languages - formal verification - reversible computation - knowledge representation == 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 included in the workshop proceedings) All submissions should adhere to the EPTCS format (http://www.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/my/conference?conf=expresssos2023 The final versions of accepted full papers will be published in EPTCS. It is understood that for each accepted submission one of the co-authors will register for the workshop and give the talk. == IMPORTANT DATES - Paper submission: June 30, 2023 - Notification date: August 4, 2023 - Camera ready version: August 18, 2023 - Workshop: September 18, 2023 == WORKSHOP CO-CHAIRS: Georgiana Caltais, University of Twente, The Netherlands Claudio Antares Mezzina, University of Urbino, Italy == PROGRAM COMMITTEE: Georgiana Caltais, (co-chair) University of Twente, The Netherlands Valentina Castiglioni, Reykjavik University, Iceland Matteo Cimini, University of Massachusetts Lowell, US Cinzia Di Giusto, Université Côte d'Azur, France / CNRS, France Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands Sergey Goncharov, FAU Erlangen-Nürnberg, Germany Tobias Kappé, Open University of the Netherlands, The Netherlands Vasileios Koutavas, Trinity College Dublin, Ireland Bas Luttik , Eindhoven University of Technology, The Netherlands Hernán Melgratti, Universidad de Buenos Aires, Argentina Claudio Antares Mezzina (co-chair) University of Urbino, Italy Mohammadreza Mousavi, King's College London, UK Jorge A. Pérez, University of Groningen, The Netherlands G. Michele Pinna, Università di Cagliari, Italy Max Tschaikowski, Aalborg University, Denmark == CONTACT Prospective authors are encouraged to contact the co-chairs in case of questions at claudio.mezzina@uniurb.it g.g.c.caltais@utwente.nl [For admin and other information see: http://www.mta.ca/~cat-dist/ ]