Workshops Affiliated with CONCUR 2005

• BioCONCUR: Workshop on Concurrent Models in Molecular Biology.
  Contacts: Bud Mishra <mishra@nyu.edu>, Corrado Priami <priami@dit.unitn.it>
• DisCoVeri: Distributed Algorithms meet Concurrency Theory.
  Contact: Uwe Nestmann <Uwe.Nestmann@epfl.ch>
• EXPRESS: International Workshop on Expressivity in Concurrency.
  Contact: Jos Baeten <josb@win.tue.nl>
• FIT: Foundations of Interface Technology.
  Contacts: Marielle Stoelinga <marielle@ewi.utwente.nl>, Jakob Rehof <rehof@microsoft.com>, Holger Hermanns <hermanns@cs.uni-sb.de>
• FOCLASA: International Workshop on Foundations of Coordination Languages and Software Architectures.
  Contacts: Mirko Viroli <mviroli@deis.unibo.it>, Carlos Canal <canal@lcc.uma.es>
• GETCO: Seventh workshop on Geometric and Topological Methods in Concurrency.
  Contacts: Ulrich Fahrenberg <uli@math.aau.dk>
• GT-VC: Graph Transformation for Verification and Concurrency.
  Contact: Arend Rensink <rensink@cs.utwente.nl>
• INFINITY: International Workshop on Verification of Infinite-State Systems.
  Contacts: Jiri Srba <srba@cs.aau.dk>, Scott Smolka <sas@cs.sunysb.edu>
• MoChArt: Workshop on Model Checking and Artificial Intelligence.
  Contact: Charles Pecheur <pecheur@info.ucl.ac.be>
• SecCo: 3rd International Workshop on Security Issues in Concurrency.
  Contacts: Michael Backes <MBC@zurich.ibm.com>, Andre Scedrov <scedrov@math.upenn.edu>
• SPIN: International SPIN Workshop on Model Checking of Software.
  Contact: Patrice Godefroid <god@bell-labs.com>