LL2016 – Linear Logic: interaction, proofs and computation

International and interdisciplinary meeting on Linear Logic (GDRI LL event).

November 7-10th, 2016, Lyon (France).

The meeting will start with an introductory school (1.5 days) for master and PhD students willing to learn about Linear Logic and it will be followed by two workshops: one on the links between Linear Logic and philosophy (0.5 days) and one on the links between Linear Logic, mathematics and computer science (2 days).

Additional informations in the announcement or on the website https://ll2016.sciencesconf.org/