MPRI courses 2024-2025

This is a temporary page listing all MPRI courses in the academic year 2024-2025. It will be integrated into an upcoming new website for MPRI.

This page is made available early, for students wishing to browse courses by theme. The main MPRI website remains (for now) at the same location:

• Click on a theme to display courses with that theme.
• Click on a column to sort by that column.
• The schedule can be found here.

Display : RESET Algorithms Complexity Parallel/Distributed Algo. Computer Algebra Automata/Games/Verification Discrete Math/Graphs Semantic/Languages Logic/Proof Cryptography Quantum Bio-info Natural Language

Show all (remove filter/sort)

Number	Title	Link	Hours	Period	↓ Language	Coordinator	Themes
2.06	Abstract Interpretation: Application to Verification and Static Analysis Interprétation abstraite : application à la vérification et à l'analyses statique	view	48	1-2		Antoine Miné	Semantic/Languages, Automata/Games/Verification
2.08.2	Cyber-physical systems and their verification Systèmes cyber-physiques et leur vérification	view	48	1-2		Patricia Bouyer	Automata/Games/Verification
2.09.1	Algorithmic Aspects of Well Quasi-Order Theory Aspects algorithmiques de la théorie des beaux préordres	view	24	1		Jean Goubault-Larrecq	Automata/Games/Verification
2.09.2	Algorithmic Verification of Programs Vérification algorithmique de programmes	view	24	2		Ahmed Bouajjani	Automata/Games/Verification
2.16	Finite Automata Modeling Modèles de calcul et automates finis	view	48	1-2		Matthieu Picantin	Automata/Games/Verification
2.20.1	Game Theory in Computer Science Techniques de théorie des jeux en informatique	view	24	1		Olivier Serre	Automata/Games/Verification