Outils

Agenda de l'ENS de Lyon

Linear Logic: interaction, proofs and computation

Linear Logic 2016
Colloque

Lundi 07 nov 2016 - Jeudi 10 nov 2016

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.
Complément

Salle 1 place de l'Ecole