Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

2015-2016 Agenda

M1

The M1 year is organized by each of the partner institutions.

M2

The kickoff meeting will take place on Monday, September 14 at 10:30 in salle des thèses, 580F, 5th floor, secteur F, la Halle aux farines, 10-16 rue Françoise Dolto, 75013 Paris, Métro : ligne 14, RER C : Bibliothèque F. Mitterrand. 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

The lectures will start on Monday, September 14 at 12:45.

There will be a Christmas break from December 19 2015 until January 3, 2016 (bounds included). There is no other break.

The M2 lectures are divided in two periods of 10 weeks, each period is followed by 2 weeks of examinations.

  • From September 14 2015 until November 20 2015 : first lecture period.
  • From November 23, 2015 until December 4, 2015 : final or mid-term exams.
  • From December 7, 2015 until February 26, 2016 : second lecture period.
  • From February 29, 2016 until March 11, 2016 : exams.

M2 lectures take place in Batiment Sophie Germain

Research internships last 4.5 months (at least) and may start from March 14, 2015. Internships are typically defended the first week of September.

Summary of main deadlines

  • Sep. 30: submission of a study plan
  • Jan. 15: canceling or adding registration to modules
  • Jan. 31: submission of an internship choice
  • Apr. 30: retaking exams requests
  • Jul. 31: retaking exams
  • Aug. 21: internship reports upload

2015-2016 SCHEDULE M2-MPRI COURSES

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 (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.

Unless announced otherwise on the page of the course, the default starting time for courses that last 2.5 hours is the beginning of the slot. Similarly, by default, courses start the first week of each period.

For a course that lasts 1.5 hours, the last column mentions whether it starts in the middle of the slot (10:15, 14:30, 17:45).

Slot Course Room Period(s) Notes on starting time
Monday 8:45 2.13.1 Polynomial systems, computer algebra, and applications
2.26.2 Web data management
2035
2036
2
2
Monday 12:45 2.29.1 Graph algorithms
2.20.2 Mathematical foundations of automata theory
2035
2035
1-2
1-2

middle of the slot
Monday 16:15 2.16 Finite automata modelling
2.12.1 Techniques in cryptography and cryptoanalysis
2.12.2 Arithmetic algorithms for cryptology
2035
2036
2036
1-2
1-2
1-2


middle of the slot
Tuesday 8:45 2.18.2 Distributed algorithms on shared memory
2.33.1 Theory of computations
2.24.2 Optimization and search heuristics
2035
2036
2036
1
1
2
Tuesday 12:45 2.11 Randomness in complexity
2.35.1 Constraint programming
2.8.2 Foundations of real-time and hybrid systems
2036
2035
2035
1-2
1
2
Tuesday 16:15 2.22 Efficient algorithms in computer algebra
2.23.1 Synchronous systems
2.17.1 Foundations of network models
2035
2036
2036
1-2
1
2
Wednesday 8:45 2.6 Abstract interpretation: application to verification and static analysis
2.20.1: Game theory techniques in computer science
2035
2036
1-2
1
Wednesday 12:45 2.3.1 Concurrency
2.3.2 Foundations of privacy
2.27.1 Computational structures and logics for natural language modelling
2.37.1 Semantics, languages and algorithms for multicore programming
2035
2035
2036
2036
1
2
1
2
Wednesday 16:15 2.1 Linear logic and logical paradigms of computation
2.30 Cryptographic protocols: formal and computational proofs
2035
2036
1-2
1-2
Thursday 8:45 2.8.1 Non-sequential theory of distributed systems
2.36.1 Proof of programs
2.13.2 Error correcting codes and applications to cryptography
2.18.1 Distributed algorithms on networks
2035
2035
2036
2036
1
2
1-2
1-2



middle of the slot
Thursday 12:45 2.7.1 Foundations of proof systems
2.7.2 Proof assistants
2.38.1 Algorithms and combinatorics for geometric graphs
2035
2035
2036
1
2
1
Thursday 16:15 2.19 Computational methods for systems and synthetic biology
2.9.2 Algorithmic verification of programs
2.34.1 Quantum information and application
2035
2036
2036
1-2
1
2
Friday 8:45 2.4 Functional programming and type systems
2.10 Algorithmic aspects of combinatorics
2035
2036
1-2
1-2
Friday 12:45 2.2 Models of programming languages: domains, categories, games
2.9.1 Mathematical foundations of the theory of infinite transition systems
2.24.1 Optimization
2035
2035
2036
2
1
1
Friday 16:15 2.15 Analysis of algorithms 2036 1-2
Slot Course Room Period(s) Notes on starting time

2015-16 Calendar, 2014-15 Calendar, 2013-14 Calendar, 2012-13 Calendar.

 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA