Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] 1st Call for Papers Express/SOS 2025

Email Gateway (May 05 2025 at 10:34):

From: Giorgio Bacci <cl-isabelle-users@lists.cam.ac.uk>
[Apologies for multiple postings]

1st Call for Papers Express/SOS 2025

• Venue: Aarhus, Denmark, August 25, 2025
• Submission deadline: June 3, 2025 (full and short papers)
• Website: https://expresssos.github.io/conf/2025

Combined 32nd International Workshop on Expressiveness in Concurrency and
22nd Workshop on Structural Operational Semantics (EXPRESS/SOS 2025)

Aarhus, Denmark, August 25, 2025, Affiliated with CONCUR 2025
===========================================

== IMPORTANT DATES

• Paper submission Tuesday, June 3, 2025
• Paper notification Thursday, July 10, 2025
• Workshop: August 25, 2025
• Final version (post-proceedings): September 25, 2025

== SCOPE AND TOPICS
The EXPRESS/SOS workshop series aims to bring 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 2025 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 post-proceedings)

All submissions have to adhere to the EPTCS format (https://info.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=expresssos2024

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 present the paper.

• We are pleased to announce the possibility of a Joint Special Issue with EXPRESS/SOS 2025 (due in December 2024).

== WORKSHOP CO-CHAIRS:
Cinzia Di Giusto (Université de Nice Sophia-Antipolis, France)
Giorgio Bacci (Aalborg University, Denmark)

== PROGRAM COMMITTEE:
Antonis Achilleos (Reykjavik University)
Elli Anastasiadi (Aalborg University)
Benjamin Bisping (TU Berlin)
Georgiana Caltais (University of Twente)
Valentina Castiglioni (Eindhoven University of Technology)
Luc Edixhoven (Centrum Wiskunde & Informatica - CWI)
Paola Giannini (Universita' del Piemonte Orientale)
Daniele Gorla (University of Rome La Sapienza)
Ping Hou (University of Oxford)
Hans Hüttel (Aalborg University)
Claudio Antares Mezzina (Università di Urbino)
Andreia Mordido (University of Lisbon)
Kirstin Peters (Universität Augsburg)
Anna Philippou (University of Cyprus)
Alceste Scalas (Technical University of Denmark)
Elena Zucca (University of Genova)
Rob van Glabbeek (University of Edinburgh)
Bas van den Heuvel (Karlsruhe University of Applied Sciences)

== CONTACT
Prospective authors are encouraged to contact the co-chairs in case of questions at
cinzia.di-giusto@univ-cotedazur.fr
grbacci@cs.aau.dk

Last updated: May 30 2025 at 04:27 UTC