The M1 year is organized by each of the partner institutions.
The kickoff meeting will take place on Monday
September 11th, 2023 at 10:00 in amphitheater 12E in the building HalleauxFarines
(Building 2 on the Map).
The address is of the Sophie Germain building is
8 place Aurélie Nemours
75013 Paris
Slides of the kickoff meeting 20182019.
The lectures will start on Tuesday, September 12th at 8:45.
There will be a Christmas break from December 23rd 2023 until January 7th, 2024
(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 11 2023 until November 17 2023 : first lecture period.
From November 20, 2023 until December 1, 2023 : final or midterm exams.
From December 3, 2023 until February 23, 2024 : second lecture period.
From February 26, 2024 until March 9, 2024 : exams.
M2 lectures take place in Batiment Sophie Germain
Research internships last 4.5 months (at least) and may start from March
13, 2024. Internships are typically defended the first week of September.
Sep. 30: submission of a study plan (on the pedagogical server)
Jan. 15: canceling or adding registration to modules (on the pedagogical server, via your Study Director). NB you cannot cancel MPRI modules for which you passed midterm or final exams.
Jan. 31: submission of an internship choice (on the pedagogical server)
Mar. 31: submission of courses' evaluations (on the pedagogical server)
Apr. 30: retaking exams requests (by email to the Professor in charge of the course, with copy to the Master Director)
Jul. 31: retaking exams (by appointment)
Aug. 20: internship reports upload (on the pedagogical server)
The first week (12th15th September) the rooms 1002 and 1004
are replaced respectively by the rooms 381F and 475F of the building 'Halle aux Farines'
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 (12).
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:15, 17:45).
Monday
8h45  2.7.2: Proof assistants
2.16: Finite automata modelling  1002
1004  1
12 

Monday
12h45  2.20.2: Symbolic dynamics
2.8: Advanced technics of verification  1002
1004  12
12  first half of slot

Monday
16h15  2.7.1: Foundations of proof systems
2.9.1: Algorithmic Aspects of Well QuasiOrder Theory
2.17.1: Foundations of network models
2.19: Biochemical Programming  1004
1002
1002
1004  1
1
2
2 

Tuesday
8h45  2.23.1: Synchronous systems
2.30: Proofs of security protocols  1004
1002  1
12 

Tuesday
12h45  2.27.1: Computational structures and logics for natural language modelling
2.29.2: Graph mining
2.11.1: Parameterized complexity
2.34.2: Quantum information and cryptography  1004
1002
1002
1004  1
1
2
2 

Tuesday
16h15  2.1: Linear logic and logical paradigms of computation
2.13.1: Polynomial Systems, computer algebra, and applications  1002
1004  12
1 

Wednesday
8h45  2.12.1: Techniques in cryptography and cryptanalysis
2.13.2: Error correcting codes and applications to cryptography
2.18.1: Distributed algorithms on networks  1004
1004
1002  12
12
12  first half of slot
second half of slot
second half of slot 
Wednesday
12h45  2.4: Functional programming and type systems
2.10: Algorithmic aspects of combinatorics  1002
1004  12
12 

Wednesday
16h15  2.15: Analysis of algorithms  1002  12  
Thursday
8h45  2.6: Abstract interpretation: application to verification and static analysis
2.24.2: Optimization and Search Heuristics
2.38.1: Algorithms and combinatorics for geometric graphs  1004
1002
1002  12
2
1 

Thursday
12h45  2.14.1: Computational geometry and topology
2.34.1: Quantum information
2.40 : Probabilistic programming languages  1002
1004
1002  1
1
2 

Thursday
16h15  2.11.2: Randomness in complexity
2.22: Efficient algorithms in computer algebra
2.29.1: Advanced graph theory  1002
1004
1002  1
12
2 

Friday
8h45  2.12.2: Arithmetic algorithms for cryptology
2.3.1: Concurrency
2.24.1: Algorithms and Uncertainty
2.36.1: Proof of programs  1004
1002
1002
1004  1
2
1
2 

Friday
12h45  2.18.2: Distributed algorithms on shared memory
2.20.1: Game theory techniques in computer science  1002
1004  1
1 

Friday
16h15  2.2: Models of programming languages: domains, categories, games
2.9.2: Algorithmic verification of programs
2.39 : Visual data analysis  1004
1002
1002  12
2
1 

202223 Calendar