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>