June 2, 2011 - Novi Sad, Serbia

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 June 2 (Thursday), 2011. WG 1.6 is part of the Federated Conference on Rewriting, Deduction, and Programming (RDP) consisting of several co-located meetings on May 29 - June 3, 2011.

Participation

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

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

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