Rencontre, 9 novembre 2016

Cette journée CHoCoLa aura pour cadre la rencontre LL2016 - Linear Logic: interaction, proofs and computation.

Vous pouvez consulter le programme (cliquez sur une session pour avoir les détails).

La rencontre aura lieu dans la salle 1 place de l'École de l'ENS Lyon.