dswise@iuvax.cs.indiana.edu (David S. Wise) (11/29/88)
\documentstyle[fullpage]{report}
\pagestyle{empty}
\headsep 0pt
\textheight 9in
\begin{document}
\begin{center}
\LARGE{\bf RTA--89}
\medskip
\large{\bf CALL FOR PAPERS}
\end{center}
\bigskip
\begin{tabbing}
\large{Third International Conference on} \`\
\large{April 3--5, 1989}\\
\large{Rewriting Techniques and Applications} \`\
\large{Chapel Hill, North Carolina, U.S.A.}
\end{tabbing}
\bigskip
The third bi-annual {\it 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:
\tabcolsep = 0.4in
\begin{center}
\begin{tabular}{l l}
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
\end{tabular}
\end{center}
Original papers, as well as technical expository ones, 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.
The submission deadline has been extended to
{\it October 27, 1988}:
\begin{center}
\begin{tabular}{l l}
Nachum Dershowitz, RTA--89\\
University of Illinois\\
1304 West Springfield Ave. & telephone: [+1] (217) 333--8879\\
Urbana, IL\ \ 61801--2987 & Internet: nachum@m.cs.uiuc.edu\\
U.S.A. & Bitnet: nachum@uiucvmd
\end{tabular}
\end{center}
\noindent
Notification of acceptance or rejection by {\it December 19, 1988}.
Camera-ready copy (following special guidelines) due {\it January 20, 1989}.
Published proceedings as part of Springer-Verlag's
Lecture Notes in Computer Science series are planned.
\medskip
\noindent
{\bf Program Committee:}
\begin{center}
\begin{tabular}{l l}
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)
\end{tabular}
\end{center}
\noindent
{\bf Local Arrangements Chair:}
\begin{center}
\begin{tabular}{l l}
David Plaisted\\
New West Hall 035--A\\
University of North Carolina\\
Chapel-Hill, NC\ \ 27514 & telephone: [+1] (919) 962--7340\\
U.S.A. & Internet: plaisted@cs.unc.edu
\end{tabular}
\end{center}
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.
This conference is in cooperation with ACM.
Previous meetings were held in Dijon (1985) and Bordeaux (1987); their
proceedings were published by Springer-Verlag as part of their Lecture
Notes in Computer Science series.
Further details and the final program will be sent to anyone submitting a
paper or otherwise expressing interest in the meeting.
\begin{center}
{\bf ****************************** PLEASE POST ******************************}
\end{center}
\end{document}