• 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).

[legende-image]1290696695838[/legende-image]Proofs ans programs: from semantics to complexity
Logical 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

INFOS PRATIQUES

Lieu(x)
Université Jean Moulin - Lyon 3
Salle de la Rotonde
18 rue Chevreul - 69007 Lyon
Plan d'accès
Contact

Nazaré Marques

nazare.marques@univ-lyon3.fr

Type

Colloque / Séminaire

Thématique

Manifestations scientifiques