From: Claudio Mezzina <cmezzina@gmail.com>
To: categories@mta.ca
Subject: categories: EXPRESS/SOS 2023 First Call for Papers
Date: Sun, 19 Mar 2023 10:57:42 +0100 [thread overview]
Message-ID: <E1peN60-0000gH-NL@rr.mta.ca> (raw)
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/ ]
reply other threads:[~2023-03-20 21:33 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1peN60-0000gH-NL@rr.mta.ca \
--to=cmezzina@gmail.com \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).