• Manifestations scientifiques,

Linear Logic 2016 - Interaction, Proofs and Computation

Evènement | 7 novembre 2016

 

Grants available for master and PhD students (in philosophy of logic, mathematics, computer science).

The event includes :

1. Intensive introductory school (07/11 & 08/11 morning)
2. Workshop Linear Logic and Philosophy (08/11 afternoon)
3. Workshop Linear Logic and Computing theory (09/11 & 10/11)

Informations and registration :
ll2016.sciencesconf.org

INFOS PRATIQUES

Lieu(x)
Université Jean Moulin Lyon 3 & Ecole Normale Supérieure de Lyon


 

Contact

Jean-Baptiste JOINET
jean-baptiste.joinet@univ-lyon3.fr

Type

A la Une, Colloque / Séminaire, Libellé inconnu

Thématique

Manifestations scientifiques

Partenaires

Organized by IRPhiL (Jean-Baptiste Joinet, Philosophy Department, Univ. Jean Moulin Lyon 3) and the team Plume of Laboratoire d’Informatique du Parallélisme (Patrick Baillot & Olivier Laurent, CNRS, ENS Lyon).