IFIP-WG 1.8

Welcome to the home page of WG 1.8 "Concurrency Theory" established in 2005 under Technical Committee TC1 Foundations of Computer Science of IFIP. The main aim of this working group, among others, is to develop the theoretical foundations of concurrency, exploring the 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.

Regular Activities

TRENDS: The working group organizes an annual workshop on "Trends in Concurrency Theory" co-located with the International Conference on Concurrency Theory (CONCUR). Below are the links to the web pages of the current / past editions: