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=AWL,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 2C40BBC37 for ; Fri, 12 Jun 2009 17:21:57 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkgDAIUPMkqCiAFmgWdsb2JhbACYQwEBFiS5LYJBgUoFiFo X-IronPort-AV: E=Sophos;i="4.42,210,1243807200"; d="scan'208";a="31119595" Received: from leb.cs.unibo.it ([130.136.1.102]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 12 Jun 2009 17:21:56 +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 8B644A1F80 ; Fri, 12 Jun 2009 17:21:51 +0200 (CEST) Message-ID: <4A327292.7020508@cs.unibo.it> Date: Fri, 12 Jun 2009 17:21:54 +0200 From: Mario Bravetti User-Agent: Thunderbird 2.0.0.21 (Windows/20090302) 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: 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 unibo:01 abadi:01 milner:01 colocated:01 2009:98 2009:98 celebrate:98 int:01 int:01 organized:02 groups:02 talks:03 cambridge:03 programming:03 ================================================================ CALL FOR PARTICIPATION: CONCUR 2009: 20th International Conference on Concurrency Theory September 1-4, 2009 Bologna, Italy http://concur09.cs.unibo.it ---------------------------------------------------------------- ** EARLY REGISTRATION IS OPEN 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 programme includes also invited talks given by: - 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 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.