LSC

Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Glynn Winskel - Making concurrency functional - 07/12/2023 - 11h00 - 12h30
Matteo Acclavio, Gianluca Curzi - Infinitary cut elimination via finite approximations - 02/11/2023 - 11h00 - 12h30