書き換え技術と応用に関する国際会議

書き換え技術と応用( RTA ) は、書き換えをテーマにした年次国際学術会議です。この会議では、終了、等式推論、定理証明、高階書き換え、統一、ラムダ計算など、書き換えのあらゆる側面を扱います。この会議は、査読済みの論文で構成され、議事録は、2009 年まではSpringerのLNCSシリーズで、それ以降はLeibniz-Zentrum für Informatik のLIPIcsシリーズで出版されています。書き換え関連のワークショップもいくつか RTA と提携しています。

最初の RTA は、 1983 年 9 月にフランスのディジョンで開催されました。RTA は、連合会議である Federated Logic Conference (FLoC) と Rewriting, Deduction, and Programming (RDP) に参加しました。2016 年に、RTA は International Conference on Typed Lambda Calculi and Applications と合併して、International Conference on Formal Structures for Computation and Deduction (FSCD) を形成しました。

• 公式サイト
• 1985年から2015年までの26回のRTA会議のリスト
• 2016年から2021年までの6つのFSCD会議のリスト
• 書き換え技術と応用
• 計算と演繹の形式構造に関する国際会議