Description

International and interdisciplinary meeting on Linear Logic (GDRI LL event).

November 7-10th, 2016, Lyon (France).

The meeting will start with an introductory school (1.5 days) for master and PhD students willing to learn about Linear Logic and it will be followed by two workshops: one on the links between Linear Logic and philosophy (0.5 days) and one on the links between Linear Logic, mathematics and computer science (2 days).

Additional informations in the announcement.

 

Program Overview

Scientific Committee

Organizing Committee

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

Poster

Poster thumbnail

Supporting Organizations

 MILyon

 

ENS Lyon

 

INDAM

 

GDRI LL

 

GDR IM

 

Université de Lyon

Lyon3.png

 

logo_irphil.gif 

 

CNRS

 

 Investissement d'Avenir

 

 

 

 

Online user: 1 RSS Feed