[TYPES/announce] EXPRESS/SOS 2018 -- First Call for Papers

[Jorge A. Perez]

[ 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