July 2, 2009 - Brasilia, Brazil

Program

To promote research efforts in rewriting and its applications.
To establish close cooperation between existing groups and to facilitate the emergence of new ones.
To increase awareness of rewriting techniques in the computer science community at large.
To foster development of applications of theoretical advances.

The date for WG 1.6 is July 2 (Thursday), 2009. WG 1.6 is part of the 5th Federated Conference on Rewriting, Deduction, and Programming (RDP) consisting of several co-located meetings on June 28 (Sunday) - July 3 (Friday), 2009.

Participation is only possible for members of the working group and for invited researchers.

Rewriting for computing and reasoning.
Theoretical studies of the rewriting relation of different orders.
Complexity issues of rewriting.
Compilation techniques and applications.
Theory and applications of rewriting logic and calculus.
Application of rewriting to constraint solving, theorem proving and algebraic specifications.
The design, promotion and teaching of rewrite based techniques and applications.

Jürgen Giesl
LuFG Informatik 2
RWTH Aachen
Ahornstr. 55
52074 Aachen
Germany