From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 531647F249 for ; Fri, 2 Nov 2012 17:11:00 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of martin.jambon@ens-lyon.org) identity=pra; client-ip=66.111.4.29; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="martin.jambon@ens-lyon.org"; x-sender="martin.jambon@ens-lyon.org"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of martin.jambon@ens-lyon.org) identity=mailfrom; client-ip=66.111.4.29; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="martin.jambon@ens-lyon.org"; x-sender="martin.jambon@ens-lyon.org"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@out5-smtp.messagingengine.com) identity=helo; client-ip=66.111.4.29; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="martin.jambon@ens-lyon.org"; x-sender="postmaster@out5-smtp.messagingengine.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApUBAA/wk1BCbwQdlGdsb2JhbABEFoMWgmu9HiMBAQEBCQsJCRQEI4IeAQEFHQYVCAkfEAEBDwsYAgIFFgsCAgkDAgECAUUGDQEFAgEBGodsqEFug0yGW4g3BoEgimEahQ6BE4hdkwqFS4gdgUQX X-IronPort-AV: E=Sophos;i="4.80,699,1344204000"; d="scan'208";a="179927560" Received: from out5-smtp.messagingengine.com ([66.111.4.29]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 02 Nov 2012 17:10:59 +0100 Received: from compute1.internal (compute1.nyi.mail.srv.osa [10.202.2.41]) by gateway1.nyi.mail.srv.osa (Postfix) with ESMTP id E530420B3D; Fri, 2 Nov 2012 12:10:57 -0400 (EDT) Received: from frontend2.nyi.mail.srv.osa ([10.202.2.161]) by compute1.internal (MEProxy); Fri, 02 Nov 2012 12:10:58 -0400 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=message-id:date:from:mime-version:to:cc :subject:references:in-reply-to:content-type :content-transfer-encoding; s=smtpout; bh=BohX9InLFWmuFqUZs4VB21 kIhak=; b=HA4EKkNemd5SdcOSyj1Vql08P1h+Y26idu5JRI1Kc6zgwy7DKixCWU Tu9ExELE769+GM10oHBWMAPrm0wZOzP0DGZ4bNZ2H0PVhgDEYpq3weO9oVnrbsHI e8rN1gvn40WdvpDmIZimz0LUF85RAIl4RLcxFR+mWDb74Wxt0FpnQ= X-Sasl-enc: zlE6wtjGqqXnVr4qYOJnz3HtyzDnLrhYMN0HEhmgM1xd 1351872657 Received: from [192.168.2.8] (unknown [98.248.39.171]) by mail.messagingengine.com (Postfix) with ESMTPA id 7A9DA4825E4; Fri, 2 Nov 2012 12:10:56 -0400 (EDT) Message-ID: <5093F08F.8020908@ens-lyon.org> Date: Fri, 02 Nov 2012 09:10:55 -0700 From: Martin Jambon User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:15.0) Gecko/20120827 Thunderbird/15.0 MIME-Version: 1.0 To: "Zantema, H." CC: Herman Geuvers , "appsem@tcs.informatik.uni-muenchen.de" , "caml-list@inria.fr" , "categories@mta.ca" , "concurrency@cwi.nl" , "haskell-owner@haskell.org" , "lics@informatik.hu-berlin.de" , "linear@cs.stanford.edu" , "logic@cs.stanford.edu" , "types-announce@lists.seas.upenn.edu" , "logic@math.uni-bonn.de" References: <7DF2365FF07C0E4E89419D65CCC93C9E0196DA895D5B@EXCHANGE11.campus.tue.nl> <7DF2365FF07C0E4E89419D65CCC93C9E0196DA895E98@EXCHANGE11.campus.tue.nl> In-Reply-To: <7DF2365FF07C0E4E89419D65CCC93C9E0196DA895E98@EXCHANGE11.campus.tue.nl> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] call for workshops RDP = RTA + TLCA May I ask conference promoters to be kind enough to at least include an informative subject line when they email random individuals and groups? PLEASE INCLUDE THE FULL NAME OF YOUR OBSCURE CONFERENCE IN THE SUBJECT! Thank you for your understanding, Love, Martin On Fri 02 Nov 2012 02:25:55 AM PDT, Zantema, H. wrote: > Call for Workshops RDP 2013: RTA + TLCA > > June 23 to June 28, 2013, Eindhoven, The Netherlands > > > RDP 2013 http://www.win.tue.nl/rdp2013/ is the seventh edition of the International Conference on Rewriting, Deduction, and Programming, consisting of two main conferences RTA (Rewriting Techniques and Applications), June 24-26, and TLCA (Typed Lambda Calculi and Applications), June 26-28. > > Workshop proposals for RDP 2013 are solicited for the days June 24 (Monday), June 25 (Tuesday), June 27 (Thursday) and June 28 (Friday). > > Both well-established workshops and newer ones are encouraged. Also system competition proposals are solicited. > > Due to the overlap with the conferences, workshops most related to TLCA are expected to be on June 24 and 25, and workshops most related to RTA are expected to be on June 27 and 28. > > If you want to organize a workshop, please send the following information to Hans Zantema h.zantema@tue.nl, no later than December 1, 2012: > * Workshop title and description of the topic, > * Names and affiliations of the organizers, and > * Proposed workshop duration (from half a day to two days). > > Notification date: December 20. > > _________________________________________________________ > Prof Dr Hans Zantema > Technische Universiteit Eindhoven / Radboud Universiteit Nijmegen Primary address: Department of Computer Science P.O. Box 513, 5600 MB Eindhoven, The Netherlands > e-mail: H.Zantema@tue.nl, homepage: www.win.tue.nl/~hzantema > office: Metaforum room 7.067, tel: (040)2472749 > > >