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.0 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE 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 26CA1BBAF for ; Thu, 23 Oct 2008 15:18:06 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtICAK4WAEnAXQIngWdsb2JhbACTcAEBFiKsXoNO X-IronPort-AV: E=Sophos;i="4.33,470,1220220000"; d="scan'208";a="18419737" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Oct 2008 15:18:05 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9NDI0vD019429 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 23 Oct 2008 15:18:05 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtMBAK4WAEmGnQCBgWdsb2JhbACTcAEBCwsIBxGsYINO X-IronPort-AV: E=Sophos;i="4.33,470,1220220000"; d="scan'208";a="16401632" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 23 Oct 2008 15:18:05 +0200 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.3/jtpda-5.4) with ESMTP id m9NDI4lW060205 for ; Thu, 23 Oct 2008 15:18:04 +0200 (CEST) X-Ids: 168 Received: from vanadium.pps.jussieu.fr (mail@vanadium.pps.jussieu.fr [134.157.168.23]) by hydrogene.pps.jussieu.fr (8.13.4/jtpda-5.4) with SMTP id m9NDI3wm012113 for ; Thu, 23 Oct 2008 15:18:03 +0200 From: Ralf.Treinen@pps.jussieu.fr (Ralf Treinen) Received: (nullmailer pid 17596 invoked by uid 2072); Thu, 23 Oct 2008 13:18:03 -0000 Subject: RDP'09: 2nd Call for Workshop Proposals To: X-Mailer: mail (GNU Mailutils 1.2) Date: Thu, 23 Oct 2008 15:18:03 +0200 Message-Id: <1224767883.007541.17595.nullmailer@vanadium.pps.jussieu.fr> X-Virus-Scanned: ClamAV 0.93.3/8472/Thu Oct 23 11:53:25 2008 on shiva.jussieu.fr X-Virus-Status: Clean X-Miltered: at concorde with ID 49007988.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Miltered: at jchkmail.jussieu.fr with ID 4900798C.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4900798C.001/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-j-chkmail-Score: MSGID : 4900798C.001 on jchkmail.jussieu.fr : j-chkmail score : . : R=. U=. O=. B=0.014 -> S=0.014 X-j-chkmail-Status: Ham X-Spam: no; 0.00; ralf:01 ralf:01 rewriting:01 rewriting:01 lambda:01 rdp:01 aachen:01 rdp:01 pointers:01 pierre-louis:01 curien:01 mimuw:01 2009:98 valencia:98 10.:98 Federated Conference on Rewriting, Deduction, and Programming RDP'09 28/6/2009 - 3/7/2009, Brasilia, Brazil Second Call For Workshop Proposals RDP'09 is a federated event comprising two major conferences: - The 20th International Conference on Rewriting Techniques and Applications (RTA'09) - The 9th International Conference on Typed Lambda Calculi and Applications (TLCA'09) In addition, the 4th International School on Rewriting (ISR'09) will take place the week before RDP. Previous RDPs were held in 2003 in Valencia (Spain), 2004 in Aachen (Germany), 2005 in Nara (Japan), and 2007 in Paris (France). RDP has a tradition of federating every two years RTA and TLCA, and of hosting related workshops. We solicit proposals for satellite workshops of RDP'09 that are related in topics to one or both of the RDP conferences. Workshops should have a length of 1 or 2 days (possibilities for longer workshops should be discussed with the organizers). It is tradition at RDP that attendance to workshops is open to participants of parallel events, similar to the way FLoC workshops are run. There will be one day (Sunday, June 28) reserved for workshops, however, it will also be possible to run workshops on the other days in parallel to one of the main conferences. RDP will provide the possibility to print workshop proceedings, details of the procedure will be posted later by the local organizing committee. RDP will not be able to reimburse invited workshop speakers for travel or living expenses, though it may be possible to waive part of the registration fees for invited speakers. The priority of RDP will be to keep registration fees for the conferences and workshops low. Please submit your workshop proposal by email to rdp09workshop-proposal@sympa.pps.jussieu.fr Proposals should be written in plain text. The proposal should cover the following topics: 1. Name of workshop 2. A statement of the topics and goals of the workshop 3. Names and addresses of the organizers 4. Pointers to descriptions of previous editions of the workshop, if any 5. A description of the submission selection process 6. Plans for the publication of proceedings (informal proceedings distributed to participants, electronic journal, proceedings with separate selection process, ...) 7. Plans for invited speakers or special sessions (round-table discussion, tutorials, ...) 8. Expected length of the workshop 9. Expected number of attendees 10. Any special needs (for system demonstrations ...) The Workshop Selection Committee consists of Mauricio Ayala Rincon (RDP'09 general chair), Pierre-Louis Curien (TLCA'09 program chair), and Ralf Treinen (RTA'09 program chair). ----------------------------------------- |Nov 17, 2008|deadline for proposals | ----------------------------------------- |Nov 28, 2008|notification of acceptance| ----------------------------------------- Prospective workshop organizers are welcome to contact the workshop selection committee in advance before sending in a formal submission and to discuss any questions. RDP'07 http://www.lsv.ens-cachan.fr/rdp07/index.html RDP'05 http://www.kurims.kyoto-u.ac.jp/rdp05/ RDP'03 http://www.dsic.upv.es/~rdp03/ RTA http://rewriting.loria.fr/rta/ TLCA http://www.mimuw.edu.pl/tlca/