Concur 2007

Workshops

A list of restaurants around the FCSH can be downloaded here. Please remember that lunch is NOT included in the registration fee so it may be useful to have the map with you at lunch time.

These workshops will take place on the 3rd, 7th, and 8th of September 2007.

Workshops on September 3rd and 8th are held at the Faculty of Social and Human Sciences, Universidade Nova de Lisboa, 5 minutes walking from the Gulbenkian Foundation. (see map)

• Monday — 3rd September 2007 ^ top

  • Expressiveness in Concurrency (EXPRESS)

    Organizers: Roberto Amadio and Thomas Hildebrandt

    3rd September 2007

    http://express07.pps.jussieu.fr/

  • Graph Transformation for Verification and Concurrency (GT-VC)

    Organizers: Barbara König, Reiko Heckel, and Arend Rensink

    3rd September 2007

    http://www.ti.inf.uni-due.de/events/gtvc2007/

  • Security Issues in Concurrency (SECCO)

    Organizers: Daniele Gorla and Catuscia Palamidessi

    3rd September 2007

    http://www.dsi.uniroma1.it/~gorla/SecCo07/

  • Verification and Analysis of Multi-threaded Java-like Programs (VAMP)

    Organizers: Christian Haack, Joe Kiniry, Marieke Huisman, and Erik Poll

    3rd September 2007

    http://www.cs.ru.nl/~chaack/VAMP07/

• Friday — 7th September 2007 ^ top

  • Applying Concurrency Research in Industry (IFIP WG 1.8)

    Organizers: Luca Aceto, Jos Baeten, Wan Fokkink, Anna Ingolfsdottir, and Uwe Nestmann

    7th September 2007

    http://www.ru.is/luca/ifipworkshop/

• Saturday — 8th September 2007 ^ top

  • Foundations of Coordination Languages and Software Architectures (FOCLASA)

    Organizers: Carlos Canal, Pascal Poizat, and Mirko Viroli

    8th September 2007

    http://foclasa07.lcc.uma.es/

  • From Biology To Concurrency and back (FBTC)

    Organizers: Emanuela Merelli and Nicola Cannata

    8th September 2007

    http://cosy.cs.unicam.it/FBTC/

  • International Workshop on Verification of Infinite-State Systems (INFINITY)

    Organizers: P. Madhusudan and Vineet Kahlon

    8th September 2007

    http://www.cs.uiuc.edu/infinity07/

---