This cite is no longer maintained
News & Upcoming Events
- Next summer school: The 12th International School on Rewriting (ISR) had to be postponed and will be held at UCM, Madrid in 2021. The school will be organised by Narciso Marti Oliet.
- Upcoming meeting:The next annual meeting of the WG in 2021 will take place on July 24, 2021 at FSCD in Buenos Aires, Argentina.
- Members: We are proud to announce Akihisa Yamada, Carsten Fuhs and Jakob Grue Simonsen as new members.
Overview
IFIP Working Group 1.6 is one of the working groups of the Technical Committee 1 of the International Federation for Information Processing (IFIP). IFIP is the leading multinational, apolitical organization in Information & Communications Technologies and Sciences. It is recognized by United Nations and other world bodies, represents IT Societies from 56 countries or regions, covering all 5 continents with a total membership of over half a million.
WG 1.6 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.
WG 1.6 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.
