From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3754 Path: news.gmane.org!not-for-mail From: Ralf Treinen Newsgroups: gmane.science.mathematics.categories Subject: RDP'07 First Call for Participation Date: Fri, 4 May 2007 13:37:32 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241019502 10155 80.91.229.2 (29 Apr 2009 15:38:22 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:38:22 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Sat May 5 11:46:27 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 05 May 2007 11:46:27 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HkLSG-0001Nz-0k for categories-list@mta.ca; Sat, 05 May 2007 11:41:48 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 14 Original-Lines: 51 Xref: news.gmane.org gmane.science.mathematics.categories:3754 Archived-At: RDP 2007 - Call for Participation Federated Conference on Rewriting, Deduction, and Programming June 25 to 29, Paris, France http://www.rdp07.org ======================================================================== Online Registration is open unil May, 31. ======================================================================== RDP'07 is the fourth edition of the International Conference on Rewriting, Deduction, and Programming, consisting of two main conferences * Rewriting Techniques and Applications (RTA'07) * Typed Lambda Calculi and Applications (TLCA'07) a colloquium * From Type Theory to Morphologic Complexity: a Colloquium in Honor of Giuseppe Longo as well as the following workshops: * Higher Order Rewriting (HOR) * Proof Assistants and Types in Education (PATE) * Rule-Based Programming (RULE) * Security and Rewriting Techniques (SecReT) * Unification (UNIF) * Functional and (Constraint) Logic Programmming (WFLP) * Reduction Strategies in Rewriting and Programming (WRS) * Termination (WST) Invited Speakers: ================= Joint RTA/TLCA: * Frank Pfenning (Carnegie Mellon University) TLCA: * Patrick Baillot (CNRS, University Paris 13) * Greg Morrisett (Harvard University) RTA: * Xavier Leroy (INRIA Rocquencourt) * Robert Nieuwenhuis (Technical University of Catalonia) Celebratation of the 75th anniversary of the lambda calculus: * Henk Barendregt (Nijmegen University) Registration: ============= http://www.rdp07.org/registration.html Student Travel Grants: ====================== A limited number of travel grants for students is available. A call for applications will be issued separately. Information about travel grants will also be published on http://www.rdp07.org/grants.