Chargement Évènements

« Tous les Évènements

  • Cet évènement est passé

LL2016 – Linear Logic: interaction, proofs and computation

7 novembre 2016 @ 0 h 00 min - 10 novembre 2016 @ 0 h 00 min

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 or on the website https://ll2016.sciencesconf.org/

Détails

Début :
7 novembre 2016 @ 0 h 00 min
Fin :
10 novembre 2016 @ 0 h 00 min
Catégories d’évènement:
, ,