This workshop aims to bring together researchers at the frontiers of research in concurrent and mobile processes, their semantics, extensions and applications. Likely topics are: algebraic treatments of name generation and operational semantics, domain theory for concurrency, causal/independence models, types for concurrent languages, bisimulation for ambients, process languages and their applications in for example security and biology.
Speakers |
So far the list of participants includes:
V. Danos (Paris)
M. Fiore (Cambridge)
A. Jeffrey (DePaul)
M. Nygaard (BRICS)
V. Sassone (Sussex)
P. Sobocinski (BRICS)
I. Stark (Edinburgh)
S. Staton (Cambridge)
F. Van Breugel (York)
R. van Glabbeek (INRIA)
G. Winskel (Cambridge)
Program |
Slides |
Organizers:
Glynn Winskel
Phil Scott
Forms:
Workshop
Registration
Accommodations Registration
Workshops:
June 15-16: Quantum
June 17: Games
June 18-19: Linguistics
June 19-20: Concurrency
Related Events in Ottawa:
May 30-June 1: FMCS'03
June 2-20: Fields'03
June 21-27: LICS'03