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)
“It is easy to lose confidence in our natural ability to raise children. The true techniques for raising children are simple: Be with them, play with them, talk to them. You are not squandering their time no matter what the latest child development books say about “purposeful play” and “cognitive learning skills.””
—Neil Kurshan (20th century)