[TYPES/announce] CONCUR 08: call for papers

[CONCUR 08]

-------------------------------------------------------------------
                          Call for Papers

  19th International Conference on Concurrency Theory (CONCUR 08)

              Toronto, Canada, August 19-22, 2008

             >> http://www.cse.yorku.ca/concur08 <<
              Submission deadline: April 11, 2008
-------------------------------------------------------------------

CONCUR 08, the 19th International Conference on Concurrency Theory, 
will take place in Toronto, Canada, on August 19-22, 2008.  The 
purpose of the CONCUR 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).

CONCUR 08 will be collocated with the 27th Annual ACM SIGACT-SIGOPS 
Symposium on the Principles of Distributed Computing (PODC 2008). 
Furthermore, there will be a symposium celebrating the contributions 
of Nancy Lynch and a number of workshops on topics related to CONCUR 
and PODC.  The overall event will take place at the University of 
Toronto on August 17-24, 2008.

CONCUR 08 welcomes two categories of papers:
- regular papers;
- tool papers.

Submissions are solicited in all areas of semantics, logics, 
verification and analysis of concurrent systems.  The principal 
topics include (but are not limited to):
- basic models of concurrency (such as abstract machines, domain
  theoretic models, game theoretic models, process algebras, and 
  Petri nets);
- logics for concurrency (such as modal logics, temporal logics and
  resource logics);
- models of specialized systems (such as biology-inspired systems,
  circuits, hybrid systems, mobile systems, multi-core processors,
  probabilistic systems, real time systems, synchronous systems, and 
  web services);
- verification and analysis techniques for concurrent systems (such 
  as abstract interpretation, atomicity checking, model-checking, 
  race detection, run-time verification, state-space exploration, 
  static analysis, synthesis, testing, theorem proving and type
  systems);
- related programming models (such as distributed or object-oriented).

Submissions will be evaluated by the program committee for inclusion 
in the proceedings, which will be published by Springer-Verlag in 
the Lecture Notes in Computer Science series.  Papers must be in 
English and should be formatted according to the Springer-Verlag 
LNCS guidelines.  Simultaneous submission to journals or other 
conferences with published proceedings is not allowed.  Both regular 
and tool papers will be presented at the conference, and so at least 
one author of each accepted paper is expected to be present at the 
conference.  The link for submissions is

     http://www.easychair.org/conferences/?conf=CONCUR08

Regular papers
--------------
Authors are invited to submit an extended abstract.  Regular papers 
must contain original contributions, be clearly written, and include 
appropriate reference to and comparison with related work.  Authors 
are encouraged to submit a paper title and a short abstract before 
submitting the extended abstract.  The short abstract should not 
exceed 200 words, and it should be entered in ASCII at the link given 
below. The extended abstract should not exceed 15 pages.  If necessary, 
the extended abstract may be supplemented with a clearly marked 
appendix, which will be reviewed at the discretion of the program 
committee.  

Tool papers
-----------
Tool papers should present novel tools based on aforementioned 
technologies (such as abstract interpretation, atomicity checking, 
model-checking, race detection, run-time verification, state-space 
exploration, static analysis, synthesis, testing, theorem proving 
and type systems) or fall into the above application areas (such as 
biology-inspired systems, circuits, hybrid systems, mobile systems, 
multi-core processors,probabilistic systems, real time systems, 
synchronous systems, and web services) and have an explicit emphasis 
on handling of concurrency.  If previous versions of the tool have 
already been presented at meetings or published in some form, the 
enhancements and novel features of the tool should be clearly described.  
A tool paper should not exceed 4 pages and should have an appendix 
that provides a detailed description of:
- how the oral presentation will be conducted (for example illustrated
  by a number of snapshots) and
- the availability of the tool, the number and types of users, and 
  other information which may illustrate the maturity and robustness 
  of the tool (if applicable, a link to a web-page for the tool).
The appendix will not be included in the proceedings, but during the 
evaluation of the tool papers it will be equally important as the 
pages submitted for publication in the proceedings.

Important dates
---------------
Abstract Submission: April 4, 2008
Paper Submission: April 11, 2008 (strict)
Notification: May 27, 2008
Final version due: June 17, 2008

Program committee
-----------------
Luca de Alfaro, University of California, Santa Cruz, USA
Pedro R. D'Argenio, Universidad Nacional de Cordoba, Argentina
Jos Baeten, Eindhoven University of Technology, the Netherlands
Christel Baier, Technical University Dresden, Germany
Eike Best, Carl von Ossietzky Universitaet Oldenburg, Germany
Dirk Beyer, Simon Fraser University, Canada
Patricia Bouyer, LSV, CNRS & ENS Cachan, France
Mario Bravetti, University of Bologna, Italy
Franck van Breugel (co-chair), York University, Canada
Ilaria Castellani, INRIA Sophia Antipolis, France
Marsha Chechik (co-chair), University of Toronto, Canada
Wan Fokkink, Vrije Universiteit Amsterdam/CWI, the Netherlands
Rob van Glabbeek, National ICT Australia
Arie Gurfinkel, Carnegie Mellon University, USA
Anna Ingolfsdottir, Reykjavik University, Iceland
Radha Jagadeesan, DePaul University, USA
Barbara Koenig, University of Duisburg-Essen, Germany
Marta Kwiatkowska, University of Oxford, UK
Orna Kupferman, Hebrew University, Israel
Kim Larsen, Aalborg University, Denmark
Nancy Lynch, MIT, USA
P. Madhusudan, UIUC, USA
Ugo Montanari, University of Pisa, Italy
Anca Muscholl, Universite Bordeaux, France
Catuscia Palamidessi, INRIA Futurs and LIX, France
Corina Pasareanu, Perot Systems/NASA Ames Research Center, USA
Scott Smolka, SUNY at Stony Brook, USA
Nobuko Yoshida, Imperial College London, UK

Steering Committee
------------------
Roberto Amadio, Universite Paris Diderot, France
Jos Baeten, Eindhoven University of Technology, the Netherlands
Eike Best, Carl von Ossietzky Universitaet Oldenburg, Germany
Kim Larsen, Aalborg University, Denmark
Scott Smolka, SUNY at Stony Brook, USA
Ugo Montanari, University of Pisa, Italy