Description

Rencontre internationale et interdisciplinaire sur la Logique Linéaire (événement du GDRI LL).

Du 7 au 10 novembre 2016 à Lyon (France).

La rencontre démarrera par une école introductive (1,5 jours) pour étudiants de master et doctorants intéréssés par la logique linéaire, qui sera suivi de deux colloques : l'un sur les liens entre logique linéaire et philosophie (1/2 journée) et l'autre sur les liens entre logique linéaire, mathématiques et informatique (2 jours).

Pour des informations complémentaires, voir l'annonce.

 

Éléments de programme

Comité scientifique

Comité d'organisation

  • Patrick Baillot
  • Emmanuel Beffara
  • Anupam Das
  • Catherine Desplanches
  • Wendy Hammache
  • Jean-Baptiste Joinet
  • Olivier Laurent
  • Nazaré Marques
   

Affiche

Affiche thumbnail

Partenaires

 MILyon

 

ENS Lyon

 

INDAM

 

GDRI LL

 

GDR IM

 

Université de Lyon

Lyon3.png

 

logo_irphil.gif 

 

CNRS

 

 Investissement d'Avenir

 

 

 

 

Personnes connectées : 1 Flux RSS