7 - 10 November 2016, Linear Logic: interaction, proofs, and computation (LL2016), Lyon, France

Linear logic was introduced 30 years ago and has rapidly become a pivot point between mathematical logic and computer science. The present event aims to gather mathematicians, computer scientists and philosophers in order to foster interaction in research on linear logic.

Linear Logic 2016 will be a four-day meeting in Lyon, including three events:
- Autumn school on linear logic (Nov 7-8)
- Workshop 'Linear logic and philosophy' (Nov 8, afternoon)
- Workshop 'Linear logic, mathematics and computer science' (Nov 9-10).