EXPRESS/SOS 2022 : Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics Warsaw, Poland
|
|||||||
Event Date: | September 12, 2022 - September 12, 2022 |
---|---|
Submission Deadline: | June 01, 2022 |
Notification of Acceptance: | August 05, 2022 |
Camera Ready Version Due: | August 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. |
Summary |
EXPRESS/SOS 2022 : Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics will take place in Warsaw, Poland. It’s a 1 day event starting on Sep 12, 2022 (Monday) and will be winded up on Sep 12, 2022 (Monday). EXPRESS/SOS 2022 falls under the following areas: FORMAL METHODS, PROGRAMMING LANGUAGES, LOGIC, SOFTWARE, etc. Submissions for this Workshop can be made by Jun 1, 2022. Authors can expect the result of submission by Aug 5, 2022. Upon acceptance, authors should submit the final version of the manuscript on or before Aug 19, 2022 to the official website of the Workshop. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the EXPRESS/SOS 2022
|
Credits and Sources |
[1] EXPRESS/SOS 2022 : Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics |