LL2016, Nov. 7, 2016 – Nov. 10, 2016

An introductory school on linear logic followed by workshops on relationships between LL and philosophy, mathematics, computer science.

The school and workshops will take place in Lyon.

Have a look at the website.