posted by system || 4994 views || tracked by 6 users: [display]

RTA 2011 : 22nd International Conference on Rewriting Techniques and Applications


Conference Series : Rewriting Techniques and Applications
When May 30, 2011 - Jun 1, 2011
Where Novi Sad, Serbia
Abstract Registration Due Jan 14, 2011
Submission Deadline Jan 21, 2011
Notification Due Mar 4, 2011
Final Version Due Apr 3, 2011

Call For Papers

The 22nd International Conference on Rewriting Techniques and
Applications (RTA 2011) is organized as part of the
Federated Conference on Rewriting, Deduction, and Programming
(RDP 2011), together with the International Conference on
Typed Lambda Calculi and Applications (TLCA 2011), and several
RDP 2011 will be held at the University of Novi Sad, Serbia.


Abstract Submission: January 14, 2011 (Friday)

Paper Submission: January 21, 2011 (Friday)

Notification: March 4, 2011 (Friday)

Final version: April 3, 2011 (Sunday)

Conference May 30, 2011 (Monday)

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

* Semantics: equational logic; rewriting logic; rewriting models of

Ashish Tiwari (SRI,USA) and Sophie Tison (Univ. Lille and LIFL, France) will be invited
speakers at RTA.
Stephanie Weirich, Univ. Pennsylvania will be the invited RDP speaker\\

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.

* Manfred Schmidt-Schauss (Goethe-Universitaet Frankfurt, Germany)

Franz Baader (TU Dresden, Germany)
Frederic Blanqui (INRIA, China)
Veronique Cortier (CNRS, Loria, France)
Dan Dougherty (Worcester Polytechnic Institute, United States)
Maribel Fernandez (King's College London, United Kingdom)
Juergen Giesl (RWTH Aachen, Germany)
Florent Jacquemard (INRIA Saclay, France)
Fairouz Kamareddine (Heriot-Watt University, United Kingdom)
Salvador Lucas (Universidad Politecnica 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-Schauss (Goethe-Universitaet Frankfurt, Germany) (Chair)
Aleksy Schubert (The University of Warsaw,Poland)
Jakob Grue Simonsen (University of Copenhagen, Danmark)
Rene Thiemann (University of Innsbruck, Austria)
Christian Urban (TU M√ľnchen, Germany)
Johannes Waldmann (HTWK Leipzig, Germany)
Hans Zantema (Technische Universiteit Eindhoven, The Netherlands)

Silvia Ghilezan, Univ. Novi Sad, Serbia

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 for more information about

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):

1. Regular research Papers: describing new results; they will be judged
on correctness and significance.

2. Experience papers: describing the experience of applying rewriting
techniques in other areas; they will be judged on relevance and
comparison with other approaches.

3. Problem sets that provide realistic and interesting challenges in
the field of rewriting.

4. System descriptions; they should contain a link to a working system
and will be judged on usefulness and design.

All submissions will be judged on originality and quality of
presentation. Submissions in the first three categories can be up to 15
proceedings pages long, system descriptions up to 10 proceedings pages.
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.

Abstracts and papers must be submitted electronically through the
EasyChair system at:

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 at

Questions concerning submissions may be addressed to the PC chair,
Manfred Schmidt-Schauss (schauss "AT"

Related Resources

PACT 2022   International Conference on Parallel Architectures and Compilation Techniques
COCOA 2023   The 16th Annual International Conference on Combinatorial Optimization and Applications
NLPTA 2022   3rd International Conference on NLP Techniques and Applications
Distributed ML and Opt. 2023   Distributed Machine Learning and Optimization: Theory and Applications
MDA AI&PR 2023   18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,
EvoCompAISecurity&Privacy 2022   Evolutionary Computing for AI-Driven Security and Privacy: Advancing the state-of-the-art applications
CETA 2023   2023 2nd International Conference on Computer Engineering, Technologies and Applications (CETA 2023)
MLDS 2022   3rd International Conference on Machine Learning Techniques and Data Science
CETA--Ei 2023   2023 2nd International Conference on Computer Engineering, Technologies and Applications (CETA 2023)
MDA AI&PR 2023   MDA AI&PR 2023 : 18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biomet