RTA 2011 - 22nd Rewriting Techniques and Applications
Monday, May 30, 2011 to Wednesday, June 1, 2011, Novi Sad
Part of RDP'11
The 22nd International Conference on Rewriting Techniques and Applications (RTA'11) is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP'11) together with the International Conference on Typed Lambda Calculi and Applications (TLCA 2011) and several related events.
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), Hagenberg/Linz (2008), Brasilia (2009) and Edinburgh (2010).
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):
- Applications: case studies; analysis of cryptographic protocols; rule-based (functional and logic) programming; symbolic and algebraic computation; theorem proving; system synthesis and verification; proof checking; reasoning about programming languages and logics; program transformation; XML queries and transformations;
- Foundations: matching and unification; narrowing; completion techniques; strategies; rewriting calculi, constraint solving; tree automata; termination; complexity; combination;
- Frameworks: string, term, and graph rewriting; lambda-calculus and higher-order rewriting; constrained rewriting/deduction; categorical and infinitary rewriting; integration of decision procedures; net rewriting; binding techniques;
- Implementation: implementation techniques; parallel execution; rewrite tools; termination checking; abstract machines; explicit substitutions;
- Semantics: equational logic; rewriting logic; rewriting models of programs.
BEST PAPER AWARD:
A 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.
|Abstract Submission (extended):||January 7, 2011||January 14, 2011 (Friday) midnight Somoa / Honolulu|
|Paper Submission (extended):||January 14, 2011||January 21, 2011 (Friday) midnight Somoa / Honolulu|
|Notification:||March 4, 2011|
|Final version:||April 3, 2011|
RTA proceedings will be published by LIPIcs (Leibniz International Proceedings in Informatics). LIPIcs is open access, meaning that publications will be available online and free of charge, and authors keep the copyright for their papers. LIPIcs publications are indexed in DBLP. STACS, FSTTCS and ICLP proceedings also appear in LIPIcs. See
http://www.dagstuhl.de/en/publications/lipics for more information about LIPIcs.
Printed proceedings of RTA will be provided to the participants at the conference.
Submissions must be original and not submitted for publication elsewhere. Submissions must fall into one of the following categories (to be indicated in the title page):
- Regular research Papers: describing new results; they will be judged on correctness and significance.
- Experience papers: describing the experience of applying rewriting techniques in other areas; they will be judged on relevance and comparison with other approaches.
- Problem sets that provide realistic and interesting challenges in the field of rewriting.
- System descriptions; they should contain a link to a working system and will be judged on usefulness and design.
Additional material, for instance proof details, may be given in an appendix which is not subject to the page limit.
However, submissions must be self-contained within the respective page limit; reading the appendix should not be necessary to assess the merits of a submission.
Submissions are accepted in PDF format.
Abstracts and papers must be submitted electronically through the EasyChair system at:
INSTRUCTIONS FOR AUTHORS:
Submitted works are limited to 15 pages, including references. An appendix may or may not be part of the submission, which will not be included in the proceedings. Submissions must use the LaTeX class lipics.cls, and should take the information on the LaTeX formatting into acount. LaTeX files and formatting information is available for download: lipics-sample-article, cc-by-nc-nd, cc-by-nd, lipics-logo-bw, rta-logo, Lipics manual.
Questions concerning submissions may be addressed to the PC chair, Manfred Schmidt-Schauss.
- Sophie Tison (Univ. Lille and LIFL, France)
- Ashish Tiwari (SRI, United States)
- Stephanie Weirich (University of Pennsylvania, United States)
- Manfred Schmidt-Schauss (Frankfurt am Main)
- Franz Baader (TU Dresden, Germany)
- Frédéric Blanqui (Inria, China)
- Véronique Cortier (CNRS, Loria, France)
- Dan Dougherty (Worcester Polytechnic Institute, United States)
- Maribel Fernández (King's College London, United Kingdom)
- Jürgen Giesl (RWTH Aachen, Germany)
- Florent Jacquemard (INRIA Saclay - LSV (CNRS/ENS Cachan), France)
- Fairouz Kamareddine (Heriot-Watt University, United Kingdom)
- Salvador Lucas (Universidad Politécnica de Valencia, Spain)
- Narciso Marti-Oliet (Universidad Complutense de Madrid, Spain)
- Aart Middeldorp (University of Innsbruck, Austria)
- Georg Moser (University of Innsbruck, Austria)
- Paliath Narendran (University at Albany--SUNY, United States)
- Joachim Niehren (INRIA Lille, France)
- Hitoshi Ohsaki (AIST Osaka, Japan)
- Vincent van Oostrom (Universiteit Utrecht, The Netherlands)
- Femke van Raamsdonk (Vrije Universiteit Amsterdam, The Netherlands)
- Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
- Manfred Schmidt-Schauß (Goethe-Universität Frankfurt, Germany) (Chair)
- Aleksy Schubert (The University of Warsaw,Poland)
- Jakob Grue Simonsen (University of Copenhagen, Danmark)
- René Thiemann (University of Innsbruck, Austria)
- Christian Urban (TU München, Germany)
- Johannes Waldmann (HTWK Leipzig, Germany)
- Hans Zantema (Technische Universiteit Eindhoven, The Netherlands)
- Florent Jacquemard (INRIA Saclay, France)
RTA 2011 Conference Chair
- Silvia Ghilezan (Novi Sad)
- Johannes Waldmann (Leipzig), Chair
- Ian Mackie (Palaiseau),
- Joachim Niehren (Lille),
- Frederic Blanqui (INRIA),
- Salvador Lucas (Valencia),
- Masahiko Sakai (Nagoya), Publicity Chair
RTA Publicity Chair
- Masahiko Sakai (Nagoya)
The RTA home page contains more information about the RTA series of conferences.