IFIP-WG16 PROCEEDINGS (ABSTRACTS): EDITOR'S PREFACE

This volume contains the abstracts of the talks presented at the Annual Meeting of the IFIP Working Group 1.6 (Term Rewriting) held on July 13, 2014 in Vienna. The IFIP Working Group 1.6 is one of the 8 working groups of the Technical Committee 1 of the International Federation for Information Processing (IFIP). IFIP is the leading multinational, apolitical organization in Information & Communication Technologies and Sciences. It is recognized by the United Nations and other world bodies, representing IT Societies from 56 countries or regions and covering all 5 continents with a total membership of over half a million. The aims of the WG 1.6 are:

• 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 the development of applications of theoretical advances

The scope of the topics within the WG 1.6 are:

• 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

More information about the WG 1.6, its members, and about the previous meetings can be found on the WG 1.6 website at

http://verify.rwth-aachen.de/IFIP-WG1.6/

In the summer of 2014, Vienna hosted the largest scientific conference in the history of logic. The Vienna Summer of Logic (VSL, http://vsl2014.at) consisted of twelve large conferences and 82 workshops, attracting more than 2000 researchers from all over the world. Rewriting is a very important area within computational logic and many of the VSL conferences covered topics related to rewriting. Therefore, VSL was an ideal venue for the WG 1.6 meeting. As in earlier years, the WG 1.6 meeting took place on the day before RTA. In fact, the annual WG 1.6 meeting was co-located with RTA since the foundation of the working group in 1998. The previous meetings were:

• 1998 (Tsukuba, Japan)
• 1999 (Trento, Italy) as part of FLoC 1999
• 2000 (Norwich, UK)
• 2001 (Utrecht, The Netherlands)
• 2002 (Copenhagen, Denmark) as part of FLoC 2002
• 2003 (Valencia, Spain)
• 2004 (Aachen, Germany)
• 2005 (Nara, Japan)
• 2006 (Seattle, USA) as part of FLoC 2006
• 2007 (Paris, France)
• 2008 (Hagenberg, Austria)
• 2009 (Brasilia, Brazil)
• 2010 (Edinburgh, UK) as part of FLoC 2010
• 2011 (Novi Sad, Serbia)
• 2012 (Nagoya, Japan)
• 2013 (Eindhoven, The Netherlands)

The meeting was open to everybody interested (where the business meeting was only open to the members of the WG 1.6). The program consisted of 4 invited talks (by Takahito Aoto, Gilles Dowek, Nao Hirokawa, and Florent Jacquemard), 2 talks by members of the WG, 4 discussions, and the business meeting:

• Invited Talks:
  • Takahito Aoto and Sorin Stratulat:
    Decision Procedures for Proving Inductive Theorems without Induction
  • Gilles Dowek and Ying Jiang:
    Rewriting, Proofs, and Transition Systems
  • Nao Hirokawa, Aart Middeldorp, and Georg Moser:
    Basic Normalization
  • Florent Jacquemard, Jean Bresson, and Pierre Donat-Bouillud:
    Rhythm Tree Rewriting
• Talks by Members of the WG 1.6:
  • Maria Paola Bonacina and David Plaisted:
    Semantically-Guided Goal-Sensitive Theorem Proving
  • Claude Kirchner:
    Impacts of the Digital Revolution on two Main Activities of Scientists: Teaching and Publishing
• Discussions and Business Meeting:
  • Aart Middeldorp:
    Discussion on the International School on Rewriting (ISR)
  • Claude Kirchner:
    Discussion on Massive Open Online Courses and Overlay Journals
  • Georg Moser:
    Discussion on the Future of RTA (+ TLCA)
  • Nachum Dershowitz and Hans Zantema:
    Discussion on the Open Problems List in Rewriting
  • Jürgen Giesl:
    Business Meeting

I would like to thank the organizers of VSL for their great work and all speakers and participants of the IFIP WG 1.6 for their contributions and input.