CALL FOR PAPERS RTA 2000 Eleventh International Conference on Rewriting Techniques and Applications July 10-12, 2000 University of East Anglia, Norwich, U.K. http://www.sys.uea.ac.uk/RTA2000/ RTA solicits papers on theoretical and practical topics related to rewriting in a broad sense. Suggested, but not exclusive, topics include: Term, string, and graph rewrite systems Conditional and typed systems Equational reasoning and programming Rewrite-based theorem proving Lambda calculi Higher-order rewriting Unification and matching Explicit substitution Constrained rewriting and deduction Constraint solving Parallel rewriting and deduction Rewriting logic Completion techniques Symbolic and algebraic computation In addition to full research papers, descriptions of new working systems and problem sets that provide realistic, interesting challenges in the field of rewriting techniques are also welcome. Paper submission is electronic. The deadline for submissions is January 31, 2000. Submissions must be unpublished and not submitted for publication elsewhere. Authors should include the submission category (research papers of up to 15 pages, system descriptions of up to 4 pages, or problem sets) as well as an abstract of 100-200 words of ASCII text. For details, see http://www.cs.sunysb.edu/~rta2000/submission.html Papers that are late, too long, or require major revision will not be considered. Notifications of acceptance or rejection will be sent by March 1, 2000. Program Chair: Leo Bachmair Department of Computer Science SUNY at Stony Brook Stony Brook, New York 11794, U.S.A. rta2000@cs.sunysb.edu Program Committee: Franz Baader (Aachen) Leo Bachmair (Stony Brook) Gilles Dowek (Rocquencourt) Neil Ghani (Leicester) Juergen 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) Local Organizing Chair: Richard Kennaway School of Information Systems University of East Anglia Norwich NR4 7TJ, U.K. rta2000@sys.uea.ac.uk Publicity Chair: Jose Meseguer SRI International Menlo Park, California 94025, USA meseguer@csl.sri.com RTA Organizing Committee: Hubert Comon (Cachan) Tobias Nipkow (Munich) Nachum Dershowitz, chair (Urbana) Michael Rusinowitch (Nancy) Jose Meseguer (Menlo Park) Yoshihito Toyama (Tatsunokuchi) Related Meetings: The IFIP Working Group on Term Rewriting will hold its second annual meeting at the RTA venue during the conference week. WESTAPP 2000, the Workshop on Explicit Substitutions, will be held at the RTA venue on July 13, 2000. TABLEAUX 2000 (Automated Reasoning with Analytic Tableaux and Related Methods) and FTP'00 (International Workshop on First-Order Theorem Proving) will be held during the preceding week at St. Andrews University, St. Andrews, Scotland. For general information about RTA see http://rewriting.loria.fr/rta/