Related events
CONCUR 2009 - 20th International Conference on Concurrency Theory and satellite workshops:
- WS-FM 2009 - International Workshop on Web Services and Formal Methods
- EXPRESS 2009 - International Workshop on Expressiveness in Concurrency
- FMWS 2009 - International Workshop on Formal Methods for Wireless Systems
- ICE 2009 - International Workshop on Interaction and Concurrency Experience
- Infinity 2009 - International Workshop on Verification of Infinite-State Systems
- MeCBIC 2009 - International Workshop on Membrane Computing and Biologically Inspired Process Calculi
- SecCo 2009 - International Workshop on Security Issues in Concurrency
-
SOS 2009 - International Workshop on Structural Operational Semantics
- Young Researchers Workshop
FOSAD 2009 - International School on Foundations of Security Analysis and Design