From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 64B3C7FCCB for ; Wed, 8 Apr 2015 10:45:18 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sophie.tison@univ-lille1.fr) identity=pra; client-ip=193.49.225.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sophie.tison@univ-lille1.fr"; x-sender="sophie.tison@univ-lille1.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of sophie.tison@univ-lille1.fr designates 193.49.225.20 as permitted sender) identity=mailfrom; client-ip=193.49.225.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sophie.tison@univ-lille1.fr"; x-sender="sophie.tison@univ-lille1.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp02.univ-lille1.fr) identity=helo; client-ip=193.49.225.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sophie.tison@univ-lille1.fr"; x-sender="postmaster@smtp02.univ-lille1.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CwAgDq6SRVnBThMcFCGoNXXAGCTka4QIlkCocqPBABAQEBAQEBEQEBAQEBCAsJCRQuQQSDbREGRSocAiYCXxOIKgQJN5dMjSuPVJZxAR+BIYtHhXMMLxIdgRYFhh6OAE6HZpMEhBNtAYJCAQEB X-IPAS-Result: A0CwAgDq6SRVnBThMcFCGoNXXAGCTka4QIlkCocqPBABAQEBAQEBEQEBAQEBCAsJCRQuQQSDbREGRSocAiYCXxOIKgQJN5dMjSuPVJZxAR+BIYtHhXMMLxIdgRYFhh6OAE6HZpMEhBNtAYJCAQEB X-IronPort-AV: E=Sophos;i="5.11,543,1422918000"; d="scan'208";a="108795542" Received: from smtp02.univ-lille1.fr ([193.49.225.20]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 Apr 2015 10:45:17 +0200 Received: from smtps2.univ-lille1.fr (smtps2.univ-lille1.fr [193.49.225.53]) by smtp02.univ-lille1.fr (8.14.3/8.14.3) with ESMTP id t388jGYu020175 for ; Wed, 8 Apr 2015 10:45:16 +0200 Received: from mars2.lifl.fr (mars2.lifl.fr [134.206.11.85]) (authenticated bits=0) by smtps2.univ-lille1.fr (8.14.3/8.14.3/Debian-5) with ESMTP id t388jEln025903 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO) for ; Wed, 8 Apr 2015 10:45:15 +0200 From: Sophie Tison Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Message-Id: Date: Wed, 8 Apr 2015 10:45:14 +0200 To: "caml-list@inria.fr" Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) X-Mailer: Apple Mail (2.1510) X-USTL-MailScanner-Information: Please contact the ISP for more information X-USTL-MailScanner-ID: t388jGYu020175 X-USTL-MailScanner: Found to be clean X-USTL-MailScanner-From: sophie.tison@univ-lille1.fr X-Validation-by: sophie.tison@univ-lille1.fr Subject: [Caml-list] RDP 2015- Call for Participation - **************************************************************************** *** Federated Conference on Rewriting, Deduction, and Programming=20=20 *** RDP 2015=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20 *** June 26 - July 3, 2015=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20 *** Warsaw, Poland=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20=20 *** http://rdp15.mimuw.edu.pl=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20 ***=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20=20=20 *** CALL FOR PARTICIPATION=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20 ***=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20=20=20 ***************************************************************************= ** ************* EARLY REGISTRATION CLOSES ON MAY 22 ************* --------------------------------------------------------------------- -- REGISTRATION -- --------------------------------------------------------------------- For online registration visit: http://rdp15.mimuw.edu.pl/index.php?site=3Dregistration Early registration closes on May 22. --------------------------------------------------------------------- -- ABOUT RDP -- --------------------------------------------------------------------- RDP'15 is the eighth edition of the biannual Federated Conference on Rewriting, Deduction, and Programming, consisting of two main conferences and related events. --------------------------------------------------------------------- -- RDP MAIN CONFERENCES -- --------------------------------------------------------------------- RTA 2015 The 26th International Conference on Rewriting Techniques and Applications June 29 - July 1, 2015 TLCA 2015 The 13th International Conference on Typed Lambda Calculi and Applications July 1 - July 3, 2015 --------------------------------------------------------------------- -- RDP 2015 INVITED SPEAKERS -- --------------------------------------------------------------------- Grigore Ro=C5=9Fu (University of Illinois at Urbana-Champaign, USA) Carolyn Talcott (SRI International, USA) H=C3=A9l=C3=A8ne Kirchner (INRIA, France) Herman Geuvers (RU, Nijmegen and TU/e, The Netherlands) Martin Hofmann (LMU, Germany) --------------------------------------------------------------------- -- WORKSHOPS -- --------------------------------------------------------------------- HDRA: Higher-Dimensional Rewriting and Applications, June 28 IFIP WG 1.6: IFIP Working Group 1.6 on Term Rewriting, June 28 HoTT/UF: Workshop on Homotopy Type Theory / Univalent Foundations, June 29-= 30 UNIF: International Workshop on Unification, June 28 WPTE: Workshop on Rewriting Techniques for Program Transformations and=20 Evaluation, July 2 --------------------------------------------------------------------- -- TUTORIALS -- --------------------------------------------------------------------- PhD Open: Implicit Computational Complexity, Ugo Dal Lago, June 26-27 HFL: Homotopy for Laymen, Krzysztof Ziemia=C5=84ski, June 28 CAT: Coq for Algebraic Topologists, Jacek Chrz=C4=85szcz, June 28 --------------------------------------------------------------------- -- REGISTRATION (again) -- --------------------------------------------------------------------- For online registration visit: http://rdp15.mimuw.edu.pl/index.php?site=3Dregistration Early registration closes on May 22. --------------------------------------------------------------------- -- CONTACT -- --------------------------------------------------------------------- WWW: http://rdp15.mimuw.edu.pl/ E-mail: rdp15@mimuw.edu.pl ---------------------------------------------------------------------