Jean-Yves Girard (CNRS), From linear logic to logic 2.0

Schedule

• Oct. 25, 2017, 17:00 - 18:00