Home

• Important Dates
• Programme Overview
• Programme (with Slides of Some Presentations)
• Videos of Presentations
• Registration
• Accommodation
• Submissions and Proceedings
• Invited Speakers
• Program Committee
• Steering Committee
• Organising Committee
• Location and Travel Information
• List of participants
• Photos
• Sponsors

Workshops

• CALCO-jnr
• CALCO-tools
• Symposium in honor of Peter Mosses

Meetings

• Steering committee meeting

Related Events

• 20th International Conference on Concurrency Theory (CONCUR 2009), September 1--4, 2009, Bologna, Italy
• Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES 2009), September 14--17, 2009, Udine, Italy