From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: ** X-Spam-Status: No, score=2.2 required=5.0 tests=DATE_IN_PAST_24_48, DKIM_ADSP_CUSTOM_MED,FORGED_GMAIL_RCVD,FREEMAIL_FROM, LOCALPART_IN_SUBJECT,RCVD_IN_MSPIKE_H2,SPOOFED_FREEMAIL, SPOOF_GMAIL_MID autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 5495 invoked from network); 20 Mar 2023 21:33:20 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 20 Mar 2023 21:33:20 -0000 Received: from rr.mta.ca ([198.164.44.159]:44286) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1peN6d-0000uB-5n; Mon, 20 Mar 2023 18:31:51 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1peN60-0000gH-NL for categories-list@rr.mta.ca; Mon, 20 Mar 2023 18:31:12 -0300 MIME-Version: 1.0 From: Claudio Mezzina Date: Sun, 19 Mar 2023 10:57:42 +0100 Subject: categories: EXPRESS/SOS 2023 First Call for Papers To: categories@mta.ca Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Precedence: bulk Reply-To: Claudio Mezzina Message-Id: 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/ Antwerp (Belgium) September 18, 2023, Affiliated with CONCUR 2023 Submission deadline (full and short papers): Friday, June 30, 2023 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =3D=3D INVITED SPEAKERS Alan Schmitt, INRIA, France Marjan Sirjani, Malardalen University, Sweden =3D=3D 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 =3D=3D 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=3Dexpresssos2023 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. =3D=3D IMPORTANT DATES - Paper submission: June 30, 2023 - Notification date: August 4, 2023 - Camera ready version: August 18, 2023 - Workshop: September 18, 2023 =3D=3D WORKSHOP CO-CHAIRS: Georgiana Caltais, University of Twente, The Netherlands Claudio Antares Mezzina, University of Urbino, Italy =3D=3D 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=C3=A9 C=C3=B4te d'Azur, France / CNRS, France Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands Sergey Goncharov, FAU Erlangen-N=C3=BCrnberg, Germany Tobias Kapp=C3=A9, Open University of the Netherlands, The Netherlands Vasileios Koutavas, Trinity College Dublin, Ireland Bas Luttik , Eindhoven University of Technology, The Netherlands Hern=C3=A1n 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=C3=A9rez, University of Groningen, The Netherlands G. Michele Pinna, Universit=C3=A0 di Cagliari, Italy Max Tschaikowski, Aalborg University, Denmark =3D=3D 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/ ]