Call for Participation CONCUR 2005 16th International Conference on Concurrency Theory San Francisco, CA, USA, August 23-26, 2005 http://www.soe.ucsc.edu/concur05/ CONCUR 2005, the 16th International Conference on Concurrency Theory, will take place in San Francisco, California, on August 23-26, 2005. Eleven workshops will be held in affiliation with CONCUR 2005. IMPORTANT: The early registration deadline is July 20th. The purpose of the CONCUR series of conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications (in a broad sense). Topics include (but are not limited to): * Basic models and logics of concurrent and distributed computation (such as process algebras, Petri nets, domain-theoretic or game-theoretic models, modal and temporal logics). * Specialized or enriched models (such as circuits, synchronous systems, real-time and hybrid systems, stochastic systems, databases, mobile and migrating systems, parametric protocols, security protocols). * Related verification techniques and tools (such as state-space exploration, model-checking, synthesis, abstraction, automated deduction, testing). * Related programming models (such as distributed, constraints or object-oriented, graph rewriting, as well as associated type systems, static analyses, abstract machines, and environments). CONCUR 2005 features four invited talks: Rajeev Alur (UPenn, joint CONCUR/SPIN speaker): "The benefits of exposing calls and returns" Luca Cardelli (Microsoft Research, Cambridge): "A Compositional Approach to the Stochastic Dynamics of Gene Networks" Christos Papadimitriou (UC Berkeley): "Games Other People Play" Dawson Engler (Stanford University, joint CONCUR/SPIN speaker): Title to be announced. In addition to these invited talks, 38 papers have been selected for presentation at CONCUR 2005; the preliminary program is available at the conference web site (http://www.soe.ucsc.edu/concur05/). Eleven workshops will be affiliated with CONCUR 2005: * SPIN: International SPIN Workshop on Model Checking of Software. Contact: Patrice Godefroid <god@bell-labs.com> * 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> CONCUR 2005 Conference Chair: Luca de Alfaro (UC Santa Cruz) CONCUR 2005 Program Committee: Martín Abadi (co-chair) UC Santa Cruz Christel Baier Universität Bonn Jos Baeten Eindhoven University of Technology Albert Benveniste IRISA/INRIA Luis Caires Universidade Nova de Lisboa Giuseppe Castagna CNRS/École Normale Supérieure Marsha Chechik University of Toronto Vincent Danos CNRS/Université Paris VII Luca de Alfaro (co-chair) University of California, Santa Cruz Javier Esparza University of Stuttgart Cédric Fournet Microsoft Research, Cambridge Dimitra Giannakopoulou NASA Ames Research Center Anna Ingólfsdóttir Aalborg University Radha Jagadeesan DePaul University Bengt Jonsson Uppsala University Antonin Kucera Masaryk University Orna Kupferman Hebrew University Cosimo Laneve Università di Bologna Kim Larsen Aalborg University John Mitchell Stanford University Ugo Montanari Università di Pisa Catuscia Palamidessi INRIA Futurs & LIX Prakash Panangaden McGill University Shaz Qadeer Microsoft Research, Redmond Vijay Saraswat IBM TJ Watson Research Lab Vladimiro Sassone University of Sussex Philippe Schnoebelen CNRS/École Normale Supérieure de Cachan Frits Vaandrager Radboud University Nijmegen Mahesh Viswanathan University of Illinois at Urbana Champaign Igor Walukiewicz Université Bordeaux Glynn Winskel University of Cambridge CONCUR Steering Committee: Roberto Amadio University of Provence Jos Baeten Eindhoven University of Technology Eike Best Oldenburg University Kim Larsen Aalborg University Ugo Montanari Università di Pisa Scott Smolka SUNY Stony Brook ---------------- CONCUR 2005 - concur05@soe.ucsc.edu 10-Jun-2005 11:54:26 -0300,3208;000000000000-0000000b