===== Enseignement =====

==== Anciens cours 2022-2023 ====

| **Cursus** | **Sigle** | **Intitulé** | **Responsable** | **Divers** |
|L3|PF5| [[https://gaufre.informatique.univ-paris-diderot.fr/letouzey/pf5|Programmation Fonctionnelle]] | P. Letouzey | |
|M2 LMFI| PFCoq | [[.:edu:coqlmfi|Programmation Fonctionnelle et Preuves Formelles en Coq]] | P. Letouzey | |
| M1      | PFAv | [[https://gaufre.informatique.univ-paris-diderot.fr/letouzey/pfa-2023|Programmation Fonctionnelle Avancée]] | P. Letouzey ||
| M2      | TraP | [[https://gaufre.informatique.univ-paris-diderot.fr/letouzey/transprog-2023|Transformation de Programmes]] | P. Letouzey ||
| M2      | PComp | [[https://gaufre.informatique.univ-paris-diderot.fr/aguatto/pcomp-2023|Programmation Comparée]] | [[https://www.irif.fr/~feree|H. Férée]], [[https://www.irif.fr/~guatto|A. Guatto]], P. Letouzey | |

==== Quelques autres anciens cours ====

| **Cursus** | **Sigle** | **Intitulé** | | |
| M1 | PAO | [[.:edu:preuves|Preuves Assistées par Ordinateur]] | | |