lescanne@crin.UUCP (Pierre LESCANNE) (08/09/86)
[Forwarded from TheoryNet by Laws@SRI-STRIPE.] CALL FOR PAPERS RTA-87 2nd INTERNATIONAL CONFERENCE on REWRITING TECHNIQUES AND APPLICATIONS May 25-27 1987 Bordeaux, France TOPICS In May 1985 the First International Conference on Rewriting Techniques and Applications met at Dijon. The conference was a great success, attracting over 100 researchers working on rewriting techniques. The second conference will take place at Bordeaux, another city famous for its wine, in May 1987. Papers concerning the theory and applications of term rewriting are solicited for the conference. Areas of interest include the following, but authors are encouraged to submit papers on other topics as well. Equational Deduction Functional and Logic Programming Computer Algebra Automated Theorem Proving Unification and Matching Algorithms Rewrite Rule Based Expert Systems Algebraic and Operational Semantics Semantics of Nondeterminism Theory of general rewriting systems Rewriting and Computer Architecture Specification, Transformation, Validation and Generation of Programs SUBMISSION Each submission should include 11 copies of a one page abstract and 4 copies of a full paper of no more than 15 double spaced pages. Submissions are to be sent to one of the Co-Chairmen: For Europe: Pierre Lescanne, RTA-87, Centre de Recherche en Informatique de Nancy, Campus Scientifique, BP 239, 54506 Vandoeuvre-les-Nancy Cedex, FRANCE. For other countries: David Plaisted, RTA-87, Department of Computer Science, New West Hall 035-A, University of North Carolina at Chapel Hill, Chapel Hill NC 27514, USA. Paper selection will be done by circulating abstracts to all members of the program committee, with each full paper assigned to several committee members having appropriate expertise. In addition to selected papers, a few invited lectures will be given by well-known researchers who have made major contributions in the field: INVITED LECTURERS J-P. Jouannaud, University of Paris-Sud, France, D. Musser, GE Research and Development Laboratory, Schenectady, USA, M. O'Donnell, University of Chicago, Illinois, USA. SCHEDULE Paper submission deadline is December 15, 1986. Acceptance/Rejection by January 25, 1987. Camera ready copy by March 9. Proceedings will be distributed at the conference and published by Springer Verlag in the LNCS series. PROGRAM COMMITTEE B. Buchberger, University of Linz, Austria, R. Book, University of Santa Barbara, USA, B. Courcelle, University of Bordeaux, France, N. Dershowitz, University of Illinois, USA, J. Guttag, MIT, USA, D. Kapur, General Electric, USA, P. Lescanne, (Program co-Chairman) CRIN, France, R. Loos, University of Karlsruhe, FRG, D. Plaisted, (Program co-Chairman), University of North Carolina, USA G. Plotkin, University of Edinburgh, UK, M. Stickel, SRI-International, USA. LOCAL COMMITTEE B. Courcelle, R. Cori, M. Claverie For information send mail on UUCP to: mcvax!inria!crin!lescanne or on ARPAnet to: pierre@larch. -------------- TN Message #62 --------------