-------------------------------------------------------------------------------- Minutes of the Fifth Workshop of the IFIP WG-1.6 on Term Rewriting Valencia, Spain June 12, 2003 -------------------------------------------------------------------------------- Agenda 1. Progress reports. 2. Business session. Chaired by Claude Kirchner. Participants: S. Anantharaman, F. Barbarena (invited), M.-P. Bonacina, N. Dershowitz, J. Giesl, B. Gramlich, T. Hillenbrand (for H. Ganzinger), D. Kapur, C. Kirchner, H. Kirchner, P. Lescanne, S. Lucas, J. Meseguer, A. Middeldorp, P. Narendran, R. Nieuwenhuis, V. van Oostrom, F. van Raamsdonk, M. Rodriguez-Artalejo, A. Rubio (invited), M. Rusinowitch, Y. Toyama, L. Vigneron, H. Zantema. Meeting opened at 9:00 Meeting closed at 19:00 -------------------------------------------------------------------------------- 1. Progress reports. 1.1. Automating the Dependency Pair Method, Aart Middeldorp (Tsukuba). 1.2. Simpler Congruence Closure, Robert Nieuwenhuis (Barcelona). 1.3. Progress report, Hubert Comon (Cachan). 1.4. Optimal implementation of the lambda-calculus, Vincent van Oostrom (Amsterdam). 1.5. Can addresses be types? (a case study: objects with delegation), Franco Barbanera (Torino). 1.6. Detailed progress report, Femke van Raamsdonk (Amsterdam). 1.7. Short technical talk, Hans Zantema (Eindhoven). 1.8. Progress report, José Meseguer (Menlo Park). 1.9. Progress report, Nachum Dershowitz (Tel Aviv). 1.10. Progress report, Bernhard Gramlich (Vienna). 1.11. Progress report, Salvador Lucas (Valencia). 1.12. Progress report, Mario Rodriguez-Artalejo (Madrid). 1.13. Progress report, Michaël Rusinowitch, Hélène and Claude Kirchner (Nancy). -------------------------------------------------------------------------------- 2. Business Session. 2.1. Rewriting Events in 2004. ** The 5th International Workshop on Rewriting Logic and its Applications (WRLA) will be held in conjunction with the 7th European Joint Conferences on Theory and Practice of Software (ETAPS) in Barcelone, Spain, March 27-28, 2004. ** The 15th International Conference on Rewriting Techniques and Applications (RTA) will hold on June 3-5, 2004, in Aachen, Germany. It will be part of RDP 2004 (the Federated Conference on Rewriting, Deduction, and Programming). ** The sixth Workshop of the IFIP WG-1.6 on Term Rewriting will be part of RDP 2004, on May 31 or June 1. 2.2. Books, E-book and Rewriting Courses. ** Recent books: - Advanced Topics in Term Rewriting, Enno Ohlebusch, Springer Verlag ISBN: 0387952500 - Term Rewriting Systems, Terese, Cambridge University Press ISBN: 0521391156 ** E-book and Courses: The preparation of a e-book on rewriting is a very difficult task. - Pierre Lescanne suggests to start by selecting exercises that appear in several reports (such as SEKI reports). - Claude Kirchner proposes to prepare a repository with pointers to all the lecture notes and examples that can be found on the web. - Mario Rodriguez-Artalejo asks how to combine rewriting courses with the european credit transfer system (ECTS). We will discuss this point in the next meeting. ** Membership: Last year we have defined a new policy for controlling the activity of the members of the working group. Some members will be proposed to become honorary members. This year, we propose Henk Barendregt, Gerard Huet and Ugo Montanari. Claude Kirchner, as chair of the working group, will prepare the list of the members that have to been active in the group for at least three years. He will ask them to confirm their involvement in the group or to leave their place for new members. On the web page (http://rewriting.loria.fr/IFIP-WG1.6), we will add the list of former members. 2.3. QPQ: (http://www.qpq.org) QPQ stands for "QED Pro Quo" (pronounced "quid pro quo"). It is an online journal for publishing peer-reviewed source code for deductive software components. The development of QPQ is funded by NSF through the CISE Research Resource program and by the SRI International Computer Science Laboratory. This journal will be very useful for publishing new softwares, but also old ones. The first QPQ Workshop on Deductive Software Components will hold on July 28, 2003, in Miami, Florida, during CADE. 2.4. About the Annual Meeting of the Working Group. Regarding previous comments and suggestions by participants of the working group Claude Kirchner asks for further ideas and suggestions on the preferred format and contents of the annual meeting of the working group. This starts a lively discussion with contributions by many participants: - The program should feature more strategic high-level discussion. Talks should be less technical and more "meta". More experiences and discussion on higher level, e.g., teaching issues, curricula and corresponding difficulties and strategies. (Deepak Kapur) - Progress reports are important and should be in the program. Also, one hour talks are good. (Jose Meseguer) - Some first information (on some topic) in the form of a technical contribution is appropriate. (Jurgen Giesl) - There's an obvious (and natural) tension between formal and informal contributions. Suggestion: Make the variety and diversity more explicit by having different slots in the program for technical contributions, emerging topics, teaching... (Maria Paola Bonacina) - Technical talks are not that sensible (in the program of the working group). Rather spare time for other issues like teaching, spreading results, information... (Nachum Dershowitz) - Having 3 days instead of only 1 would make a big difference. (Jose Meseguer) - The rewriting list doesn't work well, except for conference announcements. Yet, it should be a real forum for exchange! (Pierre Lescanne) - Progress reports are necessary as well as technical presentations (especially for new people). Next year there will also be forums (on specific topics). The duration of the meeting (1-3 days) should be further discussed. Overlap with other events is problematic. Holding the working group back-to-back with another event would also be an option. (Claude Kirchner) - New directions (related to rewriting) should also be included/encouraged. (Deepak Kapur) - Why not hold the annual meeting (once) in Dagstuhl? (José Meseguer) - Surveys are also important and make sense for the program. (Maria Paola Bonacina) [ Thank you to Bernhard Gramlich for his help in preparing this report. Thank you to the local organizers of RDP'03. ] --------------------------------------------------------------------------------