IFIP16 — PROGRAM
Days: Saturday, 18 July 2026
Saturday, 18 July 2026
09:00-10:00
Session 1
IFIP16
Location:
C1.01
| 09:00-10:00 |
Finding small steps for approaching hard questions, in work on the process semantics of regular expressions (abstract) 60 min
1 Gran Sasso Science Institute
|
10:00-10:30
Coffee Break
IFIP16
Location:
C1.01
10:30-12:15
Session 2
IFIP16
Location:
C1.01
| 10:30-11:30 |
All-Path Reachability Analysis for Runtime-Error Verification (abstract) 60 min
1 Nagoya University
|
| 11:30-12:15 |
Closures versus Freeness (abstract) 45 min
1 University of Sussex
|
12:15-13:45
Lunch
IFIP16
Location:
C1.01
13:45-15:15
Session 3
IFIP16
Location:
C1.01
| 13:45-14:45 |
Clause orderings: What's in between weight-based orderings and multiset extensions? (abstract) 60 min
1 Max Planck Institute Germany
|
| 14:45-15:15 |
the International School on Rewriting (abstract) 30 min
1 Radboud University Nijmegen
|
15:15-15:45
Coffee Break
IFIP16
Location:
C1.01
15:45-17:15
Session 4
IFIP16
Location:
C1.01
| 15:45-16:15 |
update on the rewriting.inria.fr Website Project (abstract) 30 min
1 Inria
|
| 16:15-17:15 |
Business Meeting (members-only) (abstract) 60 min
1 Radboud University Nijmegen
2 Birkbeck, University of London
|