RTA-89 CALL FOR PAPERS Third International Conference on Rewriting Techniques and Applications April 3-5, 1989 Chapel Hill, North Carolina, U.S.A. The third bi-annual Conference on Rewriting Techniques and Applications will be held in Chapel Hill on April 3-5, 1989. Papers are being solicited in any of the following or related areas: Term rewriting systems Symbolic and algebraic computation Conditional rewriting Equational programming languages Graph rewriting and grammars Completion procedures Algebraic semantics Rewrite-based theorem proving Equational reasoning Unification and matching algorithms Lambda and combinatory calculi Term-based architectures Proceedings are planned for publication by Springer-Verlag as part of their Lecture Notes in Computer Science series. Both original research papers and state-of-the-art technical surveys are solicited. Descriptions of new, implemented systems will also be considered. All submissions should be clearly written in English and include references and comparisons with related work, where appropriate. (If a substantially similar paper has or will be submitted for publication elsewhere, this fact must be noted in the cover letter.) Each submission should include 10 (ten) copies of a full draft paper of no more than 15 (fifteen) double-spaced pages. (If a copier is unavailable to the author, one copy will suffice.) Please include an electronic address, if available. Submissions must reach the following address no later than October 17, 1988: Nachum Dershowitz, RTA-89 Department of Computer Science University of Illinois at Urbana-Champaign 1304 West Springfield Ave. telephone: [+1] (217) 333-8879 Urbana, IL 61801-2987 Internet: nachum@a.cs.uiuc.edu U.S.A. Bitnet: nachum@uiucvmd Notification of acceptance or rejection by December 5, 1988. Camera-ready copy (following special guidelines) due January 20, 1989. Program Committee: Bruno Courcelle (Bordeaux) Deepak Kapur (Albany) Nachum Dershowitz (Urbana), Chair Claude Kirchner (Nancy) Jean Gallier (Philadelphia) Jan Willem Klop (Amsterdam) Jieh Hsiang (Stony Brook) Dallas Lankford (Ruston) Jean-Pierre Jouannaud (Orsay) Mark Stickel (Menlo Park) Local Arrangements Chair: David A. Plaisted Department of Computer Science CB# 3175, 352 Sitterson Hall University of North Carolina at Chapel Hill Chapel-Hill, NC 27599-3175 telephone: [+1] (919) 962-1751 U.S.A. Internet: plaisted@cs.unc.edu RTA-89 will be held on or near the campus of the University of North Carolina in Chapel Hill. A block of rooms has been reserved at the Carolina Inn near campus. Chapel Hill, a town of about 40,000 in central North Carolina, blends a mild climate, a relaxed southern atmosphere, and the charm of a college town with such cultural advantages as excellent theater and music, an art museum, and a planetarium. The Carolina beaches, Cape Hattaras, Great Smoky Mountains National Park, and the Blue Ridge Mountains are only a few hours away. North Carolina is known for its dogwoods, which are in bloom in early April. The University of North Carolina at Chapel Hill was the first state university to open its doors in 1795, and currently enrolls approximately 22,000 students. The Computer Science Department has about 120 full-time graduate students, and is particularly well known for its work in computer graphics. In 1987 the Department moved into a new building, which has one of the most advanced communications systems in the country. Together with Duke University and North Carolina State University, UNC at Chapel Hill is one of the vertices of the Research Triangle, a rapidly growing cluster of laboratories and start-up companies. A number of major corporations have facilities at the nearby Research Triangle Park, one of the nation's largest and most successful research centers. The Microelectronics Center of North Carolina (MCNC) is also located at the Research Triangle Park. Previous meetings were held in Dijon (1985) and Bordeaux (1987); their proceedings were also published by Springer. Further details and the final program will be sent to anyone submitting a paper or otherwise expressing interest in the meeting.