May 28, 2012 - Nagoya, Japan

Aims

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.

Date

The date for WG 1.6 is May 28 (Monday), 2012. WG 1.6 will be co-located with RTA 2012.

Location

The meeting will take place at Noyori Conference Hall, RTA 2012 venue.

Program

The pr ogram for the meeting (with abstract of the talks) can be found here.

Participation

Participation is possible for everyone interested (i.e., not only for members of the working group).

Scope

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.

Chair