Dans la même rubrique
Accueil :
- 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
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
A la Une, Colloque / Séminaire, Libellé inconnu
ThématiqueManifestations 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).