[TYPES/announce] EXPRESS/SOS 2023 Second Call for Papers

[Claudio Mezzina]

CALL FOR PAPERS

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!RfUCeZEFXNq8UE7VJ5f7g_r6SNP1O5C4m2DzSPkcy50AdT-Ti1kGImqwNNODWar-xFDboIrFc8CQuZm6Sa1OEDAJvkkdSKs$ 


Antwerp (Belgium)

September 18, 2023, Affiliated with CONCUR 2023


Submission deadline (full and short papers):

Friday, June 30, 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!RfUCeZEFXNq8UE7VJ5f7g_r6SNP1O5C4m2DzSPkcy50AdT-Ti1kGImqwNNODWar-xFDboIrFc8CQuZm6Sa1OEDAJkYOFy2A$ ).

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!RfUCeZEFXNq8UE7VJ5f7g_r6SNP1O5C4m2DzSPkcy50AdT-Ti1kGImqwNNODWar-xFDboIrFc8CQuZm6Sa1OEDAJNhRJ8AY$ 


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: June 30, 2023

- Notification date: August 4, 2023

- Camera ready version: August 18, 2023

- 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/20230609/2797be23/attachment-0001.htm>