RTA 2008
July 15-17, 2008. Hagenberg, Austria
International Conference on Rewriting Techniques and Applications
local information
related events


Gemeindesaal, Castle of Hagenberg (Location)

(The IFIP WG 1.6 meeting program can be downloaded from here)

July 14, July 15, July 16, July 17, July 18.
Monday, July 14.
08:00The conference bus leaves from Hotel Ibis Linz.
08:20The conference bus leaves from Hauptplatz Linz.
09:00-17:00Registration. RTA collocated meetings.
Invited Tutorial. Chair: Manuel Kauers
17:00-18:00 The Algebraic Synthesis of Algorithms. Part 1: The Transposition Principle.
Erich Kaltofen.
18:00-18:30Coffee break.
18:30-19:30 The Algebraic Synthesis of Algorithms. Part 2: Elimination of Divisions.
Erich Kaltofen.
20:00-22:00RTA reception.
22:00The conference bus leaves from Hagenberg to Linz (Hauptplatz, Hotel Ibis).
Tuesday, July 15.
07:30The conference bus leaves from Hotel Ibis Linz.
07:50The conference bus leaves from Hauptplatz Linz.
08:30-08:00Registration, opening.
Invited Talk. Sesion chair: Johannes Waldmann
09:00-10:00 Verification Techniques for Cryptographic Protocols. (Slides)
Véronique Cortier.
10:00-10:30Coffee break.
Session 1. Chair: Albert Rubio
10:30-11:00Maximal Termination.
Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann and Harald Zankl.
11:00-11:30Modular Termination of Basic Narrowing.
María Alpuente, Santiago Escobar and José Iborra.
11:30-12:00Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations.
Yoshihito Toyama.
12:00-12:30Arctic Termination ... Below Zero.
Adam Koprowski and Johannes Waldmann.
Session 2. Chair: Hans Zantema
14:00-14:30Deciding Innermost Loops.
René Thiemann, Jürgen Giesl and Peter Schneider-Kamp.
14:30-15:00Innermost Reachability and Context Sensitive Reachability Properties are Decidable for Linear Right-Shallow Term Rewriting Systems.
Yoshiharu Kojima and Masahiko Sakai.
15:00-15:30Usable Rules for Context-Sensitive Rewrite Systems.
Raul Gutierrez, Salvador Lucas and Xavier Urbain.
15:30-16:00Coffee break.
Session 3. Chair: Pierre Lescanne
16:00-16:30Nominal Unification from a Higher-Order Perspective.
Jordi Levy and Mateu Villaret.
16:30-17:00Linear-Algebraic Lambda-Aalculus: Higher-Order, Encodings, and Confluence.
Pablo Arrighi and Gilles Dowek.
17:00-17:30A Finite Simulation Method in a Non-Deterministic Call-by-Need Lambda-Calculus with letrec, constructors, and case.
Manfred Schmidt-Schauss and Elena Machkasova.
17:30-18:00Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting.
Kazunori Ueda.
18:15The conference bus leaves from Hagenberg to Linz (Hauptplatz, Hotel Ibis).

Wednesday, July 16.
08:00The conference bus leaves from Hotel Ibis Linz.
08:20The conference bus leaves from Hauptplatz Linz.
Invited Talk. Session chair: Jürgen Giesl
09:00-10:00 Present and Future of Proving Termination of Rewriting. (Slides)
Albert Rubio.
10:00-10:30Coffee break.
Session 4. Chair: Ralf Treinen
10:30-11:00Logics and Automata for Totally Ordered Trees.
Marco Kuhlmann and Joachim Niehren.
11:00-11:30Closure of Hedge-Automata Languages by Hedge Rewriting.
Florent Jacquemard and Michael Rusinowitch.
11:30-12:00Tree Automata for Non-Linear Arithmetic.
Naoki Kobayashi and Hitoshi Ohsaki.
12:00-12:30Combining Equational Tree Automata Over AC and ACI Theories.
Joe Hendrix and Hitoshi Ohsaki.
Session 5. Chair: Maribel Fernandez
14:00-14:30Functional-logic Graph Parser Combinators.
Steffen Mazanek and Mark Minas.
14:30-15:00Reduction under Substitution.
Roel de Vrijer and Joerg Endrullis.
15:00-15:30Term-graph rewriting via explicit paths.
Emilie Balland and Pierre-Etienne Moreau.
15:30-16:00Coffee break.
Session 6. Chair: Bernard Gramlich
16:00-16:30Dependency Pairs for Rewriting with Built-in Numbers and Semantic Data Structures.
Stephan Falke and Deepak Kapur.
16:30-17:00A Needed Rewriting Strategy for Data-Structures with Pointers.
Rachid Echahed and Nicolas Peltier.
17:00-17:45Presentation of RISC and Softwarepark.
17:45-18:00Coffee break.
18:15The conference bus takes the SCIEnce Training School participants from Hagenberg to Linz (Hauptplatz, Hotel Ibis).
18:00-19:00RTA business meeting.
20:00The conference bus leaves from Hagenberg to Linz, hotel Arcotel.
20:30-23:00Conference dinner at Arcotel.
23:00The conference bus leaves from Arcotel to Hagenberg.

Thursday, July 17.
08:00The conference bus leaves from Hotel Ibis Linz.
08:20The conference bus leaves from Hauptplatz Linz.
Invited Talk. Session chair: Christopher Lynch
09:00-10:00 Fast Equational Reasoning with Waldmeister. (Slides)
Thomas Hillenbrand.
10:00-10:30Coffee break.
Session 7. Chair: Joachim Niehren
Christian Sternagel and Aart Middeldorp.
11:00-11:30Proving Quadratic Derivational Complexities using Context Dependent Interpretations.
Georg Moser and Andreas Schnabl.
11:30-12:00Normalization of Infinite Terms.
Hans Zantema.
12:00-12:30On Normalisation of Infinitary Combinatory Reduction Systems.
Jeroen Ketema.
Session 8. Chair: Gilles Dowek
14:00-14:30Revisiting Cut-Elimination: One Difficult Proof is Really a Proof.
Christian Urban and Bozhi Zhu.
14:30-15:00Finer is better: Abstraction Refinement for Rewriting Approximations
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Heam and Olga Kouchnarenko.
15:00-15:30Combining Rewriting with Noetherian Induction to Reason on Non-Orientable Equalities.
Sorin Stratulat.
15:30-16:00Coffee break.
Session 9. Chair: Aart Middeldorp
16:00-16:30Confluence by Decreasing Diagrams Converted.
Vincent van Oostrom.
16:30-17:00Diagram rewriting for orthogonal matrices: a study of critical peaks.
Yves Lafont and Pierre Rannou.
17:00-17:30Effectively Checking the Finite Variant Property.
Santiago Escobar, Jose Meseguer and Ralf Sasse.
19:00-22:30Trip to Linz. Pflasterspektakel 2008.
22:30The conference bus returns from Linz to Hagenberg. The meeting place in Linz will be announced later.

Friday, July 18.
08:00The conference bus leaves from Hotel Ibis Linz.
08:20The conference bus leaves from Untere Donauläende, in front of Oberbank, Linz. (updated information!)
09:00-17:00RTA collocated meetings.
18:00The conference bus leaves from Hagenberg to Linz (Untere Donauläende in front of Oberbank, Hotel Ibis).