Seminar

The DIAPASoN seminar is currently held on-line every two Thursday of the month at 11am.
It is a mix of internal and external presentations revolving around DIAPASoN topics.

To attend the seminar with us and be updated on the new-coming sessions please subscribe to the seminar mailing list.

If you wish to give a presentation to the DIAPASoN seminar, you are warmly welcome to write to Paolo Pistone in charge of the organisation.

Agenda 2021

• 15/04: Hugo Paquet (Oxford University) - TBA
• 04/03 : Francesco Dagnino (Università di Genova) - On Quantitative Equality in Graded Doctrines
• 04/02 : Marie Kerjean (LIPN, Université Paris 13) - ∂ is for Dialectica: Typing Differentiable Programming
• 14/01 : Giulio Guerrieri (University of Bath) - Categorifying Non-Idempotent Intersection Types
• 07/01 : Sabine Bauer (TUM Munich) -  A Tree Constraint Solver for Complexity Analysis of Object-oriented Programs

Agenda 2020

• 17/12 : Davide Barbarossa (LIPN, Université Paris 13) - The resource lambda-mu-calculus, with  some applications