IFIP Working Group 1.6: Rewriting

News & Upcoming Events

• Next summer school:The 12th International School on Rewriting (ISR) will be held at UCM, Madrid . The school is organised by Narciso Marti Oliet.
• Upcoming meeting:The annual meeting of the WG in 2020 will be co-located with FSCD 2020 and held in Paris. The precise date will be announced in due time.
• Members: We are proud to announce Silvia Ghilezan, Cynthia Kop and René Thiemann 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.