Internationell konferens om omskrivningstekniker och tillämpningar

Rewriting Techniques and Applications ( RTA ) är en årlig internationell akademisk konferens på temat omskrivning . Den täcker alla aspekter av omskrivning, inklusive uppsägning , ekvationsresonemang , satsbevisande , omskrivning av högre ordning, enande och lambdakalkylen . Konferensen består av peer-reviewed papers med handlingar publicerade av Springer i LNCS -serien fram till 2009, och sedan dess i LIPIcs -serien publicerad av Leibniz-Zentrum für Informatik. Flera omskrivningsrelaterade workshops är också anslutna till RTA.

Den första RTA hölls i Dijon , Frankrike i september 1983. RTA deltog i de federerade konferenserna Federated Logic Conference (FLoC) och Rewriting, Deduction, and Programming (RDP). Under 2016 slogs RTA samman med den internationella konferensen om maskinskrivna lambdaberäkningar och applikationer för att bilda den internationella konferensen om formella strukturer för beräkning och avdrag (FSCD).

externa länkar

• Officiell hemsida
• Lista över de 26 RTA-konferenserna, 1985-2015
• Lista över de sex FSCD-konferenserna, 2016-2021
• Omskrivningstekniker och applikationer
• Internationell konferens om formella strukturer för beräkning och avdrag