Forwarded message from [sicstus-users@sics.se ] sent originally on Wed, 17 May 2000 13:01:18 -0700: : Call for Participation : : RTA 2000: 11th International Conference on : Rewriting Techniques and Applications : : WESTAPP 2000: 3rd International workshop on : Explicit Substitutions and Applications : : Monday July 10 to Thursday July 13 : University of East Anglia, Norwich, U.K. : : The 11th International Conference on Rewriting Techniques and : Applications (RTA 2000) will cover theoretical and practical issues in : the general area of rewriting, with fifteen papers and three : implementation descriptions on topics including confluence, termination, : parallelism, complexity, lambda calculus, rewriting logic, combinators, : unification, reduction strategies, and word problems. Invited speakers : include Andrei Voronkov, Jose Meseguer, and one other to be announced. : There will also be a tutorial talk by Sophie Tison. : : The associated WESTAPP workshop will deal with topics in explicit : substitution, comprising six accepted papers and two invited talks from : N. de Bruijn and Gopalan Nadathur. : : Norwich is a quiet town in East Anglia, an area of England north-east of : London which includes Norfolk, Suffolk, Cambridgeshire, and parts of the : surrounding counties. In former times Norwich was the capital of the : region and an important trading centre. The modern city is a noted : tourist attraction. The University of East Anglia was founded in 1963 : and stands in its own modern campus on the outskirts of Norwich. : : For conference registration and accommodation, see the form below. : : For further information about the site and how to reach it, see the RTA : 2000 web pages at http://www.sys.uea.ac.uk/RTA2000/. : : RTA PROGRAMME COMMITTEE : : Leo Bachmair (Stony Brook) (CHAIR) : : Franz Baader (Aachen) : Leo Bachmair (Stony Brook) : Gilles Dowek (Rocquencourt) : Neil Ghani (Leicester) : Jurgen Giesl (Albuquerque) : Jean-Pierre Jouannaud (Orsay) : Chris Lynch (Potsdam, New York) : Aart Middeldorp (Tsukuba) : Mitsuhiro Okada (Tokyo) : Femke van Raamsdonk (Amsterdam) : Albert Rubio (Barcelona) : Yoshihito Toyama (Tatsunokuchi) : Rakesh Verma (Houston) : : Publicity: Jose Meseguer : : WESTAPP PROGRAMME COMMITTEE : : Therese Hardin (U. Paris 6/INRIA-Rocquencourt, France) (ORGANIZER) : : Catarina Coquand (Chalmers U. and University of Goteborg, Sweden) : Gilles Dowek (INRIA-Rocquencourt, France) : Gopalan Nadathur (Loyola University of Chicago, US) : Joe Wells (Heriot-Watt University, UK) : : LOCAL ORGANISER FOR RTA AND WESTAPP: Richard Kennaway (Norwich) : : RTA 2000 AND WESTAPP 2000 PROGRAMME : =================================== : : Sunday 9 July : : 09:00-17:00 or as arranged. IFIP-WGTR meeting, for members of IFIP-WGTR : only. Its programme and timing will be circulated to its members. : : Reception from 19:30 (open to all). : : Monday 10 July : : RTA session 1 : : 09:20-09:30 Welcome : : 09:30-10:30 Jose Meseguer : Rewriting Logic and Maude: Concepts and Applications : (Invited talk) : : 10:30-11:00 Break : : RTA session 2 : : 11:00-11:30 Georg Struth : An Algebra of Resolution : : 11:30-12:00 Jurgen Stuber : Deriving Theory Superposition Calculi from Convergent Term : Rewriting Systems : : 12:00-12:30 Reinhard Pichler : The Explicit Representability of Implicit Generalizations : : 12:30-14:00 Lunch : : RTA session 3 : : 14:00-15:00 Sophie Tison : Tree Automata and Term Rewrite Systems : (Tutorial) : : 15:00-15:30 Toshinori Takai, Yuichi Kaji, and Hiroyuki Seki : Right-Linear Finite Overlapping Term Rewriting Systems Effectively : Preserve Recognizability : : 15:30-16:00 Break : : RTA session 4 : : 16:00-16:30 Evelyne Contejean, Antoine Coste, and Benjamin Monate : Rewriting techniques applied to theoretical physics : : 16:30-16:50 Thomas Arts : The Dependency Pair Method : [System description] : : 16:50-17:10 Pierre-Etienne Moreau : REM (Reduce Elan Machine): Core of the New ELAN Compiler : [System description] : : 17:10-17:30 Enno Ohlebusch, Claus Claves, and Claude Marche : TALP: A Tool for the Termination Analysis of Logic Programs : [System description] : : 17:30-18:30 RTA business meeting : : Tuesday 11 July : : RTA session 5 : : 09:30-10:30 Andrei Voronkov : Title to be announced (Invited talk) : : 10:30-11:00 Break : : RTA session 6 : : 11:00-11:30 Dan Dougherty and Claudio Gutierrez : Normal forms and reduction for theories of binary relations : : 11:30-12:00 Rick Statman : On the Word Problem for Combinators : : 12:00-12:30 Markus Lohrey : Word Problems and Confluence Problems for Restricted Semi-Thue : Systems : : 12:30-14:00 Lunch : : Excursion depart 14:30 : Conference dinner from 19:30 : : Wednesday 12 July : : RTA session 7 : : 09:30-10:30 (Speaker to be announced) : (Invited talk) : : 10:30-11:00 Break : : RTA session 8 : : 11:00-11:30 Jordi Levy and Mateu Villaret : Linear Second-Order Unification and Context Unification with : Tree-Regular Constraints : : 11:30-12:00 Katrin Erk and Joachim Niehren : Parallelism Constraints : : 12:00-12:30 Philippe de Groote : Higher-order linear matching is NP-complete : : 12:30-14:00 Lunch : : RTA session 9 : : 14:00-14:30 Eduardo Bonelli, Delia Kesner, and Alejandro Rios : A de Bruijn notation for higher-order rewriting : : 14:30-15:00 Cesar Munoz and Nikolaj Bjorner : Absolute Explicit Unification : : 15:00-15:30 Break : : RTA session 10 : : 15:30-16:00 Frederic Blanqui : Termination and Confluence of Higher-Order Rewrite Systems : : 16:00-16:30 Felix Joachimski and Ralph Matthes : Standardization and Confluence for a Lambda Calculus with : Generalized Applications : : Thursday 13 July : : WESTAPP session 1 : : 9:00-10:00 Gopalan Nadathur : Explicit Substitutions in Intensional Representations of Lambda : Terms (Invited talk) : : 10:00-10:30 Mauricio Ayala-Rincon and Fairouz Kamareddine : Strategies for Simple-Typed Higher-Order Unification via : lambda-s_e style explicit substitution : : 10:30-11:00 Break : : WESTAPP session 2 : : 11:00-11:30 Stephane Vaillant : Expressing Set Theory in First-Order Predicate Logic : : 11:30-12:00 Mark Utting and Steve Reeves : Implementing Z_C Substitutions in Ergo : : 12:00-14:00 Lunch : : WESTAPP session 3 : : 14:00-15:00 N. de Bruijn : Presenting a complete mathematics book as a single lambda term : (Invited talk) : : 15:00-15:30 Hugo Herbelin : Explicit Substitutions and Reducibility : : 15:30-16:00 Break : : WESTAPP session 4 : : 16:00-16:30 Matthias M. Holzl : Sequent-Terms and Explicit Substitutions : : 16:30-17:00 Mohamed Mezghiche : lambda-C-beta: A Calculus of Explicit Substitution with Variable : Names : : RTA 2000/WESTAPP 2000 REGISTRATION DETAILS : ========================================== : : You may register by email, fax, or post. Please fill in a separate copy : of the form for each person attending. : : Email: RTA-Registration@uea.ac.uk : : Fax: +44 (0)1603 250585 : : Post: The Conference Office : The University of East Anglia : Norwich NR4 7TJ : U.K. : : Payment is by credit card, bank transfer, or cheque. : : All major credit cards are accepted, except Diners' Club. : : For bank transfer, the details are: : Barclays Bank : Bank Plain : Norwich : U.K. : a/c University of East Anglia 30918202 : Sort code 20-62-53. : Payments should be clearly marked with "RTA" and the delegate's name. : : Cheques must be drawn in Sterling on a U.K. bank, otherwise a 20.00 : pound fee is incurred. They should be payable to "The University of : East Anglia". : : Registration covers attendance at the sessions, a copy of the proceedings, : and the social events other than the excursion (paid for separately after : arrival). : : Enquiries regarding registration may be made to the conference office: : : Email: RTA-Registration@uea.ac.uk : : Telephone: +44 (0)1603 593277. : : Other enquiries may be made to the local organiser, Richard Kennaway, : at rta2000@sys.uea.ac.uk. : : It is possible to register for RTA without registering for WESTAPP. : Registration for WESTAPP requires registration for RTA. : : =============== RTA 2000/WESTAPP 2000 REGISTRATION FORM =============== : : Prices are in pounds sterling. : : CONFERENCE FEES Early Late : (Until 8 June) (After 8 June) : RTA WESTAPP RTA WESTAPP : : Non-student 130 25 150 30 : Student 70 15 90 20 : : Name: : -------------------------------------------------- : : Address: : -------------------------------------------------- : : -------------------------------------------------- : : -------------------------------------------------- : : -------------------------------------------------- : : Email: : -------------------------------------------------- : : Tel.: : -------------------------------------------------- : : Fax: : -------------------------------------------------- : : WESTAPP registration? [ ] : : Claiming early registration? [ ] : : Are you paying the student rate? [ ] : (Requires letter of confirmation of student status : from head of department by fax or post.) : : Vegetarian? [ ] : : TOTAL CONFERENCE FEE: : ---------------- : : ACCOMMODATION : All single rooms. En-suite: 26.72 per night : Standard: 19.40 per night : Please book before 8 June; after that date our reserved block of rooms : will be released and we may not be able to guarantee a room. : : Date of arrival: : ---------------- : Date of departure: : ---------------- : Number of nights: : ---------------- : En-suite or standard? : ---------------- : : TOTAL FOR ACCOMMODATION: : ---------------- : : (If you would prefer to stay in a hotel nearby, please contact the : conference office for details of hotels and prices. In this case : you should book directly with the hotel.) : : TOTAL AMOUNT PAID : (FEES + ACCOMMODATION): : ================ : : Receipt required by post or fax? [ ] : (If not, a receipt will be available at the conference.) : : Payment method (tick one): : Credit card [ ] : Bank transfer [ ] : Cheque [ ] : : If paying by credit card, give details: : : Card type (Mastercard, Visa, etc.): : --------------------------- : Card number: : --------------------------- : Card expiration date: : --------------------------- : Name as on card: : --------------------------- : : Signature if sending by fax: : --------------------------- : : =======================================================================

-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html