International Workshop on Intersection Types (GDRI LL)
13-14 June 2016, Paris

Place

Salle 0011 (Ground Floor)
Bâtiment Sophie Germain
8 place Aurélie Nemours
75013 Paris

Access:
Métro 14 and RER C : Station "Bibliothèque François-Mitterrand"
Tramway T3a : Station "Avenue de France"
Bus 62, 89 : Station "Porte de France"

Plan of the campus
Sophie Germain on Google Maps
Sophie Germian on openstreetmap

Program

13 June

(9h30 - 10h00) Breakfast and opening

  • (10h00 - 10h30) Damiano Mazza : "Affine Approximations and Intersection Types"
  • (10h30 - 11h00) Domenico Ruoppolo : "Relational Graph Models and Morris's Observational Theory"
  • (11h00 - 11h30) Jakob Rehof : "Intersection type calculi of finite dimension"
  • (11h30 - 12h00) Alexis Bernadet : "Analysing cost of left-most reduction via non idempotent intersection types"

    (12h15 - 14h00) Lunch (Buffon Restaurant - 17 rue Hélène Brion - Paris 13ème)

  • (14h00 - 14h30) Ulrich Berger : "Concurrent and nondeterministic program extraction"
  • (14h30 - 15h00) Olivier Laurent : "Proof theory of intersection subtyping "
  • (15h00 - 15h30) Silvia Ghilezan : "Denotational and operational preciseness of subtyping for intersection types"

    (15h30 - 16h00) Coffee Break

  • (16h00 - 16h30) Mariangiola Dezani : "Intersection and Union Types for Session Calculi"
  • (16h30 - 17h00) Luc Pellissier : "On the type-checking of proof-structures by relational points"
  • (17h00 - 17h30) Antonino Salibra : "N-dimensional Boolean algebras, Boolean Vector Spaces and Langlands Program"

    (19h30) Dinner (Au Petit Marguery Restaurant- 9 bd de Port Royal - Paris 13ème)

    14 June

  • (09h30 - 10h00) Flavien Breuvart : "Intersection Types and Probabilsitic Lambda-Calculi"
  • (10h00 - 10h30) Claudia Faggian : "The Geometry of Probabilistic Parallelism"

    (10h30 - 11h00) Coffee Break

  • (11h00 - 11h30) Simona Ronchi Della Rocca : "Intersection types for Implicit Computational Complexity"
  • (11h30 - 12h00) Charles Grellois : "First steps towards probabilistic higher-order model-checking"

    (12h15 - 14h00) Lunch (Buffon Restaurant - 17 rue Hélène Brion - Paris 13ème)

  • (14h00 - 14h30) Steffen van Bakel : "Intersection types and classical logic"
  • (14h30 - 15h00) Delia Kesner : "A resource aware computational interpretation for lambda-mu"
  • (15h00 - 15h30) Giulio Guerrieri : "An untyped lambda-calculus generalizing Call-By-Name and Call-by-Value"

    (15h30 - 16h00) Coffee Break

  • (16h00 - 16h30) Ugo Dal Lago : "Particles vs. Waves: is Multiplicity Really Necessary?"
  • (16h30 - 17h00) Pierre Vial : "Infinitary Intersection Types as Sequences: a New Answer to Klop's Problem"
  • (17h00 - 17h30) Tommaso Petrucciani : "Intersection and Union Types for OCaml"

    (17h30 - 18h00) General Discussion

    Participants

  • Accattoli Beniamino
  • Berger Ulrich
  • Bernadet Alexis
  • Breuvart Flavien
  • Bucciarelli Antonio
  • Castagna Giuseppe
  • Coppo Mario
  • Coquand Thierry
  • de Carvalho Daniel
  • Dal Lago Ugo
  • Dezani Mariangiola
  • Ehrhard Thomas
  • Faggian Claudia
  • Fouqueré Christophe
  • Ghilezan Silvia
  • Grellois Charles
  • Guerrieri Giulio
  • Guerrini Stefano
  • Kaszczyc Antoine
  • Kesner Delia
  • Laurent Olivier
  • Lombardi Carlos
  • Maieli Roberto
  • Manzonetto Giulio
  • Margaria Ines
  • Mazza Damiano
  • Melliès Paul-Andre
  • Pagani Michele
  • Paolini Luca
  • Pavaux Alice
  • Pellissier Luc
  • Petrucciani Tommaso
  • Regnier Laurent
  • Rehof Jakob
  • Ruoppolo Domenico
  • Ronchi Della Rocca Simona
  • Salibra Antonino
  • Tasson Christine
  • Valiron Benoit
  • van Bakel Steffen
  • Vial Pierre
  • Vignudelli Valeria
  • Zacchi Maddalena

    Supported by

  • GDRI LL
  • ANR 12 JS02 006 01 COQUAS

    Organizers

  • Bucciarelli Antonio
  • Kesner Delia
  • Ehrhard Thomas