MPRI courses 2025-2026
This is a temporary page listing all MPRI courses in the academic year 2025-2026. Course details are subject to change.
The main MPRI website remains (for now) at the same location:
Usage tips
2025-2026 course list
Display: RESET Algorithms Complexity Parallel/Distributed Algo. Computer Algebra Automata/Games Verification Discrete Math/Graphs Geometry/Visual Data Semantic/Languages Logic/Proof Cryptography Quantum Bio-info Databases
| Acronym | Title | ECTS | Hours | H/week | Language | Manager | ↓ Themes |
|---|---|---|---|---|---|---|---|
| aisav | Abstract Interpretation: Application to Static Analysis and Verification Interprétation abstraite : application à l'analyses statique et à la vérification | 6 | 48 | 3 |   | Antoine Miné | Automata/Games, Verification, Semantic/Languages |
| bioprog | Biochemical Programming Programmation biochimique | 3 | 24 | 3 | | François Fages | Bio-info, Semantic/Languages, Parallel/Distributed Algo. |
| secure | Proofs of Security Protocols Preuves de protocoles de sécurité | 6* | 48 | 3 | | Bruno Blanchet | Cryptography, Logic/Proof, Semantic/Languages |
| ecolo | Exploring Computational Models through Linear Logic Exploration de modèles de calcul à l'aide de la logique linéaire | 6 | 48 | 3 | | Delia Kesner | Logic/Proof, Semantic/Languages |
| progproofs | Proofs of Programs Preuves de programmes | 3 | 24 | 3 | | Jean-Marie Madiot | Logic/Proof, Semantic/Languages, Verification |
| sync | Synchronous Programming of Reactive Systems Programmation synchrone de systèmes réactifs | 3 | 24 | 3 | | Marc Pouzet | Parallel/Distributed Algo., Semantic/Languages, Verification |
| vcp | Verification of Concurrent Programs Vérification de programmes concurrents | 3 | 24 | 3 | | Ahmed Bouajjani | Parallel/Distributed Algo., Verification, Semantic/Languages |
| ppl | Probabilistic Programming Languages Langages de programmation probabilistes | 3 | 24 | 3 | | Guillaume Baudart | Semantic/Languages |
| sempl | Models of Programming Languages: Domains, Categories, Games Modèles des langages de programmation: domaines, catégories, jeux | 6 | 48 | 3 | | Paul-André Melliès | Semantic/Languages |
| fun | Functional Programming and Type Systems Programmation fonctionnelle et systèmes de types | 6 | 48 | 2.5 | | François Pottier | Semantic/Languages, Logic/Proof |
*: Courses marked with an asterisk are breakable: students can choose to validate only the first half of the course. In that case, the course counts for 3 ECTS.
Language: means the course is in English, means it is in French. means the teachers will adapt to the students. (Typically, this means course materials are in English, but the language during lectures will be adapted to the audience; see the course page for more information.)