IFIP WG 1.8: Aims and Scope

AIMS

• To develop theoretical foundations of concurrency, exploring frontiers of existing theoretical models like process algebra and various process calculi, so as to obtain a deeper theoretical understanding of concurrent and parallel systems.
• To promote and coordinate the exchange of information on concurrency theory, exchanging ideas, discussing open problems, and identifying future directions of research in the area.

SCOPE

The activities of this WG will encompass all aspects of concurrency theory and its applications. The themes of the WG include:

• process algebras and calculi,
• expressiveness of formalisms for concurrency,
• modal and temporal logics for concurrency and their extensions,
• resource sensitive approaches to concurrency and their developments,
• tools for verification and validation of concurrent systems,
• reactive models for real-time and hybrid systems,
• calculi and typing systems for mobile processes and global computing,
• stochastic and probabilistic models of concurrent processes,
• behavioral relations for processes,
• decidability and complexity issues in concurrency theory,
• semantic frameworks for concurrency such as structural operational semantics,
• integration of concepts from concurrency theory into specification, modeling and programming languages, and (global) concurrent systems, and
• exploration of the frontiers of concurrency theory in connections to various branches of computer science, including theories of operating systems, internet languages, Petri nets and their applications, communication protocols, security issues on the internet, global ubiquitous computing, distributed algorithms, embedded systems, software architectures and engineering, automata theory; information theory, various formal methods, control theory and robotics, bio-computing, quantum computing, and other emerging areas.

The full text of the proposal is available in PDF format.