| About Conferences Related Events |
ProgrammeAccepted PapersThe 20th International Conference on Rewriting Techniques and Applications (RTA 2009) is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2009), together with the International Conference on Typed Lambda Calculi and Applications (TLCA 2009), and several workshops. The conference will be preceded by the 4th International School on Rewriting (ISR'09).RTA is the major forum for the presentation of research on all aspects of rewriting. Please see the Call For Papers for a list of topics. Submissions and PublicationRTA'09 proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series.Best Paper AwardA prize of 500 Euro will be given to the best paper as judged by the program committee. The program committee may decline to make the award or may split it among several papers.Invited SpeakersThere will be three invited talks, one of which will be joint with TLCA.
General Chair
Program Committee
About RTACreation of the series of RTA conferences was decided after the Workshop on the Rewrite Rule Laboratory, held in Schenectady (NY) in September 1983. From 1985 to 1993, RTA was a biennial conference. In 1995, RTA was merged with the Workshop on Conditional (and Typed) Term Rewriting Systems (CTRS) and became an annual conference. Previous RTA meetings were held in Dijon (1985), Bordeaux (1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), Rutgers (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), Utrecht (2001), Copenhagen (2002), Valencia (2003), Aachen (2004), Nara (2005), Seattle (2006), Paris (2007), and Hagenberg (2008).The RTA home page contains more information about the RTA series of conferences. |
