Logic List Mailing Archive

CONCUR'06 ("Concurrency Theory"), Bonn (Germany), August 2006

CALL FOR PAPERS
                              CONCUR'06
          17th International Conference on Concurrency Theory                      
                       August 27th - 30th, 2006
                           Bonn, Germany

                 http://depend.cs.uni-sb.de/concur06


CONCUR 2006, the  17th International Conference on Concurrency Theory,
will take place in Bonn, Germany, August 27 - 30, 2006. The purpose of
the CONCUR conferences is to bring together researchers working on the
theory of concurrency and its applications.

Submissions  are  solicited in  all  areas  of  semantics, logics, and
verification techniques  for  concurrent systems. The principal 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 models or classes of systems (such as circuits, synchro-
  nous 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 ex-
  ploration,  model-checking,  synthesis,  abstraction,  automated de-
  duction, testing).

* Related programming models  (such as distributed, constraints or ob-
  ject oriented,  graph rewriting, as well as associated type systems, 
  static analyses, abstract machines, and environments).

Authors  are  invited to submit an extended abstract; submissions will 
be  evaluated  by  the  program  committee  for  inclusion in the pro-
ceedings,  which  will be published by Springer-Verlag  in the Lecture 
Notes  in  Computer Science series. Papers must  contain original con-
tributions, be clearly  written, and  include appropriate reference to 
and comparison with related work. Simultaneous  submission to journals 
or other conferences with published proceedings is not allowed.

Authors are required to submit a paper title  and a short abstract be-
fore submitting  the extended abstract. The short abstract  should not
exceed 200 words, and it should be entered  in ASCII at the conference
web site.  The extended abstract  should not  exceed 15 pages,  and it
should be  formatted according  to Springer-Verlag LNCS guidelines. If
necessary, the  extended abstract  may be  supplemented with a clearly
marked appendix,  which will be reviewed at the discretion of the pro-
gram committee. The link for submission will be  available at the web-
site: http://depend.cs.uni-sb.de/concur06

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

Invited Tutorials by
====================
* Uwe Nestmann, Technical University of Berlin, Germany
* Roberto Segala, University of Verona, Italy

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

Affiliated Workshops
====================
Eleven workshops will be affiliated with CONCUR 2006: 
FMICS, INFINITY, EXPRESS, SOS, GETCO, GVD, 
FOCLASA, PDMC, SecCo, CORTOS, GT-VC.

CONCUR Steering Committee
=========================
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 di Pisa, Italy,
Scott Smolka,   SUNY Stony Brook, USA.

Program Committee Chairs
========================
Christel Baier,  University of Bonn, Germany,
Holger Hermanns, University of Saarland, Germany

Program Committee
=================
Parosh Abdulla        Uppsala University, Sweden
Luca Aceto            Reykjavik 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 Nether-
                      lands
Christel Baier        University of Bonn, Germany
Patricia Bouyer       Ecole Normale Superieure 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      The University of New South Wales, Australia
Holger Hermanns       University of Saarland, Germany
Barbara Koenig        University of Stuttgart, 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
Woijtek Penczek       University of Podlasie, Poland
Corrado Priami        University of Trento, Italy
Jean-Francois Raskin  Universite Libre de Bruxelles, Belgium
Jan Rutten            CWI, The Netherlands
PS Thiagarajan        National University of Singapore, Singapore