26 Aug 2019
Amsterdam, The Netherlands
=========================================== FIRST CALL FOR PAPERS Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019) https://express-sos2019.cs.ru.nl Amsterdam (The Netherlands) August 26, 2019, Affiliated with CONCUR 2019 Submission deadline (full and short papers): Friday, June 21, 2019 =========================================== == 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 2019 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 and 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/conferences/?conf=expresssos2019 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 to the workshop and give the talk. == SPECIAL ISSUE There is a long tradition of special issues of reputed international journals devoted to the very best papers presented in prior editions of the workshop. For instance, a special issue of Information and Computation with selected papers from EXPRESS/SOS 2018 is currently in progress. We will consider organizing a special issue for EXPRESS/SOS 2019. == INVITED SPEAKERS - Yuxin Deng (East China Normal University, China) - Tom Hirschowitz (CNRS / Savoie Mont Blanc University, France) - Kirstin Peters (TU Berlin, Germany) == IMPORTANT DATES - Paper submission: June 21, 2019 - Notification date: July 26, 2019 - Camera ready version: August 11, 2019 - Workshop: August 26, 2019 == WORKSHOP CO-CHAIRS: Jorge A. Pérez (University of Groningen, The Netherlands) Jurriaan Rot (Radboud University, The Netherlands) == PROGRAM COMMITTEE: Roberto Bruni (Università di Pisa, Italy) Ilaria Castellani (INRIA, France) Valentina Castiglioni (INRIA Saclay, France) Matteo Cimini (University of Massachusetts Lowell, US) Emanuele D'Osualdo (Imperial College London, UK) Adrian Francalanza (University of Malta, Malta) Jean-Marie Madiot (INRIA, France) Marino Miculan (University of Udine, Italy) Mohammadreza Mousavi (University of Leicester, UK) Jovanka Pantovic (University of Novi Sad, Serbia) Jorge A. Pérez (University of Groningen, The Netherlands) - co-chair Jurriaan Rot (Radboud University, The Netherlands) - co-chair Erik de Vink (Eindhoven University of Technology, The Netherlands) == CONTACT Prospective authors are encouraged to contact the co-chairs in case of questions: express-sos19@easychair.org -- Jorge A. Pérez Assistant Professor Bernoulli Institute for Math, CS and AI University of Groningen, The Netherlands URL: http://www.jperez.nl Office: +31 50 36 33971 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam