[TYPES] CONCUR 2005: Call for Participation,
Early Registration Jul 20
CONCUR 2005 Announcements
concur05announce at dvlab.net
Fri Jul 8 11:42:03 EDT 2005
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/
* Early registration deadline: July 20th *
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 affiliated with CONCUR 2005.
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:
Dawson Engler (Stanford University, joint CONCUR/SPIN speaker):
"Static Analysis versus Model Checking for Bug Finding"
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"
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.
http://cm.bell-labs.com/cm/cs/what/spin2005/
* BioCONCUR: Workshop on Concurrent Models in Molecular Biology.
http://dit.unitn.it/~bioinfo/index.php?option=content&task=view&id=37
* DisCoVeri: Distributed Algorithms meet Concurrency Theory.
http://lamp.epfl.ch/~uwe/DisCoVeri/
* EXPRESS: International Workshop on Expressivity in Concurrency.
http://www.win.tue.nl/Express05/
* FIT: Foundations of Interface Technology.
http://fmt.cs.utwente.nl/fit2005
* FOCLASA: International Workshop on Foundations of Coordination
Languages and Software Architectures.
http://foclasa05.lcc.uma.es/
* GETCO: Seventh workshop on Geometric and Topological Methods
in Concurrency.
http://www.math.aau.dk/~uli/getco05/
* GT-VC: Graph Transformation for Verification and Concurrency.
http://trese.cs.utwente.nl/gtvc2005
* INFINITY: International Workshop on Verification of
Infinite-State Systems.
http://www.brics.dk/infinity05/
* MoChArt: Workshop on Model Checking and Artificial Intelligence.
http://mochart05.info.ucl.ac.be/
* SecCo: 3rd International Workshop on Security Issues in Concurrency.
http://www.zurich.ibm.com/~mbc/secco05
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 at soe.ucsc.edu
The CONCUR 2005 web site is mirrored at http://www.dealfaro.com/concur05/
More information about the Types-list
mailing list