Monday, September 9th

• 10,00-10,30: Welcome & Coffee.
• 10,30-11,15: Paul-André Melliès (CNRS-Université Paris Diderot). Template games: a homotopy model of differential linear logic
• 11,15-11,45: Matteo Acclavio (Università Roma Tre). Combinatorial Proofs and Linear Logic.
• 11,45-13,00: Atelier #1.
• 13,00-14,30: Lunch.
• 14,30-16,00: Atelier #2.
• 16,00-16,30: Coffee break.
• 16,30-17,15: Luc Pellissier (Université Paris Diderot). TBA.
• 17,15-17,45: Paolo Pistone (Tübingen University). The "Yoneda" fragments of System F and Second Order Linear Logic. (abstract)

Tuesday, September 10th

• 9,30-10,30: Claudia Faggian (CNRS-Université Paris Diderot). Factor your way to standardization and normalization. (abstract)
• 10.30-11,00: Coffee break.
• 11,00-11,30: Gabriele Vanoni (Università di Bologna & INRIA Sophia Antipolis) (joint work with Ugo Dal Lago and Beniamino Accattoli). The Geometry of Abstract Machines. (abstract)
• 11,30-13,00: Atelier #3.
• 13,00-14,30: Lunch.
• 14,30-16,00: Atelier #4.
• 16,00-16,30: Coffee break.
• 16,30-17,15: Federico Olimpieri (Aix-Marseille Université e Università Roma Tre). Rigid intersection types as generalized species: a bi-categorical model for pure lambda-calculus. (abstract)
• 17,15-17,45: Margherita Zorzi (Università di Verona). On linearity in quantum calculi. (abstract)

Wednesday, September 11th

• 9,15-10,00: Michele Pagani (Université Paris Diderot). Backpropagation in the Simply Typed Lambda-calculus with Linear Negation. (abstract)
• 10,00-10,30: Giulio Guerrieri (University of Bath). Factorization and Normalization, Essentially. (abstract)
• 10,30-11,00: Coffee break.
• 11,00-13,00: IRN General Assembly.
• 13,00-14,30: Lunch.
• 14,30-15,00: Ugo Dal Lago (Università di Bologna & INRIA Sophia Antipolis). Differential Logical Relations.
• 15,00-16,00: ERC DIAPASoN by Ugo Dal Lago.
• 16,00-16,30: Coffee break.
• 16,30-18,00: Atelier #5.