International Conference On Rewriting Techniques And Applications
Rewriting Techniques and Applications (RTA) is an annual international academic conference on the topic of rewriting. It covers all aspects of rewriting, including termination, equational reasoning, theorem proving, higher-order rewriting, unification and the lambda calculus. The conference consists of peer-reviewed papers with the proceedings published by Springer in the LNCS series until 2009, and since then in the LIPIcs series published by the Leibniz-Zentrum für Informatik. Several rewriting-related workshops are also affiliated with RTA.
The first RTA was held in Dijon, France in September 1983. RTA takes part in the federated conferences Federated Logic Conference (FLoC), and Rewriting, Deduction, and Programming (RDP).
Read more about International Conference On Rewriting Techniques And Applications: Further Reading
Famous quotes containing the words conference and/or techniques:
“For 350 years we have been taught that reading maketh a full man, conference a ready man and writing an exact man. Football’s place is to add a patina of character, a deference to the rules and a respect for authority.”
—Walter Wellesley (Red)
“The techniques of opening conversation are universal. I knew long ago and rediscovered that the best way to attract attention, help, and conversation is to be lost. A man who seeing his mother starving to death on a path kicks her in the stomach to clear the way, will cheerfully devote several hours of his time giving wrong directions to a total stranger who claims to be lost.”
—John Steinbeck (1902–1968)