posted by user: sadegh_rk || 211 views || tracked by 2 users: [display]

EXPRESS/SOS 2022 : Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics

FacebookTwitterLinkedInGoogle

Link: https://express-sos2022.github.io/
 
When Sep 12, 2022 - Sep 12, 2022
Where Warsaw, Poland
Submission Deadline Jun 1, 2022
Notification Due Aug 5, 2022
Final Version Due Aug 19, 2022
Categories    formal methods   programming languages   logic   software
 

Call For Papers


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 this combined workshop 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 (metatheory, 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:

- computer security
- multi-agent systems
- programming languages and formal verification
- reversible computation
- knowledge representation

Submissions

We solicit two types of submissions:

- Full papers of up to 15 pages excluding references
(presented at the workshop and included in the proceedings)
- Short papers of up to 5 pages excluding references
(presented at the workshop, but not included in the proceedings)

Submission is performed through the EXPRESS/SOS 2022 EasyChair server.

Related Resources

ECOOP 2022   European Conference on Object-Oriented Programming
CONCUR 2022   International Conference on Concurrency Theory
IJAC 2022   International Journal of Advances in Chemistry
Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
SOFT 2022   8th International Conference on Software Engineering SOFT
Paneled Scaffolding 2023   Paneled Scaffolding: Reflecting on Building and Sustaining Comics Studies Programs, Library Collections, and Journals
SEAS 2022   11th International Conference on Software Engineering and Applications
EvoCompAISecurity&Privacy 2022   Evolutionary Computing for AI-Driven Security and Privacy: Advancing the state-of-the-art applications
JMC 2022   JOURNAL OF MATHEMATICAL CRYPTOLOGY
MDPI computers 2022   MDPI computers Special Issue on GPU based Applications in Machine Learning - Open for submission