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=0.9 required=5.0 tests=AWL,SPF_SOFTFAIL, UNPARSEABLE_RELAY autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 7F061BBC4 for ; Mon, 27 Apr 2009 22:37:52 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuQCAFS09UmWHfaFlWdsb2JhbACWZAEBAQEJCwgJD0W2S4N0BQ X-IronPort-AV: E=Sophos;i="4.40,256,1238968800"; d="scan'208";a="25255818" Received: from mx1.aist.go.jp ([150.29.246.133]) by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Apr 2009 22:37:51 +0200 Received: from rqsmtp1.aist.go.jp (rqsmtp1.aist.go.jp [150.29.254.115]) by mx1.aist.go.jp with ESMTP id n3RKblbk005705 for ; Tue, 28 Apr 2009 05:37:47 +0900 (JST) env-from (ohsaki@ni.aist.go.jp) Received: from smtp3.aist.go.jp by rqsmtp1.aist.go.jp with ESMTP id n3RKbl2U003443 for ; Tue, 28 Apr 2009 05:37:47 +0900 (JST) env-from (ohsaki@ni.aist.go.jp) Received: by smtp3.aist.go.jp with SMTP id n3RKbkp4010733 for ; Tue, 28 Apr 2009 05:37:46 +0900 (JST) env-from (ohsaki@ni.aist.go.jp) Date: Tue, 28 Apr 2009 05:37:46 +0900 From: Hitoshi Ohsaki To: caml-list@inria.fr Subject: Fw: Registration for ISR 2009 and RDP 2009 is open! Message-Id: <20090428053746.eecd38f2.ohsaki@ni.aist.go.jp> Reply-To: ohsaki@ni.aist.go.jp X-Mailer: Sylpheed 2.6.0 (GTK+ 2.6.10; i686-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; rdp:01 rewriting:01 rdp:01 rewriting:01 2009:98 2009:98 vio:98 programming:03 programming:03 let:03 thu:05 chair:05 apr:06 respectively:07 deduction:08 Dear all, Please let us announce the opening of the registration for the two events ISR 2009 (4th International School on Rewriting, http://isr09.cic.unb.br) RDP 2009 (5th Federated Conference on Rewriting, Deduction and Programming, http://rdp09.cic.unb.br/) at our websites below, respectively, ISR: http://isr09.cic.unb.br/registration.html RDP: http://rdp09.cic.unb.br/registration.html Date: Thu, 23 Apr 2009 12:18:40 -0300 From: "Flavio L. C. de Moura" Subject: Registration for ISR 2009 and RDP 2009 is open! | |The registration system for ISR 2009 - The Fourth International School |on Rewriting (http://isr09.cic.unb.br) and RDP 2009 - Federated |Conference on Rewriting, Deduction and Programming |(http://rdp09.cic.unb.br) is now open! | |If you register before May 10 2009, you will pay reduced fee. More |information is available at the conference website. | |Regards, | |Flávio de Moura. With best regards. Hitoshi Ohsaki RTA publicity chair