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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id E7AA9BC37 for ; Thu, 16 Jul 2009 11:17:06 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAK+MXkqCiAFm/2dsb2JhbADRPII6gVEFgUCIAg X-IronPort-AV: E=Sophos;i="4.42,410,1243807200"; d="scan'208";a="43499276" Received: from leb.cs.unibo.it ([130.136.1.102]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 16 Jul 2009 11:17:05 +0200 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 7C3C3355B9 ; Thu, 16 Jul 2009 11:15:54 +0200 (CEST) Message-ID: <4A5EEFC9.8080609@cs.unibo.it> Date: Thu, 16 Jul 2009 11:15:53 +0200 From: Mario Bravetti User-Agent: Thunderbird 2.0.0.22 (Windows/20090605) 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, list@prooftheory.org Subject: CONCUR 2009: Second Call for Participation 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 colocated:01 unibo:01 abadi:01 milner:01 davide:01 sangiorgi:01 colocated:01 milner:01 davide:01 sangiorgi:01 doron:01 cardelli:01 foscari:01 2009:98 ================================================================ CALL FOR PARTICIPATION: CONCUR 2009: 20th International Conference on Concurrency Theory and colocated events/satellite workshops August 31 - September 5, 2009 Bologna, Italy http://concur09.cs.unibo.it ---------------------------------------------------------------- ** EARLY REGISTRATION IS OPEN UNTIL JULY 31 ** ** SPECIAL ROOM RATES FOR HOTELS CLOSE TO CONFERENCE VENUE GUARANTEED UNTIL JULY 31 ** ---------------------------------------------------------------- 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. To celebrate 20 years of International Conference on Concurrency Theory the conference program will include a special session jointly organized by the IFIG Working Groups 1.8 "Concurrency Theory" and 2.2 "Formal Description of Programming Concepts". The CONCUR 09 invited talks will be given by: - Martin Abadi, UCSC and Microsoft Research Silicon Valley, USA - Christel Baier, Technical University of Dresden, Germany - Robin Milner, University of Cambridge, UK (joint with WS-FM) - Corrado Priami, Univ. of Trento/CoSBi, Italy (joint with CMSB) The 20 years of CONCUR session will include invited talks by: - Robert van Glabbeek, Kensington Res. Lab., Australia - Bill Roscoe, University of Oxford, UK - Davide Sangiorgi, University of Bologna, Italy Furthermore, there will be the following colocated 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, ICE, Infinity, MecBIC, SecCo, SOS, and Young Researchers Worshop. The invited speakers of the colocated events are: CMSB - Rita Casadio, University of Bologna, Italy - John K. Heath, University of Birmingham, UK - Corrado Priami, Univ. of Trento/CoSBi, Italy WS-FM - Maurizio Lenzerini, University Sapienza of Rome, IT - Robin Milner, University of Cambridge, UK The invited speakers of the satellite workshops are: Express - Samson Abramsky, University of Oxford, UK - Davide Sangiorgi, University of Bologna, Italy ICE - Farhad Arbab, CWI, The Netherlands - Doron Peled, Bar Ilan University, Israel Infinity - Byron Cook, Microsoft Research, UK - Martin Leucker, Technical Univ. Munich, Germany MecBIC - Luca Cardelli, Microsoft Research, Cambridge, UK SecCo - Riccardo Focardi, University Ca' Foscari, Italy SOS - Robert van Glabbeek, Kensington Res. Lab., Australia - Paul Blain Levy, University of Birmingham, UK