RTA 2012 - 23rd International Conference on Rewriting Techniques and Applications

RTA 2012: program

19:00-: Welcome reception, On the 1st floor

09:00-10:00 Invited talk 1

09:00-10:00 Claude Kirchner. Rho-Calculi for Computation and Logic.
10:00-10:30 Coffee break

10:30-12:00 Session 1 (Deduction Modulo and Normalization)

10:30-11:00 Denis Cousineau and Olivier Hermant. A Semantic Proof that Reducibility Candidates entail Cut Elimination.
11:00-11:30 Eduardo Bonelli, Delia Kesner, Carlos Lombardi and Alejandro Ríos. Normalisation for Dynamic Pattern Calculi.
11:30-12:00 Beniamino Accattoli. An Abstract Factorization Theorem for Explicit Substitutions.
12:00-13:30 Lunch

13:30-15:30 Session 2 (Confluence and Termination)

13:30-14:00 Bertram Felgenhauer. Deciding Confluence of Ground Term Rewrite Systems in Cubic Time.
14:00-14:30 Karl Gmeiner, Bernhard Gramlich and Felix Schernhammer. On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems.
14:30-15:00 Carsten Fuhs and Cynthia Kop. Polynomial Interpretations for Higher-Order Rewriting.
15:00-15:30 René Thiemann, Guillaume Allais and Julian Nagele. On the Formalization of Termination Techniques based on Multiset Orderings.
15:30-16:00 Coffee break

16:00-17:00 Session 3 (Rewriting Dynamical Systems and Stream Rewriting)

16:00-16:30 Søren Bjerg Andersen and Jakob Grue Simonsen. Term Rewriting Systems as Topological Dynamical Systems.
16:30-17:00 Christian Sattler and Florent Balestrieri. Turing-Completeness of Polymorphic Stream Equation Systems.

17:00-18:00 RTA Business Meeting

09:00-10:00 Invited talk 2

09:00-10:00 Sebastian Maneth. Dictionary-Based Tree Compression.
10:00-10:30 Coffee break

10:30-12:00 Session 4 (Compressed Terms)

10:30-11:00 Manfred Schmidt-Schauss. Matching of Compressed Patterns with Character-Variables.
11:00-11:30 Carles Creus, Adrià Gascón and Guillem Godoy. One-context Unification with STG-Compressed Terms is in NP.
11:30-12:00 Thibaut Balabonski. Axiomatic Sharing-via-Labelling.
12:00-13:30 Lunch

13:30-15:00 Session 5 (Lambda Calculus and Triangulation)

13:30-14:00 Kazushige Terui. Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus.
14:00-14:30 Beniamino Accattoli and Ugo Dal Lago. On the Invariance of the Unitary Cost Model for Head Reduction.
14:30-15:00 Vincent van Oostrom and Hans Zantema. Triangulation in Rewriting.
15:00-15:30 Coffee break

15:30-17:00 Session 6 (Infinitary Rewriting)

15:30-16:00 Patrick Bahr. Infinitary Term Graph Rewriting is Simple, Sound and Complete.
16:00-16:30 Jeroen Ketema. Reinterpreting Compression in Infinitary Rewriting.
16:30-17:00 Paula Severi and Fer-Jan de Vries. Meaningless Sets in Infinitary Combinatory Logic.

18:00-20:30 RTA Banquet, Koshoji-temple

09:00-10:00 Invited talk 2

09:00-10:00 Hirokazu Anai. Computational Real Algebraic Geometry in Practice.
10:00-10:30 Coffee break

10:30-12:30 Session 7 (Safety Verification and Other Applications)

10:30-11:00 Alexei Lisitsa. Finite Models vs Tree Automata in Safety Verification.
11:00-11:30 Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier and Jan Stückrath. On the Decidability Status of Reachability and Coverability in Graph Transformation Systems.
11:30-12:00 Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn Talcott and Ranko Perovic. A Rewriting Framework for Activities Subject to Regulations.
12:00-12:30 Osama Al-Hassani, Quratul-Ain Mahesar, Claudio Sacerdoti Coen and Volker Sorge. A Term Rewriting System for Kuratowski's Closure-Complement Problem.

13:00-22:00 Excursion (lunch in the bus)