Version française
Home     About     Download     Resources     Contact us    
Browse thread
CONCUR 08: second call for papers
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: CONCUR 08 <concur08@c...>
Subject: CONCUR 08: second call for papers
-------------------------------------------------------------------
                          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). 
The program of CONCUR and PODC includes invited talks by
  Tevfik Bultan, University of California, Santa Barbara, USA
  Peter Druschel, Max Planck Institute for Software Systems, Saarbruecken, Germany
  Joseph Halpern, Cornell University, Ithaca, USA
  Prakash Panangaden, McGill University, Montreal, Canada
  Shaz Qadeer, Microsoft Research, Redmond, USA
  Don Towsley, University of Massachusetts, Amherst, USA

Furthermore, there will be a symposium celebrating the contributions 
of Nancy Lynch and the following nine workshops:
  Workshop on Approximate Behavioural Equivalences;
  Workshop on Concurrency in Enterprise Applications;
  Workshop on Distributed computing, Concurrency theory, and Verification;
  15th International Workshop on Expressiveness in Concurrency;
  International Workshop on Foundations of Mobile Computing
  Workshop on Formal Methods for Wireless Systems;
  10th International Workshop on Verification of Infinite-State Systems;
  6th International Workshop on Security Issues in Concurrency;
  Young Researchers Workshop

The overall event will take place at the University of Toronto on 
August 18-23, 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
Ugo Montanari, University of Pisa, Italy
Scott Smolka, SUNY at Stony Brook, USA

Sponsors
--------
IBM; Microsoft; SAP; Department of Computer Science, University of Toronto;
Department of Computer Science and Engineering, York University.