Laurent Regnier (I2M, Aix-Marseille), 2017 : Happy 30 years for linear logic

Schedule