Reminder -- RTA 2000/WESTAPP 2000 Call for Participation

• Subject: Reminder -- RTA 2000/WESTAPP 2000 Call for Participation
• From: Richard Kennaway <jrk@sys.uea.ac.uk>
• Date: Mon, 19 Jun 2000 15:40:56 +0100

With apologies for multiple announcements.

                      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.  The invited
speakers are Jose Meseguer, Dale Miller, and Andrei Voronkov.  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.

Web pages:  http://www.sys.uea.ac.uk/RTA2000/

Detailed programme:  http://www.sys.uea.ac.uk/RTA2000/programme.html

REGISTRATION FORM:  http://www.sys.uea.ac.uk/RTA2000/registration.txt

THOSE INTENDING TO COME SHOULD BOOK AS SOON AS POSSIBLE, or we may not
be able to guarantee a room on campus.  Note that the University's
graduation ceremonies will begin on Wednesday 12 July, so there will be
particular pressure on accommodation for the nights of 11 and 12 July.

================

• Prev: 2nd CFP FLOPS 2001
• Next: <<UML>>2000: Preliminary Call For Participation
• Index: AMAST Mail 2000