RTA

International Conference on

Rewriting Techniques and Applications

Conference Topics
RTA Organizing Committee
Previous RTA Conferences
Minutes of the RTA-97 business meeting

Conference Topics

The International Conference on Rewriting Techniques and Applications solicits papers in any of the following or related areas:

  Term rewriting systems                  Symbolic and algebraic computation
  Unification and matching                Completion techniques
  String and graph rewriting              Conditional and typed rewriting
  Rewriting-based theorem proving         Parallel rewriting and deduction
  Constrained rewriting and deduction     Constraint solving
  Higher-order rewriting                  Lambda calculi 
  Functional and logic programming languages

RTA Organizing Committee

  Hubert Comon (Cachan)                 Harald Ganzinger (Saarbrücken)
  Jieh Hsiang (Taipei)                  Klaus Madlener (Kaiserslautern) 
  Paliath Narendran (Albany)            Yoshihito Toyama (Tatsunokuchi)

Previous RTA Conferences

Previous RTA meetings were held in Dijon (1985), Bordeaux (1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), Rutgers (1996), Sitges (1997). Their proceedings were published by Springer-Verlag in their Lecture Notes in Computer Science series.