https://wikimpri.dptinfo.ens-paris-saclay.fr/ 2026-04-10T06:42:21+00:00 https://wikimpri.dptinfo.ens-paris-saclay.fr/ https://wikimpri.dptinfo.ens-paris-saclay.fr/lib/exe/fetch.php?media=wiki:dokuwiki.svg text/html 2013-09-06T14:17:48+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=2012-13-examens&rev=1378477068&do=diff mid-term and final exams of [[cours2|level 2 courses]], year 2012-2013 Courses Title of the courses mid-term or final exam from Nov. 26, 2012 until Dec. 7, 2012 Final exam From Mar, 4 2013 until Mar, 15 2013 Retaking exams from April 11 until July 31, 2013 text/html 2014-06-03T10:02:26+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=2013-14-examens&rev=1401789746&do=diff mid-term and final exams of [[cours2|level 2 courses]], year 2013-2014 Courses Title of the courses mid-term or final exam from Nov. 25, 2013 until Dec. 6, 2013 Final exam From Mar, 3 2014 until Mar, 14 2014 Retaking exams from April 12 until July 31, 2014 text/html 2017-11-28T12:47:57+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=afp&rev=1511873277&do=diff Algorithms and Foundations of Programming (AFP) AFP (Algorithmique et Fondements de la Programmation) is a second-year master programme in fundamentals of computer science, jointly organised by several instututions inside the University Paris-Saclay. The AFP will start in 2015/16 is the successor programme of the Parisian Master of Research in Computer Science (MPRI). text/html 2025-09-05T12:09:25+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=candidature&rev=1757074165&do=diff Terms of student recruitment Students are recruited on the basis of their application and possibly an interview, whereby both the students' prior degree course and personal career plans are taken into account. First-year recruitment The MPRI is a two-year programme. First-year recruitment concerns students who wish to take the whole programme. The following students may apply for the MPRI within this framework: text/html 2013-09-28T17:12:36+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=cours&rev=1380388356&do=diff The MPRI Programme The aim of the MPRI programme is to offer students both core training in the foundations of computer science and more specialised training constitutive of a true introduction to research. One or two research internships complete the training programme. text/html 2025-05-26T12:34:01+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=default_sidebar_left&rev=1748262841&do=diff Home • How to contact us • How to apply • Entrance requirements • Management The MPRI Programme • Organisation • Ethics • Level 1 modules • Level 2 modules Practical information • Calendar and timetable (2024/2025) • Calendar and timetable (2025/2026) • Internships • Scholarships • PhD grants text/html 2011-09-14T12:22:54+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps&rev=1316002974&do=diff 2011-2012 Agenda M1 The M1 year is organized by each of the university partners. The Paris 7 M1 is a curriculum of the master Ingénierie Informatique. All informations about the MPRI M1 should therefore be available on these pages. The students enrolled in the MPRI M1 at ENS Cachan or ENS Paris follow a curriculum, that is designed with the agreement of the representative of their home university in the studies committee. text/html 2013-01-08T13:54:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps12&rev=1357653240&do=diff 2012-2013 Agenda M1 The M1 year is organized by each of the university partners. The Paris 7 M1 is a curriculum of the master Ingénierie Informatique. All informations about the MPRI M1 should therefore be available on these pages. The students enrolled in the MPRI M1 at ENS Cachan or ENS Paris follow a curriculum, that is designed with the agreement of the representative of their home university in the studies committee. text/html 2014-04-25T07:32:32+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps13-save&rev=1398411152&do=diff 2013-2014 Agenda M1 The M1 year is organized by each of the Master partners. The Paris 7 M1 is organized by UFR d'Informatique. The Ecole Polytechnique M1 is organized by Dept. Informatique. ENS Paris and ENS Cachan organize a joint M1 curriculum. (see M2). M2 A small buffet will be organized after the meeting. text/html 2015-03-27T10:05:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps13&rev=1427450733&do=diff 2014-2015 Agenda M1 The M1 year is organized by each of the Master partners. The Paris 7 M1 is organized by UFR d'Informatique. The Ecole Polytechnique M1 is organized by Dept. Informatique. ENS Paris and ENS Cachan organize a joint M1 curriculum described here M2 A small buffet will be organized after the meeting. text/html 2015-03-27T10:06:08+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps14-save&rev=1427450768&do=diff 2014-2015 Agenda M1 The M1 year is organized by each of the Master partners. The Paris 7 M1 is organized by UFR d'Informatique. The Ecole Polytechnique M1 is organized by Dept. Informatique. ENS Paris and ENS Cachan organize a joint M1 curriculum described here M2 A small buffet will be organized after the meeting. text/html 2016-04-13T08:22:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps15-save&rev=1460535757&do=diff 2015-2016 Agenda M1 The M1 year is organized by each of the partner institutions. M2 A small buffet will be organized between the end of the meeting and the beginning of the courses. The Slides of the Kickoff Meeting 2015 There will be a Christmas break from December 19 2015 until January 3, 2016 (bounds included). There is no other break. text/html 2016-03-22T15:32:26+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps15&rev=1458660746&do=diff 2015-2016 Agenda M1 The M1 year is organized by each of the partner institutions. M2 A small buffet will be organized between the end of the meeting and the beginning of the courses. The Slides of the Kickoff Meeting 2015 There will be a Christmas break from December 19 2015 until January 3, 2016 (bounds included). There is no other break. text/html 2017-01-26T12:45:36+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps16&rev=1485434736&do=diff 2016-2017 Agenda M1 The M1 year is organized by each of the partner institutions. M2 Addess: 10-16 rue Françoise Dolto, 75013 Paris. Métro : ligne 14, RER C : Bibliothèque F. Mitterrand. Beware that the access to the room is slightly tricky: once you are on the ground floor of the Halle aux farines building, go to sector E, even numbers side, and take elevator (or stairs) to sector F. text/html 2017-10-23T18:26:13+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps17&rev=1508783173&do=diff 2017-2018 Agenda M1 The M1 year is organized by each of the partner institutions. M2 Addess: 10-16 rue Françoise Dolto, 75013 Paris. Métro : ligne 14, RER C : Bibliothèque F. Mitterrand. Beware that the access to the room is slightly tricky: once you are on the ground floor of the Halle aux farines building, go to sector E, even numbers side, and take elevator (or stairs) to sector F. text/html 2019-09-04T07:06:41+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps18&rev=1567580801&do=diff 2018-2019 Agenda M1 The M1 year is organized by each of the partner institutions. M2 The kickoff meeting will take place on Monday, September 10, 2018 at 10:30 in the Turing amphitheater in the building Sophie Germain. The address is of the Sophie Germain building is 8 place Aurélie Nemours 75013 Paris text/html 2019-09-25T15:01:10+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps19&rev=1569423670&do=diff 2019-2020 Agenda M1 The M1 year is organized by each of the partner institutions. M2 The kickoff meeting will take place on Monday, September 9, 2019 at 10:00 in the room 1009 in the building Sophie Germain In the afternoon from 14:00 to 18:00, there will text/html 2021-07-03T08:55:19+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps20&rev=1625302519&do=diff 2020-2021 Agenda M1 The M1 year is organized by each of the partner institutions. M2 The kickoff meeting will take place on Monday September 14, 2020 at 10:45 in amphi 3B in the building Halle aux Farines Map. The mask is mandatory. The address is of the Sophie Germain building is 8 place Aurélie Nemours 75013 Paris text/html 2022-01-04T14:37:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps21&rev=1641307020&do=diff 2021-2022 Agenda M1 The M1 year is organized by each of the partner institutions. M2 The kickoff meeting will take place on Monday September 13th, 2021 at 14:00 in amphitheatre 9E in the building Halle-aux-Farines (Building 2 on the Map). The mask is, of course, mandatory. text/html 2023-01-31T13:34:35+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps22&rev=1675172075&do=diff 2022-2023 Agenda M1 The M1 year is organized by each of the partner institutions. M2 The kickoff meeting will take place on Monday September 12th, 2022 at 10:00 in amphitheater 10E in the building Halle-aux-Farines (Building 2 on the Map). The address is of the Sophie Germain building is 8 place Aurélie Nemours 75013 Paris text/html 2023-09-11T13:02:32+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps23&rev=1694437352&do=diff 2023-2024 Agenda M1 The M1 year is organized by each of the partner institutions. M2 The kickoff meeting will take place on Monday September 11th, 2023 at 10:00 in amphitheater 12E in the building Halle-aux-Farines (Building 2 on the Map). The address is of the Sophie Germain building is 8 place Aurélie Nemours 75013 Paris text/html 2025-07-18T07:31:22+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps24&rev=1752823882&do=diff 2024-2025 Agenda M1 The M1 year is organized by each of the partner institutions. M2 The kickoff meeting will take place on Monday September 16th, 2024 at 10:00 in the Turing amphitheater, on the ground floor of the Sophie Germain building (the main entrance is shown on text/html 2025-07-18T14:49:17+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=emploidutemps25&rev=1752850157&do=diff 2025-2026 Calendar M1 The M1 year is organized by each of the partner institutions. M2 The kickoff meeting will take place on Monday September 15th, 2025 at 10:00 in the Turing amphitheater, on the ground floor of the Sophie Germain building - exact time and location to be confirmed. (the main entrance is shown on text/html 2012-03-05T16:48:08+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=examens&rev=1330966088&do=diff mid-term and final exams of [[cours2|level 2 courses ]], year 2011-2012 Courses Title of the courses mid-term or final exam from Nov. 21, 2011 until Dec. 2, 2011 Final exam From Feb 27, 2012 until Mar, 10 2012 Retaking exams from April 25 until July 31, 2012 text/html 2015-03-01T23:28:43+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=examens12&rev=1425252523&do=diff PLANNING EXAMS M2-MPRI 2014-2015 Courses marked with a (S) are suspended in 2014-2015. To take a catch-up exam, send a mail to the teacher in charge of the course with a copy to the Director of the Master before April 30. Module Title Mid-Term Exam text/html 2025-09-05T12:21:09+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=grants&rev=1757074869&do=diff Scholarships for master students There are several programs that offer scholarships for both French and foreing students and which are handled directly by the partner institutions. You can have a look at this page. Students applying to a fellowship at an institution different from the institution they should enroll at should follow the application procedure at both institutions.” Here are some rules of thumb. text/html 2025-09-05T12:15:31+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=informations&rev=1757074531&do=diff The pedagogical server The pedagogical server is used by all partners of the MPRI: students, teachers, and the administrative staff. The server is used by the students to submit a study plan and an internship proposal, to consult their marks, to evaluate the M2-MPRI courses, and to upload the internship report. text/html 2025-02-10T19:35:23+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=internships&rev=1739216123&do=diff Internships 2024/2025 Submit an internship offer * Reconnaissance de programmes par réseaux de neurones de graphes Sid Touati et Christophe Alias (INRIA Sophia Antipolis ou INRIA Lyon) * Formal Verification of Security Protocol Charlie Jacomme, Inria Nancy 2.30, 2.7.2, 2.12.1 * Using Model Checking for verifying Nuclear Power Plant Operating Procedures Valentin RYCHKOV, Claudia PICOCO, 91120 EDF R&D, Palaiseau 1.22 Basics of verification, 2.8.2 Cyber-physical systems and their verifi… text/html 2012-11-08T17:10:06+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=internships2012&rev=1352394606&do=diff Internships 2011/2012 * Towards the Formal Certification of a Mathematical Encyclopedia on the Web Fréderic Chyzak, Assia Mahboubi - Laboratoire commun Inria Microsoft Research 2.7.1, 2.7.2, 2.22 * Méthodes catégoriques pour la modélisation et la vérification d'architectures David Chemouil, Julien Brunel - Onera-DTIM Toulouse * Détection de ruptures dans les réseaux dynamiques GOUY-PAILLER Cédric -- CEA-Saclay * Termination in lambda Pi-modulo Olivier Hermant - ISEP / INRIA… text/html 2013-09-23T08:54:55+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=internships2013&rev=1379926495&do=diff Internships 2012/2013 Submit an internship offer * Analyse statique de programme par interprétation abstraite David Monniaux, Grenoble 2.6, 2.9.2, 2.5 * Analyse modulaire de programmes David Monniaux, Grenoble 2.6, 2.9.2, 2.5 * Analyse de programme efficace : SMT-solving et itérations David Monniaux, Grenoble 2.6, 2.9.2, 2.5 * Optimisation de formules SMT David Monniaux, Grenoble 2.5 * Décision de formules contenant des flottants David Monniaux, Grenoble 2.5 * Techniques de co… text/html 2014-09-10T08:12:57+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=internships2014&rev=1410336777&do=diff ===== Internships 2013/2014 ===== * Studying the notion of equity in privacy policy conflict resolution Guillaume Piolle & Valérie Vient Triem Tong - Supélec, Rennes * Proof Systems for XPath S. Schmitz - LSV, ENS Cachan 2-9-1 (also 2-26-2 and 2-1) * Formalization of the executable semantics of the ANSI/ISO C Specification Language J. Signoles & C. Marché, CEA LIST, Nano Innov, Gif-sur-Yvette 2.4, 2.5, 2.6, 2.7, 2.36.1 text/html 2015-05-21T10:23:19+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=internships2015&rev=1432203799&do=diff ===== Internships 2014/2015 ===== Submit an internship offer * Les représentations équivalentes d'un LFSR filtré et leur impact en cryptanalyse Anne Canteaut - Inria Rocquencourt 2.13.2 et 2.12.1 * Analysis of the Mifare Plus Distance Bounding Protocol Gildas Avoine, IRISA Rennes * Can SSD Memory Improve Cryptanalytic Time-Memory Trade-Off? Gildas Avoine, IRISA Rennes * Practical Cryptanalysis of Pseudo-Random Number Generators in RFID Gildas Avoine * Behaviours as solutions f… text/html 2016-09-05T08:09:01+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=internships2016&rev=1473062941&do=diff Internships 2015/2016 * Test tester test * Attack-defense trees with dependencies: a security assessment methodology applied to an access control system Barbara Kordy and Gildas Avoine - IRISA, Rennes * F*: From Program Verification System to Proof Assistant Catalin Hritcu - Inria Paris 2.4, 2.36.1, 2.7.2, 2.7.1, 2.5.1, 1.20, 2.1, 2.6 * Automating Data Science with Coq Rennes/Nantes 2.7.2 * Generating Counterexamples for Coq and TLA+ Proof System Jasmin Blanchette and Simon Cr… text/html 2017-04-27T07:52:53+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=internships2017&rev=1493279573&do=diff Internships 2016/2017 * Quantum Walking in a Discrete Geometry Pablo Arrighi, Giuseppe Di Molfetta - LIF, Luminy 2.34.1 * Analog continuous time machines and models of computation Olivier Bournez, Ecole Polytechnique, LIX, Palaiseau * Temporal logics on strings Stéphane Demri -- LSV, Cachan 1.22, 2.5.1, 2.9.1 * VASS games for resource-bounded logics Stéphane Demri -- LSV, Cachan 1.22, 2.5.1, 2.9.1, 2.20.1 text/html 2018-10-19T14:50:29+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=internships2018&rev=1539960629&do=diff Internships 2017/2018 Submit an internship offer * Test Testing test Wiki test * Formally Secure Compilation Catalin Hritcu, Inria Paris 2.4, 2.36.1, 2.7.2, 2.30 * Service Problems within Highly Dynamic Distributed Systems Franck Petit and Swan Dubois, LIP6, UPMC Sorbonne Université, Paris Distributed algorithms on networks, Distributed algorithms on shared memory text/html 2019-09-25T06:02:42+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=internships2019&rev=1569391362&do=diff Internships 2018/2019 * Anonymous and Colored Asynchronous Computability Prof. Petr Kuznetsov * Control of Adaptive Systems using Game Theory Ocan Sankur, Herve Marchand (Inria Rennes - Irisa) 2.8.1, 2.8.2, 2.6, 2.9.1, 2.9.2, * Development of a new cryo - electron micr oscopy image analysis approach to conformational variability of biomolecular complexes Slavica JONIC, Sorbonne Université, 75005 Paris * Development of a new cryo - electron tomography (cryo - ET) … text/html 2020-09-14T16:37:04+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=internships2020&rev=1600101424&do=diff Internships 2019/2020 * Dépliages de réseaux de Petri pour l'analyse d'écosystèmes Franck Pommereau, université d'Évry/Paris-Saclay * An integrated model for the cell C. Gaucherel (and S. Haar) - Montpellier Petri nets, network and symbolic dynamics * A qualitative model for evolution of ecosystems C. Gaucherel (and M. Maximova) - Montpellier Graph Transformations (Krivine) text/html 2021-10-15T11:57:01+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=internships2021&rev=1634299021&do=diff Internships 2020/2021 * State-based attack-defense trees Sophie Pinchinat and Barbara Fila (IRISA, Rennes, France) * IRM de diffusion et relaxométrie : vers une utilisation combinée Olivier Commowick * Probabilistic Functional Programs: Termination and Verification Charles Grellois - Aix-Marseille Université mainly 2.4, and also 2.2, 2.1 * Catala: Moving Towards the Future of Legal Expert Systems Denis Merigoux -- Karthikeyan Barghavan -- Paris text/html 2022-10-03T14:04:51+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=internships2022&rev=1664805891&do=diff Internships 2021/2022 * Algorithms with Learnable Predictions for Combinatorial Optimization NGUYEN Kim Thang Algorithms and Uncertainty, Randomness in complexity * Types for complexity analysis in a process calculus Patrick Baillot - CRIStAL (Villeneuve d'Ascq / Lille) 2.3.1, 2.4 * Étude d’une méthode probabiliste d’estimation de paramètres pour un modèle continu de dynamique de population océanique Guillaume Cantin et Benoit Delahaye - Université de Nantes / LS2N * Using Data Scie… text/html 2023-10-04T15:47:35+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=internships2023&rev=1696434455&do=diff Internships 2022/2023 * Synthesis of reliable autonomous systems from unreliable components Danko Ilik - CNES Paris Daumesnil * Datalog Reasoning and Explanation David Carral (david.carral@inria.fr) - Inria/LIRMM Montpellier 1-39, 2.26.1 * Hybrid Reasoning Over Heterogenous Data federico ulliana (federico.ulliana@inria.fr) 1-39, 2.26.1 * Fast algorithms for combinatorial optimization and machine learning Adrian Vladu, IRIF, Paris * Improved Sparse Optimization for Machine Learni… text/html 2024-09-24T15:14:04+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=internships2024&rev=1727190844&do=diff Internships 2023/2024 Submit an internship offer * Optimal stopping theory with predictions Spyros Angelopoulos and Christoph Dürr, LIP6-Sorbonne University 2.24.1, 2.11 * Formal Methods for the Verification of Self-Adapting Distributed Systems Radu Iosif & Arnaud Sangnier - Location : Verimag 2.8 2.9.2 2.18.2 * Schnyder woods for higher genus surfaces, with applications to graph drawing Luca Castelli Aleardi - Ecole Polytechnique (LIX) 2.38.1 * text/html 2011-10-27T13:40:09+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=internship_submit&rev=1319722809&do=diff Submit a M2 MPRI internship offer text/html 2024-09-02T13:45:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=interships&rev=1725284700&do=diff Internships 2024/2025 Submit an internship offer text/html 2025-07-25T13:35:08+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=partenaires&rev=1753450508&do=diff Partner and associated institutions The MPRI is a research-oriented master programme in computer science run jointly by the following partner institutions: University Paris-Cité (which is the coordinating institution), University PSL (which includes ENS Paris), University Paris-Saclay (which includes ENS Paris-Saclay), Institut Polytechnique de Paris (which includes École polytechnique and Télécom Paris). Moreover the Master has special ties with the following universities and research institut… text/html 2025-07-09T05:52:50+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=phd&rev=1752040370&do=diff PhD announcements Here are some mailing lists or web sites that announce on a regular basis PhD grants in areas close to the core of the MPRI master. If you are aware of other relevant lists or if you find one of the links below is obsolete or simply not working please write to the Master's director. text/html 2016-08-31T11:51:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=planningsoutenance2016&rev=1472644312&do=diff PLANNING DEFENSES M2-MPRI 2016 Place : Bâtiment Sophie Germain, Place Aurélie Nemours, 75013 Paris. Referees: Roberto Amadio (RA), Hubert Comon (HC), Christoph Durr (CD), Sophie Laplante (SL), Claude Marche (CM), Didier Remy (DR), Gilles Schaeffer (GS), Pierre Senellart (PS), Damien Vergnaud (DV). text/html 2017-09-06T06:06:47+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=planningsoutenance2017&rev=1504678007&do=diff ---------- PLANNING DEFENSES M2-MPRI 2017 Place : Bâtiment Sophie Germain, Place Aurélie Nemours, 75013 Paris. Referees: Roberto Amadio (RA), Gilles Dowek (GD), Christoph Durr (CD), Petr Kuznetsov (PK), Sophie Laplante (SL), Claude Marche (CM), Didier Remy (DR), Gilles Schaeffer (GS), Pierre Senellart (PS), Damien Vergnaud (DV). text/html 2018-09-02T15:58:29+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=planningsoutenance2018&rev=1535903909&do=diff ---------- PLANNING DEFENSES M2-MPRI 2018 Place : Bâtiment Sophie Germain, Place Aurélie Nemours, 75013 Paris. Referees: Michel Abdalla (MA), Olivier Carton (OC), Gilles Dowek (GD), Christoph Dürr (CD), Petr Kuznetsov (PK), Sophie Laplante (SL), Claude Marche (CM), Didier Remy (DR), Gilles Schaeffer (GS), text/html 2019-09-02T18:59:01+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=planningsoutenance2019&rev=1567450741&do=diff PLANNING DEFENSES M2-MPRI 2019 Place : Bâtiment Sophie Germain, Place Aurélie Nemours, 75013 Paris. Referees: Michel Abdalla (MA), Olivier Carton (OC), Christoph Dürr (CD), Petr Kuznetsov (PK), Sophie Laplante (SL), Claude Marche (CM), Didier Remy (DR), Gilles Schaeffer (GS), text/html 2023-09-04T18:52:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=planningsoutenance2020&rev=1693853572&do=diff PLANNING DEFENSES M2-MPRI 2022/2023 Place : Bâtiment Sophie Germain, Place Aurélie Nemours, 75013 Paris (to be confirmed) Referees: Olivier Carton, Christoph Dürr, Jean Goubault-Larrecq, Sophie Laplante, Brice Minaud, François Pottier, Gilles Schaeffer, Mauro Sozio text/html 2024-09-11T11:17:32+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=planningsoutenance2024&rev=1726053452&do=diff PLANNING DEFENSES M2-MPRI 2023/2024 Location : Sophie Germain building, place Aurélie Nemours, 75013 Paris, room 1002. All defenses are public (except when marked [NOT PUBLIC]). Discussions during breaks are restricted to the advisors and members of the jury. Information about how to prepare your report and your defense can be found text/html 2014-09-01T16:30:49+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=planningsoutenances2014&rev=1409589049&do=diff PLANNING DEFENSES M2-MPRI Place : Bâtiment Sophie Germain, 8 Place FM/13, 75013 Paris. Room 1009. Referees: Roberto Amadio (RA), Hubert Comon (HC), Christoph Durr (CD), Bertrand Meyer (BM), Christine Paulin (CP), Francois Pottier (FP), Gilles Schaeffer (GS), Pierre Senellart (PS), Damien Vergnaud (DV). text/html 2015-09-03T13:09:03+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=planningsoutenances2015&rev=1441285743&do=diff PLANNING DEFENSES M2-MPRI 2015 BEWARE OF THE CHANGES CONCERNING THE ROOMS (SEE BELOW) Place : Bâtiment Sophie Germain, Place Aurélie Nemours, 75013 Paris. Referees: Roberto Amadio (RA), Hubert Comon (HC), Christoph Durr (CD), Christine Paulin (CP), Didier Remy (DR), Gilles Schaeffer (GS), Pierre Senellart (PS), Damien Vergnaud (DV). text/html 2011-07-11T13:30:58+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=prerequis&rev=1310391058&do=diff M1 entrance requirements The MPRI master is open to all students holding a Bachelor (or equivalent). The entrance requirement are, in short the Bachelor program of the main universities/grandes écoles. Programming * General knowledge of an imperative language (C, C++), a functional language (Ocaml), an object oriented language (C++, Java) and an in-depth knowledge of one of these programming languages. text/html 2014-05-31T17:36:35+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=schedule14&rev=1401557795&do=diff SCHEDULE M2-MPRI COURSES [UNDER CONSTRUCTION !] All courses take place in rooms located in building Sophie Germain. The schedule specifies whether the course is taught in period 1, period 2, or both periods (period 1-2). Slots last 3 hours with default starting time: 8:45 in the morning, 12:45 at midday, and 16:15 in the evening. text/html 2015-06-17T16:26:38+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=secretariat-save&rev=1434558398&do=diff How to contact us MPRI Director Roberto AMADIO. Email: Roberto.Amadio@univ-paris-diderot.fr. Tel: 01 57 27 92 40. Mail: Univ. Paris Diderot, Case 7014, Place Aurélie Nemours 75205 PARIS cedex 13. MPRI Main Secretariat Nicolas LOISEL. Email: loisel@informatique.univ-paris-diderot.fr. Tel: 01 57 27 68 92. Mail: Univ. Paris Diderot, UFR d'Informatique, Case 7024, Place Aurélie Nemours 75205 PARIS cedex 13. text/html 2015-06-17T16:29:56+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=secretariat-save2&rev=1434558596&do=diff How to contact us Secretariat All matters of administrative follow-up are centralised by the MPRI's Main Secretariat. Please only use the other addresses herebelow if necessary. ---------- The institutions' representatives on the Studies Committee text/html 2025-07-25T13:34:05+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=secretariat&rev=1753450445&do=diff Contacts for M2-MPRI M2-MPRI Director Email: * Jean GOUBAULT-LARRECQ, LMF, ENS Paris-Saclay. Postal address: Bâtiment 650 Ada Lovelace - Université Paris-Saclay Rue Raymond Castaing 91190 Gif-sur-Yvette * Brice MINAUD, EPI CASCADE, ENS Paris and INRIA. Postal address: text/html 2025-09-04T09:45:01+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=sidebar&rev=1756979101&do=diff This website is deprecated. It has not been deleted yet, but the information it contains is outdated. The MPRI website has moved: https://mpri-master.ens.fr/. Home • How to contact us • How to apply • Entrance requirements • Management The MPRI Programme • Organisation • Ethics • Level 1 modules • Level 2 modules Practical information • Calendar and timetable (2024/2025) • Calendar and timetable (2025/2026) • Internships • Scholarships • PhD grants text/html 2025-09-05T12:20:14+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=stages&rev=1757074814&do=diff Internships Administrative process The internship proposal should be submitted on the pedagogical server by January 31. Please take note: the internship proposal must be approved by your Study Director following an analysis of the Studies Committee on the distribution of the internships. It is recommended to have a back-up proposal in case your first choice is not approved. The rule is that each internship director can supervise at most one MPRI student. text/html 2025-09-04T09:36:03+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=start&rev=1756978563&do=diff Overview The MPRI is a research-oriented master programme in computer science run jointly by the following institutions: Université de Paris (which is the coordinating institution), l'École normale supérieure de la rue d'Ulm, Paris, henceforth ENS Ulm text/html 2016-04-12T11:16:59+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=titlesinternships2016&rev=1460459819&do=diff TENTATIVE TITLES M2-MPRI DEFENSES 2016 Aguirre-Galindo Alejandro F* : Reliable Automatic Proofs and Counterexamples using SMT Amoussou-Guenou Yackolley Théorie des jeux booléens électriques Auza Arinta Ordinateurs quantiques à mémoire finie et circuits quantiques synchrones text/html 2017-03-31T08:49:39+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=titlesinternships2017&rev=1490950179&do=diff TENTATIVE TITLES INTERNSHIPS M2-MPRI 2017 Amorim Pedro, Certified Distributed Algorithms for Network Routing. Aptel Laure, Transmission temporelle d'information. Arrighi Emmanuel, Propriétés de graphes et calcul d’étiquettes de distances dans les réseaux de transport. text/html 2018-09-13T23:57:11+00:00 Anonymous (anonymous@undisclosed.example.com) https://wikimpri.dptinfo.ens-paris-saclay.fr/doku.php?id=topics&rev=1536883031&do=diff Presentation on Monday afternoon * 14:00-14:30 : Gilles Dowek (logic) * 14:30-15:00 : Anne Canteaut (cryptography) * 15:00-15:30 : Laurent Fribourg (verification) * 15h30-16:00 : Michele Pagani (semantic) * 16:00-16:30 : BREAK * 16:30-17:00 : Reza Naserasr (algorithms) * 17:00-17:30 : Christoph Dürr (