Information M2 – 2017/2018

List of courses (for full description follow the link CRxx):

  • CR01: Optimal Decision Making and Online Optimization, Panayotis Mertikopoulos and Bruno Gaujal.
  • CR02: Computational Geometry, Monique Teillaud and Olivier Devillers.
  • CR03: Hard lattice problems, Damien Stehlé.
  • CR04: Automata, coinduction, and relation algebra, Damien Pous.
  • CR05: Monadic Second Order Logic, Automata, Expressivity and DecidabilityMatteo Mio and Denis Kuperberg.
  • CR06: Implicit Computational Complexity, Patrick Baillot and Olivier Laurent.
  • CR07: Models of concurrency, categories, and games, Pierre Clairambault and Glynn Winskel.
  • CR08: Scheduling at scale, Yves Robert.
  • CR09: Advanced Topics in Scalable Data ManagementEddy Caron and Marcos Dias de Assuncao
  • CR10: Software Engineering & Compilation, Sebastien Mosser and Laure Gonnord 
  • CR11: Mathematical Methods for Image SynthesisNicolas Bonneel and Julie Digne.
  • CR12: Modeling and performance evaluation of computer and communications system, Philippe Nain.
  • CR13: Computational TopologyFrancis Lazarus and Arnaud de Mesmay.
  • CR14: Network Information TheoryJean-Marie Gorce and Samir M. Perlaza. Sorry, this course will not open this year but later in 2018-2019.
  • CR15: Complex NetworksEric Fleury and Marton Karsai.
  • CR16: Lower bound methods, Pascal Koiran, Omar Fawzi, and Stéphan Thomassé.
  • CR17: Graph Decompositions: From Tree-Width to Perfect GraphsNicolas Trotignon and Stéphan Thomassé.

Winter schools:  Information will be provided later on. The three schools will take place on week 49 (starting Monday Dec. 4), on week 3 (starting Monday Jan. 15)  and on week 4 (starting Monday Jan. 22).

Pre-course meeting: A (mandatory) pre-course meeting will take place on Monday, September 11 at 9.30am, Amphi B. The general organization of the year and a description of the courses will be provided.

Schedule: Courses start September 11 at 1:30pm. Autumn holidays are October 28-November 5. Winter holidays are December 23-January 7. Exams will be held on week 2 (starting Monday Jan. 8), for a subset of courses. The detailed schedule is available here:

https://pad.inria.fr/p/r.542fa856c4fe21df30b444eb43913405

This page is read-only and password protected (password is ‘m2info17’). The page is updated on a regular basis, check it often.

On Thursday October 12 at 12:15pm, right after the CR15 course, there is a meeting about the training period (or internship). Come ofr information and prepare your questions!

Validation: To obtain their degree, CS Master students must complete 60 credits including the internship (30 credits), three winter schools (2 credits each) and four courses (4 credits each) in the above list. A typical choice is 6 courses, 3 schools and the internship; the extra courses can be chosen either in the CS courses or in the other departments. To meet the quality requirements of our program, the course choices must be approved by the academic tutor and the head of the Master 2 program. Administrative registration is mandatory. Please refer to the rules of the Master here

Contact: Yves Robert

M2 Timetables

Please note that rooms and times may be subject to changes.

Last modifications: December 6 (more modifications in s49, s50, s01 and s02). 

The typical timetable for the M2 in 2016-2017 is the following: Edt-Type.

Timetables for each week are posted here for convenience (subject to changes).

  • S37 (courses start Sept.13/14, mandatory meeting Sept.12 at 9.15): S37
  • S38: S38
  • S39: s39 (No CR03, no CR14, but there is CR08 in the end! And new room for CR16. ** NO CR07**)
  • S40: s40 (New room for CR16, ** extra CR07 **)
  • S41: s41 (Added CR02, change for CR16, no CR09, ** Mandatory PhD information meeting Tuesday at 13h15 **)
  • S42: s42 (No CR16, no courses on Oct.18)
  • S43 (holidays from Oct.27): s43 (no CR1, extra CR16)
  • S44 (starts Nov.3): s44
  • S45 (no courses on Nov.11): s45 (extra CR12)
  • S46: s46 (no CR02, extra CR06, **no CR16**)
  • S47: s47 (extra CR16, extra CR14, ** Presentation PSL-ITI **)
  • S48: no courses (ER01)
  • S49: s49 (extra CR06, **extra CR10**, ***change of time for CR10 and extra CR17, no CR15, no CR08, change in CR08, change in CR04***)
  • S50: s50 (extra **CR02, CR03 and CR04, no CR10, no CR16**, ***extra CR05***)
  • S51: no courses (holidays)
  • S52: no courses (holidays)
  • S01 (starts Jan.3): s01 (**No CR03, no CR01, no CR12**, ***extra CR14, extra CR15, extra CR11, no CR10, no CR05***)
  • S02: EXAMS (tentative): s02
  • S03: no courses (ER02)
  • S04: no courses (ER03)

M2 2015-2016

Year 2015-2016

The goal of this Master program is to provide a wide choice of high quality courses in computer science ranging from the most theoretical aspects to applications. It is open to students having achieved a 4th year degree in Science (Master 1) who wish to deepen their understanding of Computer Science. The typical year starts with courses during the fall term, followed by several (24h, week long) winter schools, and achieved by a 20 weeks research internship. Courses and materials are provided in English to encourage foreign students to join our program. Academic tutoring is provided to every student for finding internships, choosing courses, and providing guidance all along the year.

  • List of courses (for full description follow the link CRxx):

CR01 Advanced Cryptographic PrimitivesDamien Stehlé and Benoit Libert.

CR02 Resilient and Energy-Aware Scheduling AlgorithmsAnne Benoit.

CR03 Network Algorithms for Molecular BiologyMarie-France Sagot.

CR04 Quantum Information and ComputationPascal DegiovanniOmar Fawzi and Natacha Portier.

CR05 Tilings: between Dynamical Systems and ComputabilityNathalie Aubrun and
Mathieu Sablik.

CR06 Algorithmic Number TheoryGuillaume Hanrot.

CR07 Computer Science and PrivacyBenoit Libert and Frédéric Prost.

CR08 Arithmetic Circuit ComplexityPascal Koiran and Natacha Portier.

CR09 Distributed Computing: Models and ChallengesEddy CaronGilles FedakChristian Perez and Laurent Lefevre.

CR10 Program Analysis, Safety Program VerificationLaure Gonnord and David Monniaux.

CR11 Rule-based Modeling of Biochemical SystemsRuss Harmer.

CR12 Coinductive Methods in Computer ScienceFilippo BonchiDaniel Hirschkoff and Damien Pous.

CR13 Implicit Computational ComplexityPatrick BaillotOlivier Laurent.

CR14 Finite Automata in Number TheoryBoris Adamczewski.

CR15 Complex NetworksChristophe Crespelle and Marton Karsai.

CR16 Signal Processing and NetworksPierre BorgnatJean-Christophe Pesquet and Nelly Pustelnik.

CR17 Probabilistic Methods, with Applications to GraphsLouis Esperet and Stéphan Thomassé.

CR18 Advanced Compilers: Loop Transformations and High-Level SynthesisTomofumi Yuki and Christophe Alias.

CR19 Fundamental Algorithms in Real Algebraic GeometryMohab Safey El Din and Jean-Charles Faugère.

  1. Winter schools: ici
  • Pre-course meeting: A (mandatory) pre-course meeting is planned on September 11 at 9am, Amphi B. The general organisation of the year and a description of the courses will be provided.
  • Schedule: Courses start September 14. Autumn holidays are October 26-30, Winter holidays are December 21-31. Exams will be held on January 4-8 2016. The schedule will be released soon.
  • Validation: To obtain their degree, CS Master students must complete 60 credits including the internship (30 credits), three winter schools (2 credits each) and four courses (4 credits each) in the above list. A typical choice is 6 courses, 3 schools and the internship; the extra courses can be chosen either in the CS courses or in the other departments. To meet the quality requirements of our program, the course choices must be approved by the academic tutor and the head of the Master 2 program. Administrative registration is mandatory.
  • Complex System program.

    The “Complex Networks” M2 master program organised by IXXI/ENS Lyon provides an innovative training for students who are interested in the interdisciplinary research of complex networks and modeling of complex systems. This program maintains a balance between different disciplines by combining courses from the fields of biology, computer science, mathematics, physics and sociology. Students from all of these disciplines are welcome to participate; the student will follow both the ”Complex Networks” program and part of their own M2: Computer Science, Physics, Bioscience or Mathematics. Follow this link for further details.

Master 2 – 2016/2017

List of courses (for full description follow the link CRxx):

Evaluation of M2 courses

For your information, here are the modalities of evaluation for all M2 courses.

CR01: The students are given research articles twice. Each time, they give an oral presentation based on these articles. The first one counts as continuous evaluation (CE), the second one as final evaluation (FE). The final note is given by (CE+2FE)/3.

CR02: There is homework for continuous evaluation (CE). The students are given research articles, they produce a written report and give an oral presentation based on these articles (FE). The final note is given by (CE+2FE)/3.

CR03: There is homework for continuous evaluation (CE). The students are given research articles, they produce a written report and give an oral presentation based on these articles (FE). The final note is given by (CE+2FE)/3.

CR04: There is homework for continuous evaluation (CE). The students choose research articles, they produce a written report and give an oral presentation based on these articles (FE). The final note is given by (CE+FE)/2.

CR05: 3 homeworks for continuous evaluation (CE); written report and give an oral presentation based on a research article for final evaluation (FE). The final note is given by (CE+2FE)/3.

CR06: Two mini-projects counting each for 1/4 of the final grade. One final exam counting for the last half.

CR07: Two homeworks for continuous evaluation (CE1,CE2). The students are given research articles, they produce a written report and give an oral presentation based on these articles (FE). The final note is given by ((CE1+CE2)/2+2FE)/3.

CR08: Grades will be based on a final exam and on the presentation of a research article, each contributing to one half of the grade.

CR09: The students are given research articles, they produce a written report (WR/20) (between 8 and 20 pages). We will do a cross review. One report of another given student report (1 or 2 pages maximum) will be done (RR/20). And student gives an oral presentation based on these articles (OP/5). Questions should be done by students (Q/5). The final note is given by (3WR+3OP+2*(RR+Q))/7

CR10: The students are asked to write a static analyser for a mini language (AS). The students are given research articles, they give an oral presentation based on these articles (FE). The final note is given by (AS+FE)/2.

CR11: There will be a programming project (6pts, due after the mid-term break), a modeling project (7pts, due after the end-of-term break) and a written exam (7pts).

CR12: The final grade for the CR12 course is computed as follows: small exercices to be handed each week, during the first half of the course, count for 1/4 of the grade; a mid term exam counts for 1/4 of the grade; a final exam counts for 1/2 of the grade.

CR13: There is homework for continuous evaluation (CE). The students have also a final evaluation (FE) based on a written exam at the end of the course. The final note is given by max(FE,(CE+2FE)/3).

CR14: There is homework (based on the content of lectures as well as the study of research papers) for continuous evaluation (CE). There is a written exam (2h) for final examination (FE). The final note is given by (CE+2FE)/3.

CR15: The evaluation of the CR15 Complex Networks course will depend on whether the student is involved in the M2 Complex System program or not. If yes then the student’s participation will be mandatory to the TD, which is evaluated through projects during the semester and the final mark will count as 1/3 to the final overall mark. In addition every student has to pass a written exam by the end of the semester for the lecture, which will count with 2/3 weight in the final evaluation. If the student is not involved in the Complex System program only the written exam is mandatory, which result will determine 100% the final mark. On the other hand even these students have the option to participate to the TDs, complete the projects and get a TD mark. In this case the student will have the advantage to gain the better mark gained with or without the TD results.

CR16: The students will be proposed research articles about which they need to produce a report (with some numerical applications of the content of the article) and an oral presentation. The report and presentation are used for the note.

CR17: Two homeworks (counting each for DM/2) and one final exam (DS). The final grade is (DM+2DS)/3.

CR18: The students are given 3 homework assignments for continuous evaluation (CE). At the end of the semester, students are asked to study and orally present research articles (FE). The final note is given by (CE+2FE)/3.

CR19: There is homework for continuous evaluation (CE). The students are given research articles, they produce a written report and have an exam based on these articles (FE). The final note is given by (CE+2FE)/3.

Registering at Lyon1

Here are some useful informations for your registration at Lyon1.
  • What do you need to pay?
    • Sécurité sociale : 215 € (you are not all concerned)
    • Médecine préventive universitaire : 5,10 €
    • Master : 256 €
  •  Those of you who were at ENS Lyon last year can do everything online after Saturday Sept. 12 (we first need to confirm to Lyon1 who is indeed accepted to the M2): http://inscriptionweb.univ-lyon1.fr/
  • For those of you who enter ENS Lyon this year, you will need to go there. First, you need to fill this document:
Also, you can find the list of documents required here: docs-Lyon1.
You can get some help to fill the registration documents thursday between 11h30 and 13h00 (see the “circulaire de rentrée”), and then some of you (5 at most) can directly go to register at Lyon1 at 13h. You will need a way to pay, and someone with basic knowledge of french because no-one speaks english there. Please let me know asap if you want to go thursday, and I will then send you directions.
We will arrange another time to register for those who could not make it on thursday afternoon.

Timetables for the M2 2015-2016

The pre-course meeting for the M2 is planned Friday September 11 at 9am in Amphi B.

Courses start September 14. Here is the typical timetable for all weeks: EdT-M2-type

Note that the schedule will slightly change from one week to another. Timetables will be posted (and sent by email to students registered to the M2) whenever they are available.

Here is the form to fill for your choices of courses: modules-M2IF

  • Week 38 (starting Sept 14): EdT-M2-S38 (new version of Sept 11)
  • Week 39 (starting Sept 21): EdT-M2-S39
  • Week 40 (starting Sept 28): EdT-M2-S40-v3 (a few changes of rooms / updates of courses)
  • Week 41 (starting Oct 5): EdT-M2-S41-v2 (exchange CR01-CR02)
  • Week 42 (starting Oct 12): EdT-M2-S42
  • Week 43 (starting Oct 19): EdT-M2-S43-v2 (update of room)
  • Holidays
  • Week 45 (starting Nov 2): EdT-M2-S45
  • Week 46 (starting Nov 9): EdT-M2-S46-v2
  • Week 47  (starting Nov 16): EDT-M2-S47
  • Week 48 (starting Nov 23): EDT-M2-S48
  • Week 49 (starting Nov 30): EDT-M2-S49
  • Week 50 (starting Dec 7): Research school, no courses
  • Week 51 (starting Dec 14): EDT-M2-S51
  • Exams will be held on January 4-8, 2016 (EDT-M2-EXAMS), followed by two weeks of research schools.