IWC 2016 Presentations (Slides)

Chenavier Cyrille. An Algebraic Approach of Confluence and Completion Slides

Sayaka Ishizuki, Masahiko Sakai and Michio Oyamaguchi. Conditions for confluence of innermost terminating term rewriting systems Slides not available yet.

Bertram Felgenhauer. Efficiently Deciding Uniqueness of Normal Forms and Unique Normalization for Ground TRSs Slides

Joerg Endrullis, Jan Willem Klop and Roy Overbeek. Decreasing Diagrams: Two Labels Suffice Slides (presented by Bertram Felgenhauer)

Thomas Sternagel and Christian Sternagel. Formalized Confluence of Quasi-Reductive, Strongly Deterministic Conditional TRSs Slides

Franziska Rapp and Aart Middeldorp. Confluence Properties on Open Terms in the First-Order Theory of Rewriting Slides

Julian Nagele, Vincent van Oostrom and Christian Sternagel. A Short Mechanized Proof of the Church-Rosser Theorem in Nominal Isabelle Slides

Naoki Nishida. Notes on Confluence of Ultra-WLL SDCTRSs via a Structure-Preserving Transformation Slides

Stefan Kahrs and Connor Smith. Non-omega-overlapping TRSs are UN Slides

Takahito Aoto and Yoshihito Toyama. Ground Confluence Proof with Pattern Complementation Slides

Clément Alleaume and Philippe Malbos. Coherence of quasi-terminating decreasing 2-polygraphs Slides

Luis Moraes and Rakesh Verma. Joinability Reduces to Confluence Slides