![]() |
| |||||||||||||||
EXPRESS/SOS 2016 : Combined 23th International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016) | |||||||||||||||
Link: http://express-sos2016.cs.vu.nl/ | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
Combined 23th International Workshop on Expressiveness in Concurrency
and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016) EXPRESS/SOS 2016 ------------------------------------------------------ August 22, 2016, Québec City (Canada) Affiliated with CONCUR 2016 http://express-sos2016.cs.vu.nl/ ------------------------------------------------------ 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. Topics of interest for this workshop 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 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. SUBMISSION GUIDELINES: We solicit 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), and submission is performed through the EXPRESS/SOS 2016 EasyChair server (https://easychair.org/conferences/?conf=expresssos2016). The final versions of accepted full papers will be published in EPTCS. INVITED SPEAKER: Joost-Pieter Katoen (RWTH Aachen University, Germany) IMPORTANT DATES: Abstract submission: June 14, 2016 Paper submission: June 14, 2016 Notification date: July 18, 2016 Camera ready version: July 29, 2016 WORKSHOP CO-CHAIRS: Daniel Gebler (VU University Amsterdam, The Netherlands) Kirstin Peters (Technische Universität Berlin, Germany) PROGRAM COMMITTEE: Ilaria Castellani (INRIA Sophia Antipolis, France) Matteo Cimini (Indiana University, Bloomington, Indiana) Ornela Dardha (University of Glasgow, UK) Pedro R. D'Argenio (University of Córdoba, Argentina) Simone Tini (Università degli Studi dell’Insubria, Italia) Daniel Gebler (VU University Amsterdam, The Netherlands) Tobias Heindel (IT University of Copenhagen, Denmark) Thomas T. Hildebrandt (IT University of Copenhagen, Denmark) Daniel Hirschkoff (ENS Lyon, France) Jorge A. Pérez (University of Groningen, The Netherlands) Kirstin Peters (Technische Universität Berlin, Germany) Alexandra Silva (University College London, UK) Pawel Sobocinski (University of Southampton, UK) |
|