[TYPES/announce] EXPRESS/SOS 2021: First Call for Papers

[Ornela Dardha]

===========================================
FIRST CALL FOR PAPERS
Combined
28th International Workshop on Expressiveness in Concurrency
and
18th Workshop on Structural Operational Semantics
(EXPRESS/SOS 2021)

http://icetcs.ru.is/express-sos2021/

Paris (France)
August 23, 2021, Affiliated with CONCUR 2021

Submission deadline (full and short papers):
Monday, June 21, 2021
===========================================

== INVITED SPEAKERS

Amal Ahmed (Northeastern University, USA)
Jan Friso Groote (Eindhoven University of Technology, The Netherlands)
Dave Parker (University of Birmingham, UK)


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

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.
We are monitoring the COVID-19 pandemic to decide if the workshop
will take place physically in Paris, online or hybrid.
Whatever the decision, we will guarantee the possibility of an online participation.


== 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 2019 and EXPRESS/SOS 2020
is currently in progress.
We will consider organising a special issue for EXPRESS/SOS 2021.


== IMPORTANT DATES
- Paper submission: June 21, 2021
- Notification date: July 26, 2021
- Camera ready version: August 9, 2021
- Workshop: August 23, 2020


== WORKSHOP CO-CHAIRS:
Valentina Castiglioni (Reykjavik University, IS)
Ornela Dardha (University of Glasgow, UK)


== PROGRAM COMMITTEE:
Ahmed Bouajjani (IRIF and University of Paris Diderot, France)
Valentina Castiglioni (Reykjavik University, Iceland), co-chair
Ornela Dardha (University of Glasgow, UK), co-chair
Yuxin Deng (East China Normal University, China)
David de Frutos-Escrig (Complutense Univeristy of Madird, Spain)
Silvia Ghilezan (University of Novi Sad, Serbia)
Paola Giannini (University of Piemonte Orientale, Italy)
Karoliina Lehtinen (University of Liverpool, UK)
Hernan Melgratti (University of Buenos Aires, Argentina)
Valeria de Paiva (Samsung Research America, USA, and University of Birmingham, UK)
Tatjana Petrov (University of Konstanz, Germany)
Sabina Rossi (University Ca' Foscari Venice, Italy)
Jurriaan Rot (Radboud University, The Netherlands)


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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210312/61410253/attachment-0001.htm>