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

Program: IWC 2012

Tuesday May 29, Main hall on the 2nd floor

09:00-10:00 Session 1 (Invited Talk)

Yoshihito Toyama. Type Introduction for Confluence Proofs.
10:00-10:30 Coffee break

10:30-12:00 Session 2

Dominik Klein and Nao Hirokawa. Confluence of Non-Left-Linear TRSs via Relative Termination (Extended Abstract).
Kristoffer Rose. A Case for Completion Modulo Equivalence.
Bertram Felgenhauer. A Proof Order for Decreasing Diagrams.
12:00-13:30 Lunch

13:30-14:30 Session 3 (Invited Talk)

Vincent van Oostrom. Decreasing Proof Orders – Interpreting Conversions in Involutive Monoids.
14:30-15:00 Coffee break

15:00-16:30 Session 4

Thomas Sternagel, René Thiemann, Harald Zankl, and Christian Sternagel. Recording Completion for Finding and Certifying Proofs in Equational Logic.
Hans Zantema. Automatically Finding Non-Confluent Examples in Abstract Rewriting.
Christian Nemeth, Harald Zankl, and Nao Hirokawa. IaCOP – Interface for the Administration of Cops.
16:30-16:45 Short break

16:45-18:15 Session 5 CoCo and business meeting

The following tools will be demonstrated.
    Takahito Aoto and Yoshihito Toyama. ACP: System Description for CoCo 2012.
    Harald Zankl, Bertram Felgenhauer, and Aart Middeldorp. CoCo 2012 Participant: CSI.
    Dominik Klein and Nao Hirokawa. Saigawa: A Confluence Tool.
    René Thiemann. Certification of Confluence Proofs using CeTA.
See the official website of Confluence Competition (CoCo): http://coco.nue.riec.tohoku.ac.jp/