[TYPES/announce] EXPRESS/SOS 2019 (co-located with CONCUR 2019) - Call for Participation.

[Jorge A. Perez]

[ Apologies for multiple postings. ]

===========================================
CALL FOR PARTICIPATION
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

- Invited speakers:
Tom Hirschowitz, Kirstin Peters, and Frank D. Valencia

- Preliminary program:
https://express-sos2019.cs.ru.nl/#schedule

- Registration link:
https://shop.cwi.nl/concur/
===========================================

== 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

== INVITED SPEAKERS
- Tom Hirschowitz (CNRS / Savoie Mont Blanc University, France)
- Kirstin Peters (TU Berlin, Germany)
- Frank D. Valencia (CNRS & LIX, École Polytechnique, France / Univ.
Javeriana - Cali, Colombia)

== PRELIMINARY PROGRAM
In addition to the three invited talks, the workshop program will
feature contributed full and short presentations:
https://express-sos2019.cs.ru.nl/#schedule

== PROCEEDINGS
Final versions of accepted full papers will appear in a volume of
EPTCS (http://www.eptcs.org), currently in preparation.

== 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
express-sos19 at 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: Bernoulliborg 5.58 - +31 50 36 33971