posted by organizer: digiusto || 392 views || tracked by 1 users: [display]

EXPRESS/SOS 2024 : CALL FOR PAPERS EXPRESS/SOS@CONFEST2024

FacebookTwitterLinkedInGoogle

Link: https://express-sos.github.io/
 
When Sep 9, 2024 - Sep 9, 2024
Where Calgary
Submission Deadline Jun 24, 2024
Notification Due Jul 29, 2024
Final Version Due Oct 9, 2024
 

Call For Papers

Combined
31st International Workshop on Expressiveness in Concurrency
and 21st Workshop on Structural Operational Semantics
(EXPRESS/SOS 2024)

https://express-sos.github.io/

Calgary (Canada)
September 9, 2024, Affiliated with CONCUR 2024

Submission deadline (full and short papers):
Monday, June 24, 2024
===========================================

== 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 2024 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 give the talk.

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


== IMPORTANT DATES
- Paper submission Monday June 24
- Paper notification Monday July 29
- Workshop: September 9, 2024
- Final version - post-proceedings: October 9, 2024


== WORKSHOP CO-CHAIRS:
Georgiana Caltais, University of Twente, The Netherlands
Cinzia Di Giusto, Université Côte d'Azur, CNRS, France


== PROGRAM COMMITTEE:
Georgiana Caltais , (co-chair) University of Twente, The Netherlands
Cinzia Di Giusto , (co-chair) Université Côte d'Azur, CNRS, France
Elli Anastasiadi Uppsala University, Sweden
Matteo Cimini University of Massachusetts Lowell, USA
Wan Fokkink , Vrije Universiteit Amsterdam, The Netherlands
Adrian Francalanza University of Malta
Fatemeh Ghassemi University of Tehran, Iran
Lorenzo Gheri University of Liverpool
Eva Graversen University of Southern Denmark, Denmark
Jean Krivine CNRS, Paris, France
Sergueï Lenglet Université de Lorraine
Doriana Medic University of Turin, Italy
Maurizio Murgia Gran Sasso Science Institute
António Ravara Universidade NOVA de Lisboa, Portugal
Marjan Sirjani Malardalen University, Sweden
Felix Stutz University of Luxembourg, Luxembourg
Emilio Tuosto Gran Sasso Science Institute, Italy
Frank Valencia LIX, Ecole Polytechnique, France
Daniele Varacca LACL - Université Paris Est Créteil, France
Gianluigi Zavattaro Department of Computer Science and Engineering - University of Bologna, Italy


== CONTACT
Prospective authors are encouraged to contact the co-chairs in case of
questions at
g.g.c.caltais@utwente.nl
cinzia.di-giusto@univ-cotedazur.fr



Related Resources

Call For Papers Special Issue 2024   Smart Cities, innovating in the Transformation of Urban Environments
Dialogical Approaches to the Sphere ‘in 2024   Call For Papers - Dialogical Approaches to the Sphere ‘in-between’ Self and Other: The Methodological Meaning of Listening
Philosophical Approaches to Games and Ga 2024   Call For Papers - Philosophical Approaches to Games and Gamification: Ethical, Aesthetic, Technological and Political Perspectives
JRMV 2024   The Journal of Risk Model Validation Call for Papers
Mathematically Modeling Early Christian 2024   Call for Papers - Mathematically Modeling Early Christian Literature: Theories, Methods, and Future Directions
Sensuality and Robots: An Aesthetic Appr 2024   Call for Papers - Sensuality and Robots: An Aesthetic Approach to Human-Robot Interactions
CFEM AI 2024   Cornell Financial Engineering 2024 Conference Call For Papers
Call For Papers ICSC CITIES 2024   VII Ibero-American Congress of Smart Cities (presential and online conference)
User in RSs 2024   Call for Papers – Special Issue of the International Journal of Human-Computer Studies on Re-centering the User in Recommender System Research
IEEE ICPADS 2024   IEEE ICPADS 2024 Call for Papers (In Belgrade, Serbia; Due July 7th 2024)