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