- Cet évènement est passé
LL2016 – Linear Logic: interaction, proofs and computation
7 novembre 2016 @ 0 h 00 min - 10 novembre 2016 @ 0 h 00 min
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).