posted by user: prsmrc || 2398 views || tracked by 4 users: [display]

EXPRESS/SOS 2020 : Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics

FacebookTwitterLinkedInGoogle

Link: https://express-sos2020.cs.ru.nl/
 
When Aug 31, 2020 - Aug 31, 2020
Where Vienna, Austria
Submission Deadline Jun 26, 2020
Notification Due Jul 31, 2020
Final Version Due Aug 12, 2020
Categories    formal methods   semantics   theoretical computer science   logic
 

Call For Papers

===========================================
Combined 27th International Workshop on Expressiveness in Concurrency
and 17th Workshop on Structural Operational Semantics
(EXPRESS/SOS 2020)

https://express-sos2020.cs.ru.nl

Vienna (Austria)
August 31, 2020, Affiliated with CONCUR 2020

Submission deadline (full and short papers):
Friday, June 26, 2020
===========================================

== 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 2020 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
- formal verification
- reversible computation
- knowledge representation

== SUBMISSION GUIDELINES:
We invite two types of submissions:
* Full papers (up to 15 pages, excluding references).
* Short papers (up to 5 pages, excluding references, not included in
the workshop proceedings)

All submissions should adhere to the EPTCS format (http://www.eptcs.org).
Simultaneous submission to journals, conferences or other workshops is
only allowed for short papers; full papers must be unpublished.

Submission is performed through EasyChair:
https://easychair.org/conferences/?conf=expresssos2020

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.

== SPECIAL ISSUE
There is a long tradition of special issues of reputed international
journals devoted to the very best papers presented in prior editions
of the workshop.
For instance, a special issue of Information and Computation with
selected papers from EXPRESS/SOS 2018 is currently in progress.
We will consider organizing a special issue for EXPRESS/SOS 2020.

== INVITED SPEAKERS

- Giorgio Bacci (Aalborg University, Denmark)
- Bas Luttik (Eindhoven University of Technology, The Netherlands)
- Rumyana Neykova (Brunel University London, UK)

== IMPORTANT DATES
- Paper submission: June 26, 2020
- Notification date: July 31, 2020
- Camera ready version: August 12, 2020
- Workshop: August 31, 2020

== WORKSHOP CO-CHAIRS:
Ornela Dardha (University of Glasgow, UK)
Jurriaan Rot (Radboud University, The Netherlands)

== PROGRAM COMMITTEE:
Pedro R. D'Argenio (University of Cordoba, Argentina)
Stephanie Balzer (Carnegie Mellon University, US)
Valentina Castiglioni (Reykjavik University, Iceland)
Ornela Dardha (University of Glasgow, UK), co-chair
Mariangiola Dezani-Ciancaglini (University of Torino, Italy)
Rob van Glabbeek (Data61, CSIRO, Australia)
Sophia Knight (University of Minnesota Duluth, U.S.A.)
Uwe Nestmann (TU Berlin, Germany)
Catuscia Palamidessi (Inria and École Polytechnique, France)
Marco Peressotti (University of Southern Denmark)
Jorge A. Pérez (University of Groningen, The Netherlands)
Jurriaan Rot (Radboud University, Nijmegen, The Netherlands), co-chair
Ivano Salvo (Sapienza, Rome, Italy)

== CONTACT
Prospective authors are encouraged to contact the co-chairs in case of
questions at express-sos20@easychair.org

Related Resources

EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
ICFEM 2022   23th International Conference on Formal Engineering Methods
CONCUR 2022   International Conference on Concurrency Theory
TASE 2022   Theoretical Aspects of Software Engineering
Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
SNLP 2022   3rd International Conference on Semantic & Natural Language Processing
SLIE 2022   Semantics, Logics, Information Extraction and AI
iFM 2022   International Conference on integrated Formal Methods
LATIN 2022   The 15th Latin American Theoretical Informatics Symposium
PLACES 2022   13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software