|
About
Conferences
Colloquium
Workshops
Practical
|
RTA 2007
Rewriting Techniques and Applications
Tuesday, June 26, 2007 to Thursday, June 28, 2007, Paris
Part of RDP'07
RTA conference programme
The 18th International Conference on Rewriting Techniques and Applications
(RTA'07) is organized as part of the Federated Conference
on Rewriting, Deduction, and Programming (RDP'07), which comprises, in
addition to RTA'07, the conference on Typed Lambda Calculi
and Applications (TLCA'07) and eight workshops
HOR,
PATE,
RULE,
SecReT,
UNIF,
WFLP,
WRS,
and WST).
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; rule-based (functional and logic)
programming; symbolic and algebraic computation; theorem proving; system
synthesis and verification; analysis of cryptographic protocols; proof
checking; reasoning about programming languages and logics; program
transformation;
- Foundations: matching and unification; narrowing; completion
techniques; strategies; constraint solving; explicit substitutions; tree
automata; termination; combination;
- Frameworks: string, term, graph, and proof rewriting;
lambda-calculus and higher-order rewriting; proof nets; constrained
rewriting/deduction; categorical and infinitary rewriting; integration of
decision procedures;
- Implementation: compilation techniques; parallel execution; rewrite
tools; termination checking;
- Semantics: equational logic; rewriting logic; rewriting models of
programs.
Related Events The
International School on Rewriting
(ISR 2007) will be held at LORIA, Nancy, France, 2nd-6th July 2007.
See here for travel to ISR 2007.
Invited Speakers
There will be invited talks by
Proceedings
Accepted papers will be published as
volume
4533 of the
Springer Lecture
Notes in Computer Science series.
Best Paper Award
An award is given to the best paper or papers as
decided by the program committee.
Program Committee Chair
Program Committee
- Alessandro Armando
(Genova, Italy)
- Roberto Di
Cosmo (Paris, France)
-
Jürgen Giesl (Aachen, Germany)
-
Deepak Kapur (Albuquerque, USA)
-
Hélène Kirchner (Nancy, France)
-
Barbara König (Duisburg, Germany)
-
Salvador Lucas (Valencia, Spain)
-
Narciso Martí-Oliet (Madrid, Spain)
-
Tobias Nipkow (Munich, Germany)
-
Femke van Raamsdonk (Amsterdam, The Netherlands)
-
Aaron Stump (St. Louis, USA)
-
Sophie Tison (Lille, France)
-
Ralf Treinen (Cachan, France)
RTA'07 Conference Chairs
RTA Publicity Chair
webmaster at rdp07 dot org
|