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
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
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
1 Université Paris Cité
|
| 14:00-14:30 |
Relational semantics: from simple to non-idempotent intersection types and back (abstract) 30 min
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