posted by user: Kirstin_Peters || 2963 views || tracked by 4 users: [display]

EXPRESS/SOS 2016 : Combined 23th International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016)


When Aug 22, 2016 - Aug 22, 2016
Where Québec
Submission Deadline Jun 13, 2016
Notification Due Jul 18, 2016
Final Version Due Jul 29, 2016
Categories    formal methods   semantics   theoretical computer science   logic

Call For Papers

Combined 23th International Workshop on Expressiveness in Concurrency
and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016)

August 22, 2016, Québec City (Canada)
Affiliated with CONCUR 2016


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

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.


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 (,
and submission is performed through the EXPRESS/SOS 2016 EasyChair
server (

The final versions of accepted full papers will be published in EPTCS.


Joost-Pieter Katoen (RWTH Aachen University, Germany)


Abstract submission: June 14, 2016
Paper submission: June 14, 2016
Notification date: July 18, 2016
Camera ready version: July 29, 2016


Daniel Gebler (VU University Amsterdam, The Netherlands)
Kirstin Peters (Technische Universität Berlin, Germany)


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)

Related Resources

CONCUR 2018   29th International Conference on Concurrency Theory
VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
CryBlockSpecial 2018   Cryptocurrencies and Blockchains for Distributed Systems, (special issue) Concurrency and Computation: Practice and Experience, Wiley
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
MCDMT 2018   3rd Workshop on Modeling, Computing and Data Handling for Marine Transportation (MCDMT 2018), July 23, 2018, Zakynthos, Greece
SLIE 2019   Special Track Semantics, Logics, Information extraction and AI
ACITY 2018   8th International Conference on Advances in Computing and Information Technology
SKG 2018   The 14th International Conference on Semantics, Knowledge and Grids on Big Data, AI and Future Interconnection Environment
BES 2018   3th International Conference on Biomedical Engineering and Science
IOSec 2018   International workshop on Information & Operational Technology (IT & OT) security systems