Combined 23th International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016)

August 22, 2016

Québec.

 

Call for Papers

The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has traditionally been on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, and rewrite systems) on the basis of their relative expressive power. The EXPRESS workshop series has run successfully since 1994 and over the years this focus has become broadly construed.

The SOS workshops aim at being a forum for researchers, students and practitioners interested in new developments, and directions for future investigation, in the field of structural operational semantics. One of the specific goals of the SOS workshop series is to establish synergies between the concurrency and programming language communities working on the theory and practice of SOS. Reports on applications of SOS to other fields are also most welcome, including: modelling and analysis of biological systems, security of computer systems programming, modelling and analysis of embedded systems, specification of middle-ware and coordination languages, programming language semantics and implementation, static analysis software and hardware verification, semantics for domain-specific languages and model-based engineering.

Since 2012, the EXPRESS and SOS communities have joined forces and organised a combined EXPRESS/SOS workshop. The past combined workshops were a success, so this year there will again be a combined workshop on the semantics of systems and programming concepts, and on the expressiveness of mathematical models of computation.

Topics

Topics of interest for this combined workshop include (but are not limited to):

• expressiveness and comparison of models of computation (process algebras, event structures, Petri nets, rewrite systems), and programming models (distributed, component-based, object-oriented, and service-oriented computing);
• 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);
• comparison of structural operational semantics to other forms of semantics;
• applications of structural operational semantics;
• software tools that automate, or are based on, structural operational semantics.

Important Dates            

Paper submission: June 17, 2016

                       

Notification of acceptance: July 18, 2016

             

Final manuscripts due: July 29, 2016

User Name : RNarmatha
Posted on

Related CFPs

NCS 2026   18th International Conference on Network and Communications Security
SPM 2026   13th International Conference on Signal, Image Processing and Multimedia (SPM 2026)
NCOM 2026   12th International Conference on Networks & Communications
MEIJ   Mechanical Engineering: An International Journal