Description générale
La rencontre internationale "Linear Logic : interaction, proofs and computation" (LL2016) aura lieu à Lyon du 7 au 10 novembre 2016. La logique linéaire est une branche de la logique mathématique qui trouve des applications notamment dans les langages de programmation, la philosophie et la linguistique.
LL2016 est une rencontre interdisciplinaire, comprenant une école de recherche, un workshop 'Linear logic and philosophy' (Univ. Lyon 3, 7-8/11) et un workshop 'Linear logic, mathematics, computer science' (ENS de Lyon 9-10/11). Elle rassemblera une centaine de participants (Europe, Japon, Etats-Unis, Brésil, Argentine, etc.). Elle est soutenue notamment par le Labex MILYON, le GDRI Linear logic du CNRS et l'ENS de Lyon.
LL2016 est une rencontre interdisciplinaire, comprenant une école de recherche, un workshop 'Linear logic and philosophy' (Univ. Lyon 3, 7-8/11) et un workshop 'Linear logic, mathematics, computer science' (ENS de Lyon 9-10/11). Elle rassemblera une centaine de participants (Europe, Japon, Etats-Unis, Brésil, Argentine, etc.). Elle est soutenue notamment par le Labex MILYON, le GDRI Linear logic du CNRS et l'ENS de Lyon.
Complément
Salle 1 place de l'Ecole