arpa-bboard@ucbvax.ARPA (03/24/85)
From: JOUANNAUD@SRI-CSL.ARPA ***************************************** * First International Conference * * on * * Rewriting Techniques and Applications * ***************************************** To be held in Dijon, Burgundy, FRANCE from May, 20 to May, 22, 1985. Sponsored by NSF, CNRS, ADI Bull University of Dijon City Council of Dijon. Program Committee ***************** Jan Bergstra, Amsterdam Joseph Goguen, SRI-International John Guttag, MIT Jean-Pierre Jouannaud, Nancy (co-chairman) Pierre Lescanne, CRIN David Musser, General Electric Labs (co-chairman) Peter Padawitz, Passau David Plaisted, Chapel Hill Ravi Sethi, Bell Labs David Turner, Kent *********** * Program * *********** Monday 20 ********* Opening Session: 9:30 to 10:30 Break Session 1 Chair: Gerard Huet, INRIA, Rocquencourt. 10:45 to 11:45 History and Basic Features of the Critical-Pair/Completion Approach, invited Lecture by Bruno Buchberger, Universitat Linz. 11:45 to 12:15 Contextual Rewriting J.L. Remy and H. Zhang, CRIN, Nancy. Lunch Session 2 Chair: Joseph Goguen, SRI-International, Menlo Park. 14:00 to 15:00 Thue Systems as Rewriting Systems, invited lecture by Ronald Book, University of California at Santa Barbara. 15:00 to 15:30 Deciding Algebraic Properties of Monoids Presented by Finite Church-Rosser Thue Systems, F. Otto, Universitat Kaiserslautern. Break Session 3 Chair: Ravi Sethi, Bell Labs, Murray Hill. 15:45 to 16:15 Two Applications of Equational Theories to Data Base Theory, S. Cosmadakis and P. Kanellakis, MIT, Cambridge. 16:15 to 16:45 An Experiment in Partial Evaluation: The Generation of a Compiler, N. Jones, P. Sestoft and H. Sondergaad, University of Copenhagen. 16:45 to 17:15 Narrower, a New Algorithm for Unification and its Application to Logic Programming, Pierre Reti, Claude Kirchner, Helene Kirchner and Pierre Lescanne, CRIN, Nancy. 17:15 to 17:45 Solving Type Equations by Graph Rewriting, H. Ait Kaci, Penn University and MCC, Austin. 18:30 Reception at the City Hall of Dijon Thuesday 21 *********** Session 4 Chair: Pierre Lescanne, CRIN, Nancy. 9:00 to 10:00 Termination Issues in Term Rewriting Systems invited lecture by Nachum Dershowitz, University of Illinois at Urbana-Champaign. 10:00 to 10:30 Plaisted Ordering and Recursive Decomposition Ordering Revisited, M. Rusinovitch, CRIN, France. Break Session 5 Chair: Nachum Dershowitz, University of Illinois at Urbana-Champain. 10:45 to 11:15 Associative Path Ordering, L. Bachmair and D. Plaisted, University of Illinois at Urbana-Champaign and University of North Carolina at Chapel Hill. 11:15 to 11:45 A Procedure for Automatically Proving the Termination of a Set of Rewrite Rules, D. Detlefs and R. Forgaard, MIT, Cambridge. Break Session 6 Chair: John Guttag, MIT, Cambridge. 12:00 to 12:30 Petrireve: Proving Petri Net Properties with Rewriting System, C. Choppy and C. Johnen, Universite d'Orsay. 12:30 to 13:00 Fairness in Term Rewriting Systems, S. Porat and N. Francez, Technion University, Haifa. Lunch Excursion and Wine Tasting Conference Dinner Wednesday 22 ************ Session 7 Chair: B. Buchberger, Universitat Linz. 9:00 to 9:30 Two Results in Term Rewriting Theorem Proving, J. Hsiang, University of New-York at Stony-Brook. 9:30 to 10:00 Handling Function Definition through Innermost Superposition and Rewriting, L. Fribourg, CGE, Marcoussis and LITP, Paris. Break Session 8 Chair: Peter Padawitz, Universitat Passau. 10:45 to 11:15 Combining Unification Algorithms for Confined Equational Theories, K. Yellick, MIT, Cambridge. 11:15 to 11:45 An Algebraic Approach to Unification under Associativity and Commutativity, A. Fortenbacher, Universitat Karlsruhe and IBM, Yorktown Heights. 11:45 to 12:15 Unification Problems with One-Sided Distributivity, E. Tiden and S. Arnborg, University of Stockholm. Lunch Session 9 Chair: Ronald Book, University of California at Santa Barbara. 14:00 to 14:30 Fast Many-to-One Matching Algorithms, P. Purdom and C. Brown, University of Indiana and Gte LABS, Waltham. 14:30 to 15:00 Complexity of Matching Problems, D. Benanav, D. Kapur and P. Narendran, Rensselaer Polytechnic Institute and General Electric, Schenectady. Break Session 10 Chair: David Turner, University of Kent at Canterbury. 15:15 to 15:45 The Set of Unifiers in Typed Lambda-Calculus as Regular Expressions, M. Zaionc, Universytet Jagielonski, Krakow. 15:45 to 16:45 Equational Systems for Category Theory and Lambda Calculus, invited Lecture by Gerard Huet, INRIA, Rocquencourt. Awarding ceremony and closing session. Hotel Reservation Form ********************** Mail to: Office du Tourisme, Service Congres RTA-85, 2 rue Perrieres, BP 1298, 21022 Dijon CEDEX, France Telephone: (80) 43 56 05 Name: Adress: City: Zip code: Country: Date of Arrival: Date of departure: Please check: 2 stars Hotel (FF 80/200) 3 stars Hotel (FF 125/250) Single Bed Double Bed Twin Bed Bath Shower Cab. Toil. WC Accompanying Personn(s): To garantee your room, fill out below: Credit Card Number: Signature: Warning: Since Dijon is a very attractive city, and welcomes many peope late spring and summer, your Hotel reservation Form must arrive no later than April 10th. No reservation can be garanteed after that date. Dijon is easily accessed from Paris by using the TGV, the fatest train in the world: one hour and a half from Paris, for abouT 200 miles. The station is located in the center of the City, a mere ten minute from the Conference location, at the faculte des lettres, 36 rue Chabot Charny. Dijon is a very famous city, whose history goes back to the first centuries. Dijon became the capital of the Duchy of Burgundy in the year 1016. The Dukes of Burgundy reached the summit of their power during the 14th and 15th century, until they were defeated by the king of France, Louis XI, against whom they were fighting. During this period, many constructions were built, including the Palace of the Dukes, The Church of our Lady, the Chaterhouse, all worth visiting. But Dijon is also rich in hundreds of old houses, hotels, Churches and Cellars, among which the Cellier de Clairveaux, where our lunches will take place. Dijon is also known as one of the capitals of the French gastronomy: gingerbread, mustard, black-currant liqueur, hahn chambertin, snails, ... . And of course, there are good restaurants. Finally Dijon is the world famous capital of Burgundy, where the most subtle French wines come from: Clos Vougeot, Chambertin, Romanee Conti for red wines, Corton Charlemagne (the wine elected by king Charlemagne), Meursault Goutte d'Or and Montrachet for the white wines, are some of them. You are encouraged to partipate in the tour, where some of these marvellous wines will be tasted. This tour will go through Meursault, the capital of the Burgundy wine, also a very charming old city. It will end near Nuits Saint Gorges, where the Congress dinner will take place. Let us hope a sunny weather, which is usual at that period, and you will never forget this tour! Registration Form **************************** Mail to: Laboratoire d'Informatique, RTA-85 BP 138, 21004 Dijon CEDEX, France Telephone: (80) 67 24 44 Telex: 350188FDIJ-UNIV Name: Organization: Adress: City: Zip code: Country: Order your check to: Colloque RTA85 In case you need an invoice, please check: early registration (before april 10th): FF 950 or US$: 95 late registration: FF 12300 or US$ 120 Student registration (before april 10th): FF 400 or US$ 40 Student registration includes the preliminary proceedings and coffee breaks. Regular registration also include lunches, excursion and Conference Dinner. -------