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