IWC 2012
1st International Workshop on Confluence
29 May 2012, Nagoya, Japan
Program
| 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 | |