LL2016The international  meeting Linear Logic : interaction, proofs and computation (LL2016) took place in Lyon from nov. 7 to nov. 10 2016.


 

It is partly supported by Labex MILYON and by the GDRI Linear Logic, and consists in a research school and two workshops addressing in particular interdisciplinary aspects through the links between linear logic, philosophy, mathematics, computer science, etc.