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
Clemens Grabmayer1
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
Misaki Kojima1
1 Nagoya University
11:30-12:15
Closures versus Freeness (abstract) 45 min
Vincent van Oostrom1
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
Uwe Waldmann1
1 Max Planck Institute Germany
14:45-15:15
the International School on Rewriting (abstract) 30 min
Cynthia Kop1, Adrian Riesco Rodriguez2
1 Radboud University Nijmegen
2 Universidad Complutense de Madrid
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
Luigi Liquori1
1 Inria
16:15-17:15
Business Meeting (members-only) (abstract) 60 min
Cynthia Kop1, Carsten Fuhs2
1 Radboud University Nijmegen
2 Birkbeck, University of London
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑