IWC PROGRAM
Monday, August 1st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 26C: Confluence criteria and completeness
Chair:
Location: Ullmann 306
| 09:00 | Development Closed Critical Pairs: Towards a Formalized Proof (abstract)  PRESENTER: Aart Middeldorp |
| 09:30 | On Confluence of Parallel-Innermost Term Rewriting (abstract) PRESENTER: Carsten Fuhs |
| 10:00 | Uniform Completeness (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 31D: Invited talk and equivalence
Chair:
Location: Ullmann 306
| 11:00 | Seven Confluence Criteria for Solving COPS #20 (abstract) |
| 12:00 | Formalized Signature Extension Results for Equivalence (abstract) PRESENTER: Fabian Mitterwallner |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 34E: Conditional rewriting
Chair:
Location: Ullmann 306
| 14:00 | On local confluence of conditional rewrite systems (abstract) |
| 14:30 | A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems (abstract) PRESENTER: Takahito Aoto |
| 15:00 | Proving Confluence with CONFident (abstract) PRESENTER: Raúl Gutiérrez |
15:30-16:00Coffee Break
16:00-18:00 Session 37E: Higher-order rewriting and CoCo
Location: Ullmann 306
| 16:00 | Confluence by Higher-Order Multi--One Critical pairs with an application to the Functional Machine Calculus (abstract) |
| 16:30 | Checking Confluence of Rewrite Rules in Haskell (abstract) |
| 17:00 | Confluence Competition |
18:00-19:00 Session 42: A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
Chair:
Location: Taub 1
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event