* categories: EXPRESS/SOS 2023 First Call for Papers
@ 2023-03-19 9:57 Claudio Mezzina
0 siblings, 0 replies; only message in thread
From: Claudio Mezzina @ 2023-03-19 9:57 UTC (permalink / raw)
To: categories
CALL FOR PAPERS
Combined
30th International Workshop on Expressiveness in Concurrency
and 20th Workshop on Structural Operational Semantics
(EXPRESS/SOS 2023)
https://express-sos.github.io/ <https://express-sos2022.github.io/>
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 (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/my/conference?conf=expresssos2023
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@uniurb.it
g.g.c.caltais@utwente.nl
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-03-20 21:33 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-03-19 9:57 categories: EXPRESS/SOS 2023 First Call for Papers Claudio Mezzina
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).