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.
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).
Steering CommitteeSee the RTA homepage.