| RTA'06 | 17th International Conference on Rewriting Techniques and Applications Seattle, August 12 - 14, 2006 |
Program
Friday, August 11th
Friday's program is also available side by side with other meetings.
19:00‑21:00 RTA Reception
Location:
Grand Ballroom A
Saturday, August 12th
Saturday's program is also available with abstracts or side by side with other meetings.
08:45‑10:00 FLoC Opening and Plenary Session
Chair:
Moshe Vardi, Thomas Ball, Wolfram Schulte, Rajeev Alur
Location:
Grand Ballroom C
| 08:45 | Introduction and Welcome |
| 09:00 | Randal E. Bryant
(Carnegie Mellon University) Formal Verification of Infinite State Systems using Boolean Methods [ppt] |
10:00‑10:30 Break
10:30‑12:30 Session 1: Constraints and Optimization
Chair:
Denis Lugiez
Location:
Willow A/B
| 10:30 | Michael Codish
, Vitaly Lagoon and Peter Stuckey
Solving Partial Order Constraints for LPO Termination |
| 11:00 | Traian Serbanuta
and Grigore Rosu
Computationally Equivalent Elimination of Conditions |
| 11:30 | Sergio Antoy
, Daniel Brown and Su-Hui Chiang
On the Correctness of Bubbling |
| 12:00 | Joe Hendrix
, Hitoshi Ohsaki
and Mahesh Viswanathan Propositional Tree Automata |
12:30‑14:00 Lunch break
14:00‑15:30 Session 2: Equational Reasoning
Chair:
Franz Baader
Location:
Willow A/B
15:30‑16:00 Break
16:00‑17:00 Session 3: System Verification
Chair:
Ralf Treinen
Location:
Willow A/B
| 16:00 | Yannick Chevalier and Michael Rusinowitch Hierarchical Combination of Intruder Theories |
| 16:30 | Yohan Boichut
and Thomas Genet
Feasible Trace Reconstruction for Rewriting Approximations |
17:00‑18:00 RTA Business Meeting
Location:
Willow A/B
Sunday, August 13th
Sunday's program is also available with abstracts or side by side with other meetings.
09:00‑10:00 Invited Talk
Chair:
Ashish Tiwari
Location:
Willow A/B
| 09:00 | Javier Esparza
(Institute for Formal Methods in Computer Science, University of Stuttgart) Rewriting Models of Control-Flow [pdf] |
10:00‑10:30 Break
10:30‑12:30 Session 4: Lambda Calculus
Chair:
Delia Kesner
Location:
Willow A/B
| 10:30 | Sylvain Salvati
Syntactic Descriptions: a Type System for Solving Matching Equations in the Linear Lambda-Calculus |
| 11:00 | Yo Ohta and Masahito Hasegawa
A Terminating and Confluent Linear Lambda Calculus |
| 11:30 | Ariel Arbiser
, Alexandre Miquel
and Alejandro Ríos A Lambda-Calculus with Constructors |
| 12:00 | Jose Espirito Santo
, Maria João Frade and Luís Pinto Structural Proof Theory as Rewriting |
12:30‑14:00 Lunch break
14:00‑15:30 Session 5: Theorem Proving
Chair:
Jurgen Giesl
Location:
Willow A/B
15:30‑16:00 Break
16:00‑17:00 Session 6: System Descriptions
Chair:
Eelco Visser
Location:
Willow A/B
| 16:00 | Adam Koprowski
TPA: Termination Proved Automatically |
| 16:15 | Yuki Chiba and Takahito Aoto RAPT: A Program Transformation System based on Term Rewriting |
| 16:30 | Mathieu Turuani The CL-Atse Protocol Analyser |
| 16:45 | Ian Wehrman
, Aaron Stump
and Edwin Westbrook Slothrop: Knuth-Bendix Completion with a Modern Termination Checker |
19:00‑22:00 LICS-SAT-RTA Joint Banquet
Location:
Grand Ballroom B
Monday, August 14th
Monday's program is also available with abstracts or side by side with other meetings.
09:00‑10:00 Invited Talk
Chair:
Alberto Rubio
Location:
Cirrus
| 09:00 | Jurgen Giesl
(RWTH Aachen) Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages [pdf] |
10:00‑10:30 Break
10:30‑12:00 Session 7: Termination
Chair:
Hans Zantema
Location:
Cirrus
| 10:30 | Nao Hirokawa and Aart Middeldorp
Predictive Labeling |
| 11:00 | Dieter Hofbauer
and Johannes Waldmann
Termination of String Rewriting with Matrix Interpretations |
| 11:30 | Yi Wang and Masahiko Sakai
Decidability of Termination for Semi-Constructor TRSs, Left-Linear Shallow TRSs and Related Systems |
| 12:00 | Olivier Bournez and Florent Garnier Proving Positive Almost Sure Termination Under Strategies |
12:30‑14:00 Lunch break
14:00‑15:30 Session 8: Higher-Order Rewriting and Unification
Chair:
Aart Middeldorp
Location:
Cirrus
