Overview

RTA'06 is the 17th International Conference on Rewriting Techniques and Applications. It is the major conference on rewriting and covers all aspects related to rewriting such as termination, equational reasoning, theorem proving, Lambda calculus, higher-order rewriting, unification, verification, constraints, and software tools. The proceedings of this annual conference are published in the Springer-Verlag Lecture Notes in Computer Science series.

Program

• RTA program
• RTA accepted papers
• RTA Associated Workshops and Events

Invited Talks

• Sunday, August 13th, 09:00‑10:00
  Javier Esparza (Institute for Formal Methods in Computer Science, University of Stuttgart)
  Rewriting Models of Control-Flow [pdf]
• Monday, August 14th, 09:00‑10:00
  Jurgen Giesl (RWTH Aachen)
  Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages [pdf]

History

Previous RTA meetings were held in Dijon (1985), Bordeaux (1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), Rutgers (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), Utrecht (2001), Copenhagen (2002), Valencia (2003), Aachen (2004), and Nara (2005).

Program Committee

• Zena Ariola , University of Oregon
• Franz Baader , Technical University Dresden
• Gilles Dowek, Ecole Polytechnique and INRIA
• Guillem Godoy, Technical University of Catalonia
• Deepak Kapur, University of New Mexico
• Delia Kesner, University Paris 7
• Denis Lugiez, University of Provence
• Claude Marche, University Paris-Sud
• Jose Meseguer, University of Illinois at Urbana-Champaign
• Frank Pfenning, Carnegie Mellon University (Chair)
• Ashish Tiwari, SRI International
• Yoshihito Toyama, Tohoku University
• Eelco Visser, Utrecht University
• Hans Zantema, Eindhoven University of Technology

Steering Committee