- Manifestations scientifiques,
Proofs ans programs: from semantics to complexity
Evènement | 16 mai 2013
Colloque organisé par l'Institut de recherches philosophiques de Lyon (IRPhiL).
Proofs ans programs: from semantics to complexityLogical and philosophical issues in contemporary proof-theory
Coordination: Jean-Baptiste JOINET
jean-baptiste.joinet@univ-lyon3.fr
Contact :
Nazaré Marques
IRPhiL EA 4187 - Institut de Recherches Philosophiques de Lyon
18 rue Chevreul - 69007 Lyon
Tél. : 04 78 78 73 94 - Fax : 04 78 78 72 27
nazare.marques@univ-lyon3.fr
Document(s) à télécharger
- Programme du colloque PDF, 762 Ko
INFOS PRATIQUES
Contact
Nazaré Marques
nazare.marques@univ-lyon3.fr
Colloque / Séminaire
ThématiqueManifestations scientifiques