• 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 models or classes of systems (such as circuits, synchronous systems, real time and hybrid systems, stochastic systems, data bases, 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).

• Jan-Willem Klop, Free University of Amsterdam, The Netherlands,
• Orna Kupferman, Hebrew University, Israel,
• Edward A. Lee, University of California at Berkeley, USA.

• Uwe Nestmann, Technical University of Berlin, Germany,
• Roberto Segala, University of Verona, Italy.

• Abstract Submission: March 23, 2006,
• Paper Submission: April 3, 2006, (STRICT)
• Notification: May 20, 2006,
• Final version due: June 9, 2006.

• Roberto Amadio, University of Paris 7, France,
• Jos Baeten, Eindhoven University of Technology, the Netherlands,
• Eike Best, University of Oldenburg University, Germany,
• Kim Larsen, Aalborg University, Denmark,
• Ugo Montanari, University of Pisa, Italy,
• Scott Smolka, SUNY Stony Brook, USA.

• Christel Baier, University of Bonn, Germany,
• Holger Hermanns, University of Saarland, Germany,

• Parosh Abdulla, Uppsala University, Sweden,
• Luca Aceto, Reykjavík University, Iceland,
• Luca de Alfaro, University of California, Santa Cruz, USA,
• Roberto Amadio, University of Paris 7, France,
• Jos Baeten, Eindhoven University of Technology, the Netherlands,
• Christel Baier, University of Bonn, Germany,
• Patricia Bouyer, École Normale Supérieure de Cachan, France,
• Franck van Breugel, York University, Canada,
• Kousha Etessami, University of Edinburgh, United Kingdom,
• Wan Fokkink, Free University of Amsterdam, the Netherlands,
• Philippa Gardner, Imperial College London, United Kingdom,
• Rob van Glabbeek, National ICT Australia, Sydney, Australia
• Holger Hermanns, Saarland University, Germany,
• Barbara Koenig, University of Duisburg-Essen, Germany,
• Antonin Kucera, Masaryk University in Brno, Czeck Republic,
• Kim Larsen, Aalborg University, Denmark,
• Gerald Luettgen, University of York, United Kingdom,
• Nancy Lynch, Massachusetts Institute of Technology, USA,
• Massimo Merro, University of Verona, Italy,
• Ugo Montanari, University of Pisa, Italy,
• Anca Muscholl, University of Paris 7, France,
• Catuscia Palamidessi INRIA Futurs Saclay, France,
• Wojciech Penczek, ICS PAS and Podlasie Academy, Poland,
• Corrado Priami, University of Trento, Italy,
• Jean-Francois Raskin, Université Libre de Bruxelles, Belgium,
• Jan Rutten, Centre for Mathematics and Computer Science (CWI), The Netherlands,
• PS Thiagarajan, National University of Singapore, Singapore.

- CONCUR 2006, Bonn, Germany -