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