[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[ Submissions from the TYPES readership, broadly related to concurrency and programming languages, are warmly welcome. ] =========================================== FIRST CALL FOR PAPERS Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018) http://disat.uninsubria.it/~simone.tini/express_sos.html Beijing, China September 3, 2018 (Co-located with CONCUR 2018 and CONFESTA 2018) Submission deadline (full and short papers): Thursday, June 14, 2018 =========================================== == SCOPE AND TOPICS: The EXPRESS workshop series aims at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. The SOS workshop series aims at being a forum for researchers, students and practitioners interested in new developments, and directions for future investigation, in the field of structural operational semantics. Since 2012, the EXPRESS and SOS communities have joined forces and organised a combined EXPRESS/SOS workshop on the formal semantics of systems and programming concepts, and on the expressiveness of mathematical models of computation. This year marks the 25th edition of EXPRESS and the 15th edition of SOS. Topics of interest for EXPRESS/SOS 2018 include, but are not limited to: - expressiveness and comparison of models of computation (process algebras, event structures, Petri nets, rewrite systems) - expressiveness and comparison of 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); - comparison of structural operational semantics to other formal semantics approaches; - applications and case studies of structural operational semantics; - software tools that automate, or are based on, structural operational semantics. Contributions bridging the gap between the above topics and emerging and/or neighboring areas (such as, for instance, computer security, multi-agent systems, knowledge representation, reversible computation) are particularly welcome. == SUBMISSION GUIDELINES We invite two types of submissions: * Full papers (up to 15 pages). * Short papers (up to 5 pages, not included in the workshop proceedings) Simultaneous submission to journals, conferences or other workshops is only allowed for short papers; full papers must be unpublished. All submissions should adhere to the EPTCS format (http://www.eptcs.org). Submission is performed through the EXPRESS/SOS 2018 EasyChair server (https://easychair.org/conferences/?conf=expresssos2018). 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. == INVITED SPEAKERS - Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands) - Adrian Francalanza (University of Malta, Malta) == IMPORTANT DATES - Paper submission: June 14, 2018 - Notification date: July 16, 2018 - Camera ready version: August 5, 2018 - Workshop: September 3, 2018 == WORKSHOP CO-CHAIRS - Jorge A. Pérez (University of Groningen, The Netherlands) - Simone Tini (Università degli Studi dell’Insubria, Italia) == PROGRAM COMMITTEE - Pedro R. D'Argenio (University of Córdoba, Argentina) - Erik de Vink (Eindhoven University of Technology, The Netherlands) - Cinzia Di Giusto (Université Côte d'Azur, France) - Ignacio Fábregas (IMDEA Software Institute, Spain) - Simon Gay (University of Glasgow, United Kingdom) - Vasileios Koutavas (Trinity College Dublin, Ireland) - Bas Luttik (Eindhoven University of Technology, The Netherlands) - Claudio Antares Mezzina (IMT School for Advanced Studies Lucca, Italy) - MohammadReza Mousavi (University of Leicester, United Kingdom) - Jorge A. Pérez (University of Groningen, The Netherlands) - co-chair - Jurriaan Rot (Radboud University, The Netherlands) - Simone Tini (University of Insubria, Italy) - co-chair - Valeria Vignudelli (CNRS/ENS Lyon, France) -- Jorge A. Pérez Assistant Professor Johann Bernoulli Institute for Math and CS (JBI) University of Groningen, The Netherlands URL: http://www.jperez.nl