ITRS — PROGRAM

Days: Saturday, 18 July 2026

Saturday, 18 July 2026
09:00-10:30 Joint Invited Talk with TLLA ITRS
Location: C6.02
10:30-11:00 Coffee Break ITRS
Location: C6.02
11:00-12:00 Session 1 ITRS
11:00-11:30
(Re)Painting (and Polarizing) Arrow Types (abstract) 30 min
Adrienne Lancelot1, Giulio Manzonetto2, Guy McCusker3, Gabriele Vanoni2
1 University of Bologna
2 IRIF, Université Paris Cité
3 University of Bath
11:30-12:00
Higher-order Matching via Intersection Type Inhabitation in Bounded Dimension (abstract) 30 min
Andrej Dudenhefner1, Aleksy Schubert2
1 TU Dortmund University
2 University of Warsaw
12:00-13:30 Lunch ITRS
Location: C6.02
13:30-14:30 Session 2 ITRS
13:30-14:00
Autoformalizing Intersection Type Systems (abstract) 30 min
Gabriele Vanoni1
1 Université Paris Cité
14:00-14:30
Relational semantics: from simple to non-idempotent intersection types and back (abstract) 30 min
Giulio Guerrieri1, Vincent Sommella1
1 University of Sussex
14:30-15:30 Joint Invited Talk with GaLoP ITRS
Location: C6.02
15:30-16:30 Coffee Break ITRS
Location: C6.02
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑