IWC PROGRAM
Saturday, July 7th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 23F: Invited Talk and Higher Dimensional Rewriting
Chair:
Location: Blavatnik Seminar Room 4
09:00 | Confluence in Constraint Handling Rules: An overview from early, fundamental results to recent extensions including state invariants and conf. modulo equivalence. (abstract) |
10:00 | Coherence modulo relations (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 26G: Algebraic Structures and Coherence
Chair:
Location: Blavatnik Seminar Room 4
11:00 | Coherence of monoids by insertions (abstract) |
11:30 | Critical pairs for Gray categories (abstract) |
12:00 | The diamond lemma for free modules (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 28F: Term Rewriting
Chair:
Location: Blavatnik Seminar Room 4
14:00 | Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs (abstract) |
14:30 | Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL (abstract) |
15:00 | Certified Ordered Completion (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 31G: Applications and Business Meeting
Chair:
Location: Blavatnik Seminar Room 4
16:00 | Complete Axiom System of Cluster Algebra (abstract) |
16:30 | IWC Business Meeting (abstract) |
19:45-22:00 Workshops dinner at Balliol College
Workshops dinner at Balliol College. Drinks reception from 7.45pm, to be seated by 8:15 (pre-booking via FLoC registration system required; guests welcome).
Location: Balliol College