RISC-Linz
RTA 2008
July 15-17, 2008. Hagenberg, Austria
International Conference on Rewriting Techniques and Applications
 
home
|
meetings
|
dates
|
speakers
|
committees
|
submission
|
registration
|
program
|
local information
|
related events
  
search:


The 19th International Conference on Rewriting Techniques and Applications (RTA 2008) is organised as part of the RISC Summer 2008, which comprises five conferences, five workshops and the Training School in Symbolic Computation, and is followed by the 3rd International School on Rewriting in Obergurgl.

The Castle of Hagenberg

Topics

RTA is the major forum for the presentation of research on all aspects of rewriting. Typical areas of interest include (but are not limited to):

Best Paper Award

The program committee decided to give the RTA Best Paper Award to Naoki Kobayashi and Hitoshi Ohsaki for their paper "Tree Automata for Non-Linear Arithmetic".

Student Support

A limited number of travel grants is available for students who would not otherwise have resources to attend RTA 2008, and whose attendance would benefit both the applicant and the conference.

The number of grants and the per-grant amount will be established on a case by case basis, depending on the applicant's need and the total amount of funds available for the program. Applicants should note that a grant is limited, and that costs in excess of the grant will not be reimbursed.

Grants will be awarded based on the grant committee's assessment of the applicant's genuine financial need, the potential benefit to the applicant's education, research, and career, and the potential benefit to the conference. Among those applicants who genuinely could not attend the conference without a grant, the evaluating committee gives priority to (co-)authors of accepted papers.

Applicants should download and fill the application form and send it by June 6 by email to rta2008grant@risc.uni-linz.ac.at. Applicants should have their supervisor send a recommendation email to the same address and by the same deadline. This letter should describe the student's work, the benefit to that work of attending the conference, and an assessment of the student's financial need.

Funds will be provided after the conference, upon submission of receipts.

Timeline:

Grants Committee

Call for Papers and Poster

Download:

Previous RTAs

Creation 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), and Paris (2007).

Sponsors

RICAM Land Oberoestereich Linzer Hochschulfonds BMWF


webmaster