IWC 2012

1st International Workshop on Confluence

29 May 2012, Nagoya, Japan


Session 1 – invited talk (chair: Nao Hirokawa)
9:00 – 10:00 Type Introduction for Confluence Proofs
Yoshihito Toyama
Session 2 (chair: Takahito Aoto)
10:30 – 11:00 Confluence of Non-Left-Linear TRSs via Relative Termination (Extended Abstract)
Dominik Klein and Nao Hirokawa
11:00 – 11:30 A Case for Completion Modulo Equivalence
Kristoffer Rose
11:30 – 12:00 A Proof Order for Decreasing Diagrams
Bertram Felgenhauer
Session 3 – invited talk (chair: Aart Middeldorp)
13.30 – 14:30 Decreasing Proof Orders – Interpreting Conversions in Involutive Monoids
Vincent van Oostrom
Session 4 (chair: Yoshihito Toyama)
15:00 – 15:30 Recording Completion for Finding and Certifying Proofs in Equational Logic
Thomas Sternagel, René Thiemann, Harald Zankl and Christian Sternagel
15:30 – 16:00 Automatically Finding Non-Confluent Examples in Abstract Rewriting
Hans Zantema
16:00 – 16:30 IaCOP – Interface for the Administration of Cops
Christian Nemeth, Harald Zankl and Nao Hirokawa
Session 5 – CoCo and business meeting (chairs: Takahito Aoto, Nao Hirokawa, Aart Middeldorp)
16:45 – 18:15 including tool presentations:
ACP: System Description for CoCo 2012
Takahito Aoto and Yoshihito Toyama
CoCo 2012 Participant: CSI
Harald Zankl, Bertram Felgenhauer and Aart Middeldorp
Saigawa: A Confluence Tool
Dominik Klein and Nao Hirokawa
Certification of Confluence Proofs using CeTA
René Thiemann