ON CONCURRENCY THEORY
AUGUST 27 - 30, 2006
BONN, GERMANY
Satellite Workshops
Concur 2006 will be preceeded and followed by a collection of sattelite workshops.
Pre-Workshops: (Program in pdf)
- Formal Methods for Industrial Critical Systems (FMICS)
Contact Person: Martin Leucker (leucker [at] in.tum.de) - Verification of Infinite-State Systems (INFINITY)
Contact Person: Ahmed Bouajjani (abou [at] liafa.jussieu.fr) - Expressiveness in Concurrency (EXPRESS)
Contact Persons: Iain Phillips (iccp [at] doc.ic.ac.uk), Roberto Amadio (Roberto.Amadio [at] pps.jussieu.fr) - Structural Operational Semantics (SOS)
Contact Person: Rob van Glabbeek (rvg [at] cs.stanford.edu) - Geometric and Topological Methods in Concurrency (GETCO)
Contact Person: Goubault Eric (Eric.Goubault [at] cea.fr)
Post-Workshops: (Program in pdf)
- German Verification Day (GVD)
Contact Person: Juergen Niehaus (Juergen.Niehaus [at] Informatik.Uni-Oldenburg.DE) - Foundations of Coordination Languages and Software Architectures (FOCLASA)
Contact Person: Carlos Canal (canal [at] lcc.uma.es) - Parallel and Distributed Model Checking (PDMC)
Contact Person: Boudewijn Haverkort (brh [at] cs.utwente.nl) - Security Issues in Coordination Models, Languages, and Systems (SecCo)
Contact Person: Peter Ryan (peter.ryan [at] ncl.ac.uk)
Note: This workshop has been CANCELLED. - Control and Observation of Real-Time Open Systems (CORTOS)
Contact Person: Franck Cassez (franck.cassez [at] irccyn.ec-nantes.fr) - Graph Transformation for Verification and Concurrency (GT-VC)
Contact Person: Arend Rensink (rensink [at] cs.utwente.nl)
- CONCUR 2006, Bonn, Germany -