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 to the seminar .

If you wish to give a presentation to the DIAPASoN seminar, you are warmly welcome to write to 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