RDP 2011 is the sixth edition of the International Conference on Rewriting, Deduction, and Programming, consisting of two main conferences

* Rewriting Techniques and Applications (RTA 2011) * Typed Lambda Calculi and Applications (TLCA 2011)

and workshops:

* Compilers by Rewriting, Automated (COBRA) * Theory and Practice of Delimited Continuations (TPDC) * Two Faces of Complexity (2FC) * Reduction Strategies in Rewriting and Programming (WRS) * IFIP Working Group 1.6 Term Rewriting

Invited speakers:

* Alexandre Miquel (Universite Paris VII, France) * Vladimir Voevodsky (Institute of Advanced Study, USA) * Sophie Tison (Univ. Lille and LIFL, France) * Ashish Tiwari (SRI, USA) * Stephanie Weirich (University of Pennsylvania, USA)

Previous editions of RDP took place in

* Valencia (Spain) 2003 * Aachen (Germany) 2004 * Nara (Japan) 2005 * Paris (France) 2007 * Brasilia (Brasil) 2009


Back