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
   

Supporting Organizations

MILyon

 

ENS Lyon

 

GDR IM

 

Université de Lyon

Lyon3.png

logo_irphil.gif

 

Investissement d'Avenir

Online user: 1 RSS Feed