IWC PROGRAM
Sunday, July 13th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:25-10:15 Session 25: Opening and invited talk
Location: FH, Seminarraum 303
| 09:25 | On the Formalization of Lambda-Calculus Confluence and Residuals (abstract) |
10:15-10:45Coffee Break
10:45-11:45 Session 26J: Regular talks
Location: FH, Seminarraum 303
| 10:45 | Certification of Confluence Proofs using CeTA (abstract) |
| 11:15 | Confluence and Critical-Pair-Closing Systems (abstract) |
12:00-13:00 Session 29A: Regular talks
Location: FH, Seminarraum 303
| 12:00 | Critical Pairs in Network Rewriting (abstract) |
| 12:30 | On Proving Confluence of Conditional Term Rewriting Systems via the Computationally Equivalent Transformation (abstract) |
13:00-14:30Lunch Break
14:30-15:30 Session 31D: Joint IWC / TermGraph Invited Talk (joint with TermGraph)
Chair:
Location: FH, Seminarraum 325/2
| 14:30 | An Introduction to Higher-Dimensional Rewriting Theory (abstract) |
15:30-16:00 Session 33B: Regular talk
Location: FH, Seminarraum 303
| 15:30 | Confluence of linear rewriting and homology of algebras (abstract) |
16:00-16:30Coffee Break
16:30-18:15 Session 34I: Regular talks, confluence competition (CoCo) and closing
Location: FH, Seminarraum 303
| 16:30 | Normalization Equivalence of Rewrite Systems (abstract) |
| 17:00 | Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract) (abstract) |
| 17:30 | Confluence Competition (abstract) |