Enseignement Semestre 1 Cursus Sigle Intitulé Responsable Divers L1 IP1 Python Initiation à la Programmation en Python M. Pagani L3PF5 Programmation Fonctionnelle P. Letouzey M2 LMFI PFCoq-1 Programmation Fonctionnelle en Coq P. Letouzey Cours en décalé (début 28/10) Semestre 2 Cursus Sigle Intitulé Responsable Divers M1 PFAv Programmation Fonctionnelle Avancée R. Treinen M2 TraP Transformation de Programmes P. Letouzey M2 PComp Programmation Comparée H. Férée, A. Guatto, P. Letouzey M2 LMFI PFCoq-2 Preuves Formelles en Coq P. Letouzey Reprise le 12/01 Quelques anciens cours Cursus Sigle Intitulé M1 PAO Preuves Assistées par Ordinateur