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=1.4 required=5.0 tests=SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 54216BBC4 for ; Fri, 6 Mar 2009 10:44:45 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgEEAC9/sEmCiAFmgWdsb2JhbACUfwEBFiLCW4JJAYE+BoZYIQ X-IronPort-AV: E=Sophos;i="4.38,314,1233529200"; d="scan'208";a="25160196" Received: from leb.cs.unibo.it ([130.136.1.102]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 06 Mar 2009 10:44:44 +0100 Received: from ssl.cs.unibo.it (ssl.cs.unibo.it [127.0.0.1]) (Authenticated sender: hidden) by leb.cs.unibo.it (Postfix) with ESMTP id 0661317ECB ; Fri, 6 Mar 2009 10:44:38 +0100 (CET) Message-ID: <49B0F089.7060009@cs.unibo.it> Date: Fri, 06 Mar 2009 10:44:41 +0100 From: Mario Bravetti User-Agent: Thunderbird 2.0.0.19 (Windows/20081209) MIME-Version: 1.0 To: agents@cs.umbc.edu, aiia@di.unito.it, appsem@disi.unige.it, behavior@cs.ucsd.edu, cmcs@cs.indiana.edu, coalgebras@iti.cs.tu-bs.de, comlab@comlab.ox.ac.uk, concurrency@cwi.nl, Concurrency@listserver.tue.nl, csl@dbai.tuwien.ac.at, dbworld@cs.wisc.edu, dipartimento@di.unipi.it, eacsl@dimi.uniud.it, eapls@jiscmail.ac.uk, eatcs-it-l@unifi.it, etalle@cs.utwente.nl, focs@comlab.ox.ac.uk, FMxSOCandBPM@cs.unibo.it, formal-methods@cs.uidaho.edu, generative@rz.tu-ilmenau.de, gragra@i3.informatik.rwth-aachen.de, grin@di.unipi.it, gulp-all@yahoogroups.com, hise-safety-critical@minster.cs.york.ac.uk, ic.eatcs@di.unipi.it, idss@socs.uts.EDU.AU, ifip@ifip.or.at, ifmsig@cs.tcd.ie, lics@informatik.hu-berlin.de, lics@research.att.com, lics@research.bell-labs.com, logic-announce@uclink4.berkeley.edu, logic-list@cs.rice.edu, m4m@science.uva.nl, maude-users@peepal.cs.uiuc.edu, moca-announce@list.it.uu.se, nvti-list@cwi.nl, oose@uni-paderborn.de, petrinet@informatik.uni-hamburg.de, qed@mcs.anl.gov, resist@laas.fr, rewriting@ens-lyon.fr, SAFE-NL@NIC.SURFNET.NL, sensoria-core@di.unipi.it, Sensoria@lists.tcs.ifi.lmu.de, seworld@cs.colorado.edu, stimdi-rek-subscribe@yahoogroups.com, theory-a@listserv.nodak.edu, theory@brics.dk, theory@cl.cam.ac.uk, theory@cs.bham.ac.uk, theorynt@listserv.nodak.edu, tocai@dis.uniroma1.it, types-announce@lists.seas.upenn.edu, formal-methods@cs.uidaho.edu, types-announce@lists.seas.upenn.edu, pvs@csl.sri.com, concurrency@tue.nl, coalgebras@iti.cs.tu-bs.de, lprolog@cs.umn.edu, moca-announce@list.it.uu.se, theorynt@listserv.nodak.edu, papm@inf.ed.ac.uk, categories@mta.ca, caml-list@inria.fr Subject: CONCUR 2009: 2nd Call for Papers References: <48DCACFE.6000908@cs.unibo.it> In-Reply-To: <48DCACFE.6000908@cs.unibo.it> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; unibo:01 unibo:01 milner:01 davide:01 sangiorgi:01 abadi:01 milner:01 semantics:01 logics:01 logics:01 synchronous:01 model:01 run-time:01 synthesis:01 lncs:01 ================================================================ 2nd Call for Papers: CONCUR 2009: 20th International Conference on Concurrency Theory September 1-4, 2009 Bologna, Italy http://concur09.cs.unibo.it ---------------------------------------------------------------- ** NEWS with respect to the 1st CfP ** To celebrate 20 years of International Conference on Concurrency Theory the conference program will include: - an additional invited talk given by Robin Milner - a special session jointly organized by the IFIG Working Groups 1.8 "Concurrency Theory" and 2.2 "Formal Description of Programming Concepts" (contact persons: Jos Baeten and Davide Sangiorgi). Deadlines postponed: -------------------- - Abstract Submission: April 8, 2009 - Paper Submission: April 13, 2009 Electronic submission is now open: ---------------------------------- http://www.easychair.org/conferences/?conf=concur09 ================================================================ CONCUR 09, the 20th International Conference on Concurrency Theory, will take place in Bologna, on September 1-4, 2009. 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. The list of invited speakers at CONCUR 09 currently includes: - Martin Abadi, UCSC and Microsoft Research Silicon Valley, USA - Christel Baier, University of Bonn, Germany - Robin Milner, University of Cambridge, UK - Corrado Priami, University of Trento and CoSBi, Italy Furthermore, there will be the following collocated events: - 7th Int. Conf. on Computational Methods in Systems Biology - 6th Int. Workshop on Web Services and Formal Methods and the following satellite workshops: Express, FMWS, ICE, Infinity, MecBIC, SecCo, SOS, and Young Researchers Worshop. The overall event will take place at the University of Bologna on August 31-September 5, 2009. TOPICS OF INTERESTS: 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, probabilistic and stochastic logics, temporal logics, and resource logics; - MODELS OF SPECIALIZED SYSTEMS such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real time systems, service oriented computing, and synchronous systems; - VERIFICATION AND ANALYSIS TECHNIQUES FOR CONCURRENT SYSTEMS such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, and type systems; - RELATED PROGRAMMING MODELS such as distributed, component-based, object-oriented, and web services. SUBMISSION GUIDELINES: The CONCUR 2009 conference solicits high quality papers reporting research results and/or experience reports related to the topics mentioned above. All papers must be original, unpublished, and not submitted for publication elsewhere. Contributions should be submitted electronically as PDF, using the Springer LNCS style. Papers should not exceed 15 pages in length. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Each paper will undergo a thorough process of review and the conference proceedings will be published by Springer-Verlag in the LNCS series. Proceedings will be made available at the conference. Selected papers will be invited to a special issue of the Information and Computation journal. IMPORTANT DATES: Abstract Submission: April 8, 2009 Paper Submission: April 13, 2009 Notification: May 25, 2009 Final version due: June 12, 2009 PROGRAM COMMITTEE: Luca Aceto, Reykjavik University, Iceland Jos C.M. Baeten, Eindhoven Univ. of Technology, The Netherlands Michele Boreale, University of Florence, Italy Mario Bravetti, University of Bologna, Italy (co-chair) Luis Caires, Universidade Nova de Lisboa, Portugal Philippe Darondeau, INRIA Rennes - Bretagne Atlantique, France Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands Cedric Fournet, Microsoft Research, Cambridge, UK Robert J. van Glabbeek, Kensington Res. Lab., Sydney, Australia Matthew Hennessy, Trinity College Dublin, Ireland Holger Hermanns, Saarland University, Germany Thomas Hildebrandt, IT University of Copenhagen, Denmark Jane Hillston, University of Edinburgh, UK Barbara Koenig, University of Duisburg-Essen, Germany Francois Laroussinie, Universite Paris Diderot-Paris 7, France Ugo Montanari, University of Pisa, Italy Uwe Nestmann, Technische Universitaet Berlin, Germany Manuel Nunez, Universidad Complutense de Madrid , Spain Catuscia Palamidessi, Ecole Polytechnique, Palaiseau, France Joachim Parrow, Uppsala University, Sweden Shaz Qadeer, Microsoft Research, Redmond, USA Julian Rathke, University of Southampton, UK Philippe Schnoebelen, Ecole Normale Superieure de Cachan, France Nobuko Yoshida, Imperial College London, UK Gianluigi Zavattaro, University of Bologna, Italy (co-chair) 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