[TYPES/announce] EXPRESS/SOS 2023 Last Call for Papers (deadline extension)

[Claudio Mezzina]

LAST CALL FOR PAPERS (deadline extension)


Combined

30th International Workshop on Expressiveness in Concurrency

and 20th Workshop on Structural Operational Semantics

(EXPRESS/SOS 2023)


https://urldefense.com/v3/__https://express-sos.github.io/__;!!IBzWLUs!S9p4HsugJSW_c5cOrOFoRv900ecXBKCRh_-QwBE4TkaHtdaSmVrhjTvP2dDJXwFEUtUVf6JNWXLBaKjbL2MGg-vYeewayqU$ 


Antwerp (Belgium)

September 18, 2023, Affiliated with CONCUR 2023


Submission deadline (full and short papers):

*Friday, July 7, 2023*

===========================================



== INVITED SPEAKERS

Alan Schmitt, INRIA, France

Marjan Sirjani, Malardalen University, Sweden



== 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 2023 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 (https://urldefense.com/v3/__http://www.eptcs.org__;!!IBzWLUs!S9p4HsugJSW_c5cOrOFoRv900ecXBKCRh_-QwBE4TkaHtdaSmVrhjTvP2dDJXwFEUtUVf6JNWXLBaKjbL2MGg-vYMi2oOa0$ ).

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://urldefense.com/v3/__https://easychair.org/my/conference?conf=expresssos2023__;!!IBzWLUs!S9p4HsugJSW_c5cOrOFoRv900ecXBKCRh_-QwBE4TkaHtdaSmVrhjTvP2dDJXwFEUtUVf6JNWXLBaKjbL2MGg-vYFLGKJ_A$ 


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 for the workshop and give the talk.



== IMPORTANT DATES

- Paper submission: July 7, 2023 (*extended*)

- Notification date: August 11, 2023 (*extended*)

- Camera ready version: August 25, 2023 (*extended*)

- Workshop: September 18, 2023



== WORKSHOP CO-CHAIRS:

Georgiana Caltais, University of Twente, The Netherlands

Claudio Antares Mezzina, University of Urbino, Italy



== PROGRAM COMMITTEE:

Georgiana Caltais, (co-chair) University of Twente, The Netherlands

Valentina Castiglioni, Reykjavik University, Iceland

Matteo Cimini, University of Massachusetts Lowell, US

Cinzia Di Giusto, Université Côte d'Azur, France / CNRS, France

Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands

Sergey Goncharov, FAU Erlangen-Nürnberg, Germany

Tobias Kappé, Open University of the Netherlands, The Netherlands

Vasileios Koutavas, Trinity College Dublin, Ireland

Bas Luttik , Eindhoven University of Technology, The Netherlands

Hernán Melgratti, Universidad de Buenos Aires, Argentina

Claudio Antares Mezzina (co-chair) University of Urbino, Italy

Mohammadreza Mousavi, King's College London, UK

Jorge A. Pérez, University of Groningen, The Netherlands

G. Michele Pinna, Università di Cagliari, Italy

Max Tschaikowski, Aalborg University, Denmark



== CONTACT

Prospective authors are encouraged to contact the co-chairs in case of

questions at

claudio.mezzina at uniurb.it

g.g.c.caltais at utwente.nl
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230630/765bcea9/attachment-0001.htm>