개서 기술과 응용에 관한 국제 회의
International Conference on Rewriting Techniques and Applications |
RTA(Rewriting Technologies and Applications)는 개서를 주제로 하는 연례 국제 학술 회의입니다.종료, 등식 추론, 정리 증명, 고차 개서, 통일 및 람다 미적분을 포함한 개서의 모든 측면을 다룹니다.이 컨퍼런스는 2009년까지 LNCS 시리즈로 Springer에 의해 발표되고 이후 Leibniz-Zentrum für Informatik에 의해 발행된 LIPIcs 시리즈로 발표되는 동료 검토 논문으로 구성됩니다.또한 RTA와 연계된 리라이트 관련 워크샵도 몇 개 있습니다.
첫 번째 RTA는 1983년 9월 프랑스 디종에서 열렸다.RTA는 Federated Logic Conference(FLoC; 페더레이션 로직 회의)와 Rewriting, Deduation, and Programming(RDP)에 참가했습니다.2016년, RTA는 국제형 람다 계산 및 애플리케이션에 관한 회의와 합병하여 계산 및 연산을 위한 공식 구조에 관한 국제 회의(FSCD)를 결성했습니다.
외부 링크
