Workshops
List of collocated workshops:
The workshops are located in the "Halle aux farines" building (see the map in the "conference venue" menu) in the area F at the third floor.
The registration desk will be located in the room 376F.
- Structural Operational Semantics (SOS'10), room 379F;
- Expressiveness in Concurrency (EXPRESS'10), room 378F;
- Security in Concurrency (SecCo'10), room 380F;
- Foundations of Interface Technologies (FIT'10), room 381F.
Saturday September 4th:
- GASICS Workshop on Games for Design, Verification and Synthesis, room 381F;
- Foundations of Coordination Languages and Software Architectures (FOCLASA'10), room 379F;
- International Workshop on Distributed Open Timed Systems (DOTS'10), room 380F;
- Young Researchers Workshop on Concurrency Theory (YR-CONCUR), room 378F.