IWC'26 Program

Schedule for 2026-07-24

Red blocks indicate sessions that are fully booked with talks. Blue blocks still have space left.

08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
23:00
Room 1
Graphs 08:30 - 10:00
Chair: Raúl Gutiérrez
  • 08:30-09:30 Confluence of Rewrites on Term Graphs and Graphs
    Jean-Pierre Jouannaud (ENS Paris-Saclay, France)
  • 09:30-10:00 Loop Elimination in Process Graphs is Confluent when Pruning Steps are Added
    Clemens Grabmayer (Gran Sasso Science Institute)
Coffee Break 10:00 - 10:30
    Confluence & Formalization 10:30 - 12:30
    Chair: Thiago Felicissimo
    • 10:30-11:00 Verifying and Generalizing Simultaneous Critical Pairs
      Rene Thiemann (University of Innsbruck)
    • 11:00-11:30 Confluence of Orthogonal Deterministic Higher-Order Pattern Rewrite Systems
      Johannes Niederhauser (University of Innsbruck), Aart Middeldorp (University of Innsbruck)
    • 11:30-12:00 Confluence of bang modulo
      Vincent van Oostrom (University of Sussex), Giulio Guerrieri (University of Sussex)
    • 12:00-12:30 On Completeness of the Decreasing Diagrams Method for Proving Confluence of Rewriting Systems of Cardinalities Below the First Uncountable Limit Cardinal
      Ievgen Ivanov (Taras Shevchenko National University of Kyiv)
    Lunch 12:30 - 14:00
      Variants of Term Rewriting Systems 14:00 - 15:30
      Chair: René Thiemann
      • 14:00-14:30 Disproving Reachability in Probabilistic Term Rewriting
        Jan-Christoph Kassing (RWTH Aachen University), Moritz Leven Rosarius (RWTH Aachen University), Henri Nagel (RWTH Aachen University), Jürgen Giesl (RWTH Aachen University)
      • 14:30-15:00 Enumerating Ground Canonical Rewrite Systems
        Masahiko Sakai (Nagoya University), Aart Middeldorp (University of Innsbruck), Sarah Winkler (Free University of Bozen-Bolzano)
      • 15:00-15:30 On Proving Confluence of Generalized Term Rewriting Systems Using CONFident
        Raúl Gutiérrez (Universitat Politècnica de València), Salvador Lucas (Universitat Politècnica de València)
      Coffee Break 15:30 - 16:00
        Completion 16:00 - 17:00
        Chair: Vincent van Oostrom
        • 16:00-16:30 Normalised completion for stratified linear rewriting systems
          Philippe Malbos (Université Claude Bernard Lyon 1), Zuan Liu (Université Claude Bernard Lyon 1)
        • 16:30-17:00 Completion to Strong Confluence
          Salvador Lucas (Universitat Politècnica de València), Julia Pagan (Universitat Politècnica de València)
        CoCo + Business Meeting 17:00 - 18:00