ITRS 2016:
Eighth Workshop on Intersection Types and Related Systems

26 June 2016, Porto

Affiliated with FSCD 2016

Program

8:50-9:00 Opening

9:00-10:00 Invited Talk
   9:00 Michele Pagani (invited talk)
          Intersection types, quantitative semantics and linear logic

10:30-12:30 Regular Talks I
  10:30 Damiano Mazza
          Affine Approximations and Intersection Types
  11:00 Giulio Guerrieri, Luc Pellissier and Lorenzo Tortora De Falco
          Relational type-checking for MELL proof-structures. Part 1: Multiplicatives
  11:30 Cosku Acay and Frank Pfenning
           Intersections and Unions of Session Types
  12:00 Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria and Maddalena Zacchi
          Retractions in Intersection Types

14:00-15:30 Invited Talk and Regular Talks II
  14:00 Kazushige Terui (invited talk)
          Intersection types for real number computation
  15:00 Pawel Parys
          Intersection Types and Counting
  15:30 Flavien Breuvart and Ugo Dal Lago
          Intersection Types and Probabilistic Lambda Calculi

16:00-16:30 Regular Talks III
  16:30 Steffen van Bakel
          Approximation and (Head) Normalisation for lambda-mu using Strict Intersection Types
  17:00 Discussion and closing