From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 0CD8DBBC1 for ; Sun, 23 Mar 2008 22:05:10 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAJ5i5kfAXQIn/2dsb2JhbACmCw X-IronPort-AV: E=Sophos;i="4.25,544,1199660400"; d="scan'208";a="24107306" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Mar 2008 22:05:09 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m2NL56Fl011360 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 23 Mar 2008 22:05:09 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAJ5i5keCP1oi/2dsb2JhbACmCw X-IronPort-AV: E=Sophos;i="4.25,544,1199660400"; d="scan'208";a="9866835" Received: from bronze.cs.yorku.ca ([130.63.90.34]) by mail1-smtp-roc.national.inria.fr with ESMTP; 23 Mar 2008 22:05:06 +0100 Received: from [130.63.92.157] (helo=indigo.cse.yorku.ca) by bronze.cs.yorku.ca with esmtps (TLSv1:AES256-SHA:256) (Exim 4.67) (envelope-from ) id 1JdXNI-0000Eq-1e for caml-list@inria.fr; Sun, 23 Mar 2008 17:05:04 -0400 Received: (from franck@localhost) by indigo.cse.yorku.ca (8.13.1/8.13.1/Submit) id m2NL50Pb011890; Sun, 23 Mar 2008 17:05:00 -0400 Date: Sun, 23 Mar 2008 17:05:00 -0400 Message-Id: <200803232105.m2NL50Pb011890@indigo.cse.yorku.ca> To: caml-list@inria.fr From: CONCUR 08 Subject: CONCUR 08: second call for papers X-Miltered: at concorde with ID 47E6C602.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; semantics:01 logics:01 logics:01 synchronous:01 run-time:01 synthesis:01 lncs:01 run-time:01 synthesis:01 synchronous:01 web-page:01 eindhoven:01 beyer:01 bouyer:01 ilaria:01 ------------------------------------------------------------------- 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.