Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 7 - 10 November 2016
Location: 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).

For more information, see https://ll2016.sciencesconf.org/.

Please note that this newsitem has been archived, and may contain outdated information or links.