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