IWC — PROGRAM
Days: Friday, 24 July 2026
Friday, 24 July 2026
08:30-10:00
Graphs
IWC
Location:
C6.02
| 08:30-09:30 |
Confluence of Rewrites on Term Graphs and Graphs (abstract) 60 min
1 ENS Paris-Saclay, France
|
| 09:30-10:00 |
Loop Elimination in Process Graphs is Confluent when Pruning Steps are Added (abstract) 30 min
1 Gran Sasso Science Institute
|
10:00-10:30
Coffee Break
IWC
Location:
C6.02
10:30-12:30
Confluence & Formalization
IWC
Location:
C6.02
| 10:30-11:00 |
Verifying and Generalizing Simultaneous Critical Pairs (abstract) 30 min
1 University of Innsbruck
|
| 11:00-11:30 |
Confluence of Orthogonal Deterministic Higher-Order Pattern Rewrite Systems (abstract) 30 min
1 University of Innsbruck
|
| 11:30-12:00 |
Confluence of bang modulo (abstract) 30 min
1 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 (abstract) 30 min
1 Taras Shevchenko National University of Kyiv
|
12:30-14:00
Lunch
IWC
Location:
C6.02
14:00-15:30
Variants of Term Rewriting Systems
IWC
Location:
C6.02
| 14:00-14:30 |
Disproving Reachability in Probabilistic Term Rewriting (abstract) 30 min
1 RWTH Aachen University
|
| 14:30-15:00 |
Enumerating Ground Canonical Rewrite Systems (abstract) 30 min
1 Nagoya University
2 University of Innsbruck
3 Free University of Bozen-Bolzano
|
| 15:00-15:30 |
On Proving Confluence of Generalized Term Rewriting Systems Using CONFident (abstract) 30 min
1 Universitat Politècnica de València
|
15:30-16:00
Coffee Break
IWC
Location:
C6.02
16:00-17:00
Completion
IWC
Location:
C6.02
| 16:00-16:30 |
Normalised completion for stratified linear rewriting systems (abstract) 30 min
1 Université Claude Bernard Lyon 1
|
| 16:30-17:00 |
Completion to Strong Confluence (abstract) 30 min
1 Universitat Politècnica de València
|
17:00-18:00
CoCo + Business Meeting
IWC
Location:
C6.02