Forwarded message from [sicstus-users@sics.se ] sent originally on Wed, 20 Oct 1999 11:31:24 -0700: : 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. : : Facilities are available for additional workshops to run following RTA. : Proposals are sought for workshops on topics relating to the conference. : The proposer of an accepted workshop is responsible for organizing its : scientific content, but the RTA Local Organizing Chair will arrange the : facilities. : : Dates: : : Workshop proposal deadline: November 30, 1999 : Submission deadline: January 15, 2000 : Notification: March 1, 2000 : Conference: July 10-12, 2000 : : Paper Submission: : : Submissions must be unpublished and not submitted for publication : elsewhere. They should be sent electronically in postscript form - : along with a one-page abstract in plain ASCII text format - to the : program chair. If electronic submission is not possible, six hard : copies may be sent instead. : : The title page 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 the author's name, address, electronic : address, and phone and fax number, if available. Papers that are : late, too long or require major revision will not be considered. : The conference proceedings are expected to be published by : Springer-Verlag in the Lecture Notes in Computer Science series, : and the use of Springer LNCS style files is strongly recommended : for submissions. : : 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. : : 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/

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