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:
“Politics is still the man’s game. The women are allowed to do the chores, the dirty work, and now and then—but only occasionally—one is present at some secret conference or other. But it’s not the rule. They can go out and get the vote, if they can and will; they can collect money, they can be grateful for being permitted to work. But that is all.”
—Mary Roberts Rinehart (1876–1958)
“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)