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=3.4 required=5.0 tests=DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 71D13BB84 for ; Tue, 29 Jul 2008 08:12:39 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsEAFNRjkjAXQIm/2dsb2JhbACLIKM4 X-IronPort-AV: E=Sophos;i="4.31,270,1215381600"; d="scan'208";a="15545713" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 29 Jul 2008 08:12:38 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m6T6CcMa007792 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 29 Jul 2008 08:12:38 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhwAAFNRjkiDa3PUmmdsb2JhbACLIIc3AQEBAQEIBQgHEQabSQ X-IronPort-AV: E=Sophos;i="4.31,270,1215381600"; d="scan'208";a="15598477" Received: from smtp.microsoft.com ([131.107.115.212]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 29 Jul 2008 08:12:37 +0200 Received: from tk5-exhub-c104.redmond.corp.microsoft.com (157.54.88.97) by TK5-EXGWY-E801.partners.extranet.microsoft.com (10.251.56.50) with Microsoft SMTP Server (TLS) id 8.1.251.2; Mon, 28 Jul 2008 23:12:34 -0700 Received: from NA-EXMSG-C111.redmond.corp.microsoft.com ([157.54.61.138]) by tk5-exhub-c104.redmond.corp.microsoft.com ([157.54.88.97]) with mapi; Mon, 28 Jul 2008 23:12:34 -0700 From: Thomas Moscibroda To: "formal-methods@cs.uidaho.edu" , "types-announce@lists.seas.upenn.edu" , "pvs@csl.sri.com" , "haskell@haskell.org" , "concurrency@tue.nl" , "ecoop-info@ecoop.org" , "coalgebras@iti.cs.tu-bs.de" , "lprolog@cs.umn.edu" , "list@prooftheory.org" , "moca-announce@list.it.uu.se" , "theorynt@listserv.nodak.edu" , "papm@inf.ed.ac.uk" , "categories@mta.ca" , "caml-list@inria.fr" , "seworld@cs.colorado.edu" , "eapls@jiscmail.ac.uk" , "lics@informatik.hu-berlin.de" , "tccc@cs.columbia.edu" , "ieee-tcrts@cs.bu.edu" , "MOBICOM@LISTSERV.ACM.ORG" , "PODC@LISTSERV.ACM.ORG" , "dmanet@zpr.uni-koeln.de" , "trans-memory@cs.wisc.edu" Cc: Thomas Moscibroda , "pkouznet@mpi-sws.mpg.de" Date: Mon, 28 Jul 2008 23:10:22 -0700 Subject: PODC & CONCUR 2008: 2nd Call for Participation Thread-Topic: PODC & CONCUR 2008: 2nd Call for Participation Thread-Index: AQHI8UFtYTet9Q3q0kqzepOTXwUp145QoQ4Y Message-ID: <5177B2A348E4B64EAD7D589A027892D95D7845021E@NA-EXMSG-C111.redmond.corp.microsoft.com> References: <5177B2A348E4B64EAD7D589A027892D95D7845021B@NA-EXMSG-C111.redmond.corp.microsoft.com> In-Reply-To: <5177B2A348E4B64EAD7D589A027892D95D7845021B@NA-EXMSG-C111.redmond.corp.microsoft.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Miltered: at discorde with ID 488EB4D6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 23,:98 welch:98 yale:01 cornell:01 epfl:02 talks:03 concurrency:04 concurrency:04 workshops:05 workshops:05 deadline:05 distributed:05 distributed:05 computing:05 computing:05 Important Notes -------------- - Workshop registration is now open - Early registration ends on August 1 CALL FOR PARTICIPATION CONCUR & PODC 2008 Toronto, Canada August 17-23, 2008 27th Annual ACM Symposium on 19th International Principles of Distributed & Conference on Concurrency Computing (PODC) Theory (CONCUR) www.podc.org/podc2008 www.cse.yorku.ca/concur08 Special Events -------------- - Nancy Lynch Celebration: Sixty and Beyond - Presentation of 2008 Dijkstra Prize Invited Talks ------------- Hagit Attiya Technion Tevfik Bultan University of California, Santa Barbara Peter Druschel Max Planck Institute for Software Systems Michael Fischer Yale University Seth Gilbert EPFL Joseph Halpern Cornell University Maurice Herlihy Brown University Prakash Panangaden McGill University Shaz Qadeer Microsoft Research Roberto Segala University of Verona Don Towsley University of Massachusetts Amherst Jennifer Welch Texas A&M University Workshops --------- - Workshop on Approximate Behavioural Equivalences (ABE 08) - Workshop on Concurrency in Enterprise Systems (COINES 08) - 5th International Workshop on Foundations of Mobile Computing (DIALM-POMC 2008) - Workshop on Distributed computing, Concurrency theory, and Verification (DisCoVeri 2) - 15th International Workshop on Expressiveness in Concurrency (EXPRESS'08) - Workshop on Formal Methods for Wireless Systems (FMWS 2008) - 10th International Workshop on Verification of Infinite-State Systems (INFINITY 2008) - 6th International Workshop on Security Issues in Concurrency (SecCo 08) - Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2008) Registration and Accomodation ----------------------------- Local information, accommodation information and a link to the registration website can be found at the CONCUR and PODC websites. Note that some of the hotel reservation deadlines are as early as July 17. The early registration deadline for PODC and CONCUR is August 1. Workshops will have separate registration, available later.