| 8:45 - 9:00 | Opening | ||
| 9:00 - 9:30 | Subtyping in logical form | Ugo de'Liguoro |   |
| 9:30 - 10:00 | The Relevance of Semantic Subtyping | Mariangiola Dezani, Alain Frish, Elio Giovanetti, and Yoko Motohama | |
| 10:00 - 10:30 | Intersection Typed Lambda Calculus | Simona Ronchi Della Rocca | |
| 10:30 - 11:00 | Coffee Break | ||
| 11:00 - 11:30 | Simple easy terms | Fabio Alessi and Stefania Lusin | |
| 11:30 - 12:00 | Polar Type Inference with Intersection Types and omega | Sebastien Carlier | |
| 12:00 - 12:30 | Implementing Compositional Analysis Using Intersection Types With Expansion Variables |
Assaf J. Kfoury, Geoffrey Washburn and Joe Wells | |
| 12:30 - 14:00 | Lunch Break | ||
| 14:00 - 15:00 | Invited talk: Tri-Directional Type Checking | Frank Pfenning |  |
| 15:00 - 15:30 | Feasible functionals and intersection of ramified type | Daniel Leivant | |
| 15:30 - 16:00 | Coffee Break | ||
| 16:00 - 16:30 | Strong Normalization with Singleton Types | Judicaël Courant | |
| 16:30 - 17:00 | Strongly Normalising Cut-Elimination with Strict Intersection Types |
Steffen van Bakel | |
| 17:00 - 17:30 | Reducibility: a ubiquitous method in lambda calculus with intersection types | Silvia Ghilezan and Silvia Likavec | |
| 17:30 - 17:45 | Goodbye | ||
| 20:00 - ? | Dinner | ||