News & Upcoming Events

• Next meeting: The next meeting of the IFIP WG 1.6 will be held at RTA 2015 in Warsaw, Poland.
• Next summer school: The 7th International School on Rewriting (ISR) will be held in Valparaiso, Chile, in 2014.

Overview

IFIP Working Group 1.6 is one of the seven 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.

Minutes of the Meetings

• July 13, 2014 (Vienna, Austria): notes.
• June 27, 2013 (Eindhoven, The Netherlands): notes.
• May 28, 2012 (Nagoya, Japan): notes.
• June 2, 2011 (Novi Sad, Serbia): notes.
• July 10, 2010 (Edinburgh, UK): notes.
• July 2, 2009 (Brasilia, Brazil): notes.
• July 18, 2008 (Hagenberg, Austria): notes.
• June 24, 2007 (Paris, France): notes.
• August 20, 2006 (Seattle, WA): notes.
• April 18, 2005 (Nara, Japan): notes.
• May 31, 2004 (Aachen, Germany): notes.
• July 12, 2003 (Valencia, Spain): notes.
• July 25, 2002 (Copenhagen, Denmark): notes.
• May 25, 2001 (Utrecht, NL): notes, online slides.
• July 9, 2000 (Norwich, UK): notes.
• July 1, 1999 (Trento, Italy): notes.
• April 1, 1998 (Tsukuba, Japan): notes (pre-meeting).

Mailing List

A mailing list has been created for a better communication between the members of this group.

All the communications to this list have to be sent to:

ifip-wg1.6 @ lists.rwth-aachen.de

For remarks, comments or questions concerning this list, please contact the secretary of the group.

To modify your settings for the list, please use the web interface:

http://mailman.rwth-aachen.de/mailman/listinfo/ifip-wg1.6/

International School on Rewriting (ISR)

Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification.

The school is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications.

Upcoming editions:

• 2015, Leipzig, Germany: web site
• 2014, Valparaiso, Chile: web site

Previous editions:

• July 16-20, 2012 (Valencia, Spain): web site.
• July 3-8, 2010 (Utrecht, The Netherlands): web site.
• June 22-26, 2009 (Brasilia, Brazil): web site.
• July 21-26, 2008 (Obergurgl, Austria): web site.
• July 2-6, 2007 (Nancy, France): web site.
• July 3-7, 2006 (Nancy, France): web site.

General Organization:

• Steering Committee: Mauricio Ayala-Rincón (chair), Carlos Castro, Gabriele Keller, Salvador Lucas, Vincent van Oostrom, Johannes Waldmann
• Bylaws

External Links

For more information on IFIP, please check:

• The IFIP newsroom and newsletters.
• A collection of call for papers and forthcoming events, to be completed by sending an e-mail to the IFIP Secretariat.

For more information on rewriting, please check:

• The Rewriting Home Page: contains all the information you want concerning rewriting: list of laboratories, researchers, the main conferences and workshops related to rewriting, a list of systems using rewriting, references to books, on-line surveys, courses, bibliographies, and a list of open problems.
• The Who's who in rewriting (by Aart Middeldorp).
• The Quality and Safety of Software Repository, where you can find (and add) softwares and lectures.

For more information on related conferences, please check:

• General information about conferences RTA and CADE.

Contact Information

Chair: Jürgen Giesl

Vice-Chair: Hans Zantema

Secretary: Peter Schneider-Kamp