• Home
• Call for Papers
• Important Dates
• Committees
• Submission
• Programme
• Satellite Events
• Related Events
• Venue
• Registration
• Past Conferences
• Contact us

Satellite Events

Monday, August 31st

• Interaction and Concurrency Experience (ICE'09).
  Contact person: Emilio Tuosto
• Verification of Infinite-State Systems (INFINITY'09).
  Contact person: Axel Legay
• Structural Operational Semantics (SOS'09).
  Contact person: Bartek Klin

Saturday, September 5th

• Expressiveness in Concurrency (EXPRESS'09).
  Contact person: Daniele Gorla
• Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'09).
  Contact person: Gabriel Ciobanu
• Security in Concurrency (SecCo'09).
  Contact person: Michele Boreale
• Young Researchers Workshop (YR-CONCUR'09)
  Contact person: Joost-Pieter Katoen