Collocated Events
- Workshop on Approximate Behavioural Equivalences (ABE 08)
Workshop on Concurrency in Enterprise Systems (COINES 08)Workshop on Distributed computing, Concurrency theory, and Verification (DisCoVeri 2)- 15th International Workshop on Expressiveness in Concurrency (EXPRESS'08)
- Workshop on Formal Methods for Wireless Systems (FMWS 2008)
- 10th International Workshop on Verification of Infinite-State Systems (INFINITY 2008)
- 6th International Workshop on Security Issues in Concurrency (SecCo 08)
Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2008)
