Rewriting Techniques and Applications
Encyclopedia
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).
Academic conference
An academic conference or symposium is a conference for researchers to present and discuss their work. Together with academic or scientific journals, conferences provide an important channel for exchange of information between researchers.-Overview:Conferences are usually composed of various...
on the topic of rewriting
Rewriting
In mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. What is considered are rewriting systems...
. It covers all aspects of rewriting, including termination, equational reasoning, theorem proving, higher-order rewriting, unification and the lambda calculus
Lambda calculus
In mathematical logic and computer science, lambda calculus, also written as λ-calculus, is a formal system for function definition, function application and recursion. The portion of lambda calculus relevant to computation is now called the untyped lambda calculus...
. The conference consists of peer-reviewed papers with the proceedings published by Springer
Springer Science+Business Media
- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
in the LNCS
Lecture Notes in Computer Science
Lecture Notes in Computer Science is a series of computer science books that has been published by Springer Science+Business Media since 1973....
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
Dijon
Dijon is a city in eastern France, the capital of the Côte-d'Or département and of the Burgundy region.Dijon is the historical capital of the region of Burgundy. Population : 151,576 within the city limits; 250,516 for the greater Dijon area....
, France
France
The French Republic , The French Republic , The French Republic , (commonly known as France , is a unitary semi-presidential republic in Western Europe with several overseas territories and islands located on other continents and in the Indian, Pacific, and Atlantic oceans. Metropolitan France...
in September 1983. RTA takes part in the federated conferences Federated Logic Conference (FLoC)
Federated Logic Conference
The Federated Logic Conference is an international conglomeration of several mathematical logic and computer science related academic conferences that deal with the intersection of the two fields...
, and Rewriting, Deduction, and Programming (RDP).