Rewriting Techniques and Applications (RTA) is an annual international

academic conference An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an Convention (meeting), event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic jou ...

on the topic of

rewriting In mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. Such methods may be achieved by rewriting systems (also known as rewrite systems, rewrite engines, or reduc ...

. It covers all aspects of rewriting, including termination, equational reasoning,

theorem proving Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a majo ...

, higher-order rewriting, unification and the

lambda calculus In mathematical logic, the lambda calculus (also written as ''λ''-calculus) is a formal system for expressing computability, computation based on function Abstraction (computer science), abstraction and function application, application using var ...

. The conference consists of peer-reviewed papers with the proceedings published by

Springer Springer or springers may refer to: Publishers * Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag. ** Springer Nature, a multinationa ...

in the

LNCS ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials ...

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 (, ; ; in Burgundian language (Oïl), Burgundian: ''Digion'') is a city in and the Prefectures in France, prefecture of the Côte-d'Or Departments of France, department and of the Bourgogne-Franche-Comté Regions of France, region in eas ...

France France, officially the French Republic, is a country located primarily in Western Europe. Overseas France, Its overseas regions and territories include French Guiana in South America, Saint Pierre and Miquelon in the Atlantic Ocean#North Atlan ...

in September 1983. RTA took part in the federated conferences Federated Logic Conference (FLoC) and Rewriting, Deduction, and Programming (RDP). In 2016, RTA merged with the International Conference on Typed Lambda Calculi and Applications to form the International Conference on Formal Structures for Computation and Deduction (FSCD).

External links

Official websiteList of the six FSCD conferences, 2016-2021Rewriting Techniques and ApplicationsInternational Conference on Formal Structures for Computation and Deduction
Theoretical computer science conferences Logic conferences {{compu-conference-stub