About Conferences Colloquium Workshops Practical

RTA 2007 Programme



Tuesday, June 26


8:15 - 9:00      Arrival of participants and registration

       RTA/TLCA joint invited speaker (Amphithéâtre Jean Fourastié)
    Chair: Femke van Raamsdonk
8:55 - 9:00      Welcome.
9:00 - 10.00      Frank Pfenning. On a Logical Foundation for Explicit Substitutions.

10:00 - 10:30      Coffee Break

       RTA Session 2: regular papers (Amphithéâtre Jean Fourastié)
    Chair: Delia Kesner
10:30 - 11:00      Kentaro Kikuchi. Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi.
11:00 - 11:30      José Espírito Santo. Delayed Substitutions.
11:30 - 12:00      Horatiu Cirstea and Germain Faure. Confluence of Pattern-Based Calculi.
12:00 - 12:30      Lionel Vaux. On Linear Combinations of λ-Terms.

12:30 - 14:00      Lunch

       RTA Session 3: system descriptions (Amphithéâtre Jean Fourastié)
    Chair: Salvador Lucas
14:00 - 14:20      Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles. Tom: Piggybacking Rewriting on Java.
14:20 - 14:40      Mark Hills, Grigore Rou. KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis.
14:40 - 15:00      Claude Marché, Johannes Waldmann, Hans Zantema. The Termination Competition 2007.

15:30 - 16:00      Coffee Break

       RTA Session 4: regular papers (Amphithéâtre Jean Fourastié)
    Chair: Jürgen Giesl
15:30 - 16:00      Martin Korp and Aart Middeldorp. Proving Termination of Rewrite Systems using Bounds.
16:00 - 16:30      Hans Zantema and Johannes Waldmann. Termination by Quasi-Periodic Interpretations.
16:30 - 17:00      Harald Zankl and Aart Middeldorp. Satisfying KBO Constraints.
17:00 - 17:30      Temur Kutsia, Jordi Levy and Mateu Villaret. Sequence Unification Through Currying.

       RDP Reception (Chapel)
18:00 - 22:00      Reception, with an evening talk by Henk Barendregt. The Diamond Anniversary of Lambda Calculus.

Wednesday, June 27


8:15 - 9:00      Arrival of participants

       RTA invited talk (Amphithéâtre Jean Fourastié)
    Chair: Manfred Schmidt-Schauß
9:00 - 10.00      Xavier Leroy. Formal Verification of an Optimizing Compiler.

10:00 - 10:30      Coffee Break

       RTA Session 6: regular papers (Amphithéâtre Jean Fourastié)
    Chair: Ralf Treinen
10:30 - 11:00      Yohan Boichut, Thomas Genet, Thomas Jensen and Luka Le Roux. Rewriting Approximations for Fast Prototyping of Static Analyzers.
11:00 - 11:30      Santiago Escobar and José Meseguer. Symbolic Model Checking of Infinite-State Systems Using Narrowing.
11:30 - 12:00      Siva Anantharaman, Paliath Narendran and Michael Rusinowitch. Intruders with Caps.
12:00 - 12:30      Irène Anne Durand and Géraud Sénizergues. Bottom-Up Rewriting is Inverse Recognizability Preserving.

12:30 - 14:00      Lunch

       TLCA invited talk (Amphithéâtre Jean Fourastié)
    Chair: Frank Pfenning
14:00 - 15:00      Greg Morrisett. The Marriage of Dependent Types and Effects.

15:00 - 15:30      Coffee Break

       RTA Session 8: regular papers (Amphithéâtre Jean Fourastié)
    Chair: Hélène Kirchner
15:30 - 16:00      Manfred Schmidt-Schauß. Correctness of Copy in Calculi with Letrec.
16:00 - 16:30      Joe Hendrix and José Meseguer. On the Completeness of Context-Sensitive Order-Sorted Specifications.
16:30 - 17:00      Rachid Echahed and Nicolas Peltier. Non Strict Confluent Rewrite Systems for Data-Structures with Pointers.
17:00 - 17:30      Dominique Duval, Rachid Echahed and Frederic Prost. Adjunction for Garbage Collection with Application to Graph Rewriting.

       RDP/RTA business meetings (Amphithéâtre Friedmann)
17:45 - 18:15      RDP business meeting.
18:15 - 19:15      RTA business meeting.

21:00 - 23:00      RDP Banquet

Thursday, June 28


8:15 - 9:00      Arrival of participants

       TLCA invited talk (Amphithéâtre Jean Fourastié)
    Chair: Simona Ronchi Della Rocca
9:00 - 10.00      Patrick Baillot. From Proof-Nets to linear Logic Type Systems for Polynomial Time Computing.

10:00 - 10:30      Coffee Break

       RTA Session 10: regular papers (Amphithéâtre Jean Fourastié)
    Chair: Roberto di Cosmo
10:30 - 11:00      Makoto Tatsuta. The Maximum Length of Mu-Reduction in Lambda Mu-Calculus.
11:00 - 11:30      Gilles Dowek and Olivier Hermant. A Simple Proof that Super-Consistency Implies Cut Elimination.
11:30 - 12:00      Lutz Straßburger. A Characterisation of Medial as Rewriting Rule.
12:00 - 12:30      Thierry Boy de la Tour and Mnacho Echenim. Determining Unify-Stable Presentations.

12:30 - 14:00      Lunch

       RTA invited talk (Amphithéâtre Jean Fourastié)
    Chair: Franz Baader
14:00 - 15:00      Robert Nieuwenhuis. Challenges in Satisfiability Modulo Theories.

15:00 - 15:30      Coffee Break

       RTA Session 12: regular papers (Amphithéâtre Jean Fourastié)
    Chair: Sophie Tison
15:30 - 16:00      Vincent van Oostrom. Random Descent.
16:00 - 16:30      Guillem Godoy, Eduard Huntingford and Ashish Tiwari. Termination of Rewriting with Right-Flat Rules.
16:30 - 17:00      Rémy Haemmerlé and François Fages. Abstract Critical Pairs and Confluence of Arbitrary Binary Relations.
17:00 - 17:30      Guillem Godoy and Eduard Huntingford. Innermost-Reachability and Innermost-Joinability are Decidable for Shallow Term Rewrite Systems.

webmaster at rdp07 dot org