Informations M2 – 2021/2022

General Outline

The Master 2 in Computer Science is composed of research courses (CR) from September 6, 2021 to January 28, 2022, followed by an internship from January 31 to June 24, 2022. An extended set of 18 courses will open. Each course corresponds to 32 hours (typically 4 hours per week during 8 weeks). Here is a tentative calendar:
– Monday, September 6, 2021: pre-course meeting at 9:30am. Attendance to this meeting is mandatory for all students.
– Wave 1 : weeks starting on 06/09, 13/09, 20/09, 27/09, 04/10, 11/10, 18/10, 25/10, 01/11 and 08/11, with a vacation week (Toussaint). 9 courses will take place during wave 1.
– Wave 2 : weeks starting on 15/11, 23/11, 30/11, 07/12, 14/12, 04/01, 11/01, 18/01 et 25/01, with two vacation weeks starting on 20/12 et 27/12 (Christmas). 9 courses will take place during wave 2.
– Full-time internship from 31/01 to 24/06, 2022. Defense of internship reports will take place on June 27-28, 2022 (to be confirmed).

Latest Information

Updated schedule and latest info will be available on a read-only password-protected pad (more info will be provided later).

 

List of Courses (for full description follow the link CRxx — some links to be updated soon):

  • CR01: Concentration of measure in probability and large-scale machine learning, Guillaume Aubrun, Aurélien Garivier and Rémi Gribonval (ENS Lyon) — this course is joint with the Master of Advanced Mathematics
  • CR02: The structure of graphs of high chromatic number, Marthe Bonamy (CNRS Bordeaux) and Stephan Thomassé (ENS Lyon)
  • CR03: Logical Foundations of Programming Languages, Olivier Laurent and Colin Riba (ENS Lyon)
  • CR04: Mathematical aspects of automata theory, Denis Kuperberg and Matteo Mio (ENS Lyon)
  • CR05: Floating-point arithmetic and beyond, Sylvie Boldo, Claude-Pierre Jeannerod, Guillaume Melquiond and Jean-Michel Muller (LRI Orsay, ENS Lyon)
  • CR06: Computability theory and applications, Ludovic Patey (Institut Camille Jordan, UCB Lyon)
  • CR07: Complex networks, Rémi Cazabet (LIRIS, UCB Lyon)
  • CR08: Learning for Graphics, Graphics for Learning, Adrien Bousseau, George Drettakis (Inria Sophia) and Guillaume Cordonnier (ETH Zurich)
  • CR09: Interactive and Non-Interactive Proofs in Complexity and Cryptography, Alain Passelègue (ENS Lyon) and Geoffroy Couteau (IRIF Paris)
  • CR10: Post-quantum cryptography, Philippe Gaborit (U. Limoges), Damien Stehlé (ENS Lyon) and Benjamin Wesolowski (CNRS Bordeaux)
  • CR11: Algebraic methods and program correctness, graphs and automata, Amina Doumane, Damien Pous (ENS Lyon) and Georg Struth (University of Sheffield, UK)
  • CR12: Computer-aided proofs and combinatorial exploration, Pascal Ochem (LIRMM Montpellier) and Michael Rao (ENS Lyon)
  • CR13: Graph Decompositions, Édouard Bonnet, Stéphan Thomassé and Rémi Watrigant
  • CR14: Static Analysis for Optimizing Compilers, Christophe Alias, Laure Gonnord and Yannick Zakowski (ENS Lyon)
  • CR15: Resource optimization for linear system solvers, Grégoire Pichon, Bora Uçar and Frédéric Vivien (ENS Lyon)
  • CR16: Program verification with coinduction and proof assistants, Damien Pous and Yannick Zakowski (ENS Lyon)
  • CR17: Large scale sustainable distributed resource management, Eddy Caron, Elise Jeanneau and Laurent Lefevre (ENS Lyon)
  • CR18: Distributed algorithms, Vivien Quéma (IMAG Grenoble)

Pre-course Meeting: A pre-course meeting will take place on Monday, September 6, 2021 at 9.30am, Amphi B. Attendance to this meeting is mandatory for all students. The general organization of the year and a description of the courses will be provided. Courses start on Monday, September 6, at 1:30pm.

Training Period: A mandatory full-time training period takes place from Monday, January 24 up to Friday, June 24, 2022. An information session about topics and locations for the training period will be organized in September. Basically, the goal is to research in a laboratory (anywhere on earth), write a report and make an oral presentation in the end. Training periods will be defended on June 27 and 28, 2022 (tentative dates).

Schedule: Courses start on September 6 at 1:30pm. Exams will be held at the end of each wave (for those courses with a final). Again, the detailed weekly schedule will be available on the Inria pad mentioned above. This pad will be updated on a regular basis, check it often.

Rules of the Game: To obtain their degree, CS Master students must complete 60 credits including the internship (30 credits) and four courses (5 credits each) in the above list of CR1 to CR18. To summarize, there are 50 mandatory credits out of 60 and 10 remaining credits that can be picked elsewhere. While a typical choice by many students is 6 CR courses and the internship, the extra courses for the 10 remaining credits can be chosen in other masters, e.g.:
– CS courses in the M2 offered by Univ. Lyon 1 https://fst-informatique.univ-lyon1.fr/formation/masters/
– courses from other ENS departments, often Mathematics (http://mathematiques.ens-lyon.fr/master-2-234092.kjsp) or Complex Systems (http://www.ixxi.fr/enseignement/master_systemes_complexes)

The diploma delivered by ENS Lyon is M2 Informatique Fondamentale, and computer science must remain at the heart of the curriculum. In particular, the training period must be oriented towards research in core computer science (possibly applied to other disciplines).

Formal Validation: To meet the quality requirements of our program, all course choices must be approved by the academic tutor and the head of the Master 2 program. Administrative registration to chosen courses is mandatory and takes place in early October, after a trial period.

Course validation: At the end of each course, there is an evaluation based upon a research presentation, or a written exam, or both. Many professors also give exercises during the span of the course. The research presentation consists of reviewing and synthesizing a research paper, and usually involves writing a short report in addition to the oral presentation. Research presentations are time-consuming, hence it is expected that students have a balanced set of courses per each wave. Indeed, the main motivation for the waves is to help students organize their schedules and avoid having 6 research presentations to defend on the same week; instead, having 3 presentations in the first wave and 3 in the second wave is much more likely to succeed!

Please refer to the rules of the Master here

Contact: Zoe Michal-Sihalath (admin) or Yves Robert (head of M2)

Informations M2 – 2020/2021

General Outline

The Master 2 in Computer Science is composed of research courses (CR)  from September 7, 2020 to January 29, 2021, followed by an internship from February 1 to June 25, 2021. An extended set of 19 courses will open. Each course corresponds to 32 hours (typically 4 hours per week during 8 weeks). Here is a tentative calendar:
– Monday, September 7, 2020: pre-course meeting at 9:30am. Attendance to this meeting is mandatory for all students.
– Wave 1 : weeks starting on 07/09, 14/09, 21/09, 28/09, 05/10, 12/10, 19/10, 02/11 and 09/11, with a vacation week starting on 26/10 (Toussaint). 9 courses will take place during wave 1.
– Wave 2 : weeks starting on 16/11, 23/11, 30/11, 07/12, 14/12, 04/01, 11/01, 18/01 et 25/01, with two vacation weeks starting on 21/12 et 28/12 (Christmas). 10 courses will take place during wave 2.
– Full-time internship from 01/02 to 25/06, 2021.

Latest Information

Updated schedule and latest info will be available on the read-only password-protected pad :

https://pad.inria.fr/p/r.fe63ced1eb81edb1b8ee6bc300de5990

passwd: m2info20

List of Courses (for full description follow the link CRxx — some links to be updated soon):

  • CR01: Virtualization technologies: design and implementation, Alain Tchana (ENS Lyon)
  • CR02: Selected topics in Information Theory, Jean-Marie Gorce (INSA Lyon) and Samir Perlaza (INRIA)
  • CR03: Graph-based knowledge representation (for complex systems and graph databases), Angela Bonifati and Russ Harmer (Lyon 1, ENS Lyon)
  • CR04: Hidden Markov models for time series classification and filtering, Stéphane Derrode (Centrale Lyon)
  • CR05: Data aware algorithms, Loris Marchal (ENS Lyon)
  • CR06: Modern algorithms for symbolic summation and integration, Bruno Salvy, Gilles Villard and Alin Bostan (ENS Lyon, Inria Saclay)
  • CR07: Parameterized and exact algorithms, Édouard Bonnet and Rémi Watrigant (ENS Lyon)
  • CR08: Quantum information and computation, Guillaume Aubrun, Andre Chailloux and Omar Fawzi (ENS Lyon) (Lyon 1, Inria Paris, ENS Lyon)
  • CR09: Numerical methods for computer graphics, Julie Digne and Nicolas Bonneel (Lyon 1)
  • CR10: Advanced Topics in Cryptography, Alain Passelègue (ENS Lyon)
  • CR11: Molecular programming, Nicolas Schabanel (ENS Lyon)
  • CR12Numerical Mechanics: from Lagrangian mechanics to simulation tools for computer graphics, Florence Bertails-Descoubes, Mélina Skouras, Mickaël Ly (Inria Grenoble) — this course takes place on Thursday for the whole day
  • CR13: Approximation Theory and Proof Assistants: Certified Computations, Nicolas Brisebarre and Damien Pous (ENS Lyon)
  • CR14Hardware Compilation and Simulation, Christophe Alias and Mathieu Moy (ENS Lyon)
  • CR15: Concentration of measure in probability and large-scale machine learning, Guillaume Aubrun, Aurélien Garivier and Rémi Gribonval (ENS Lyon) — this course is joint with the Master of Advanced Mathematics
  • CR16: The structure of graphs of high chromatic number, Marthe Bonamy,  Stephan Thomassé (Bordeaux, ENS Lyon)
  • CR17: Logical Foundations of Programming Languages, Olivier Laurent and Colin Riba (ENS Lyon),
  • CR18: Mathematical aspects of automata theory, Denis Kuperberg and Matteo Mio (ENS Lyon)
  • CR19Floating-point arithmetic and beyond, Sylvie Boldo, Claude-Pierre Jeannerod,  Guillaume Melquiond and Jean-Michel Muller  (LRI Orsay, ENS Lyon)

Pre-course Meeting: A pre-course meeting will take place on Monday, September 7, 2020 at 9.30am, Amphi B. Attendance to this meeting is mandatory for all students. The general organization of the year and a description of the courses will be provided. Courses start on Monday, September 7, at 1:30pm.

Training Period: A mandatory full-time training period takes place from Monday, January 25 up to Friday, June 25. An information session about topics and locations for the training period will be organized in September. Basically, the goal is to research in a laboratory (anywhere on earth), write a report and make an oral presentation in the end. Training periods will be defended on June 28 and 29, 2021.

Schedule: Courses start on September 7 at 1:30pm. Autumn holidays are October 24-November 1. Winter holidays are December 26-January 3. Exams will be held at the end of each wave (for those courses with a final). Again, the detailed weekly schedule will be available on the Inria pad mentioned above. This pad will be updated on a regular basis, check it often.

Rules of the Game: To obtain their degree, CS Master students must complete 60 credits including the internship (30 credits) and four courses (5 credits each) in the above list of CR1 to CR19. To summarize, there are 50 mandatory credits out of 60 and 10 remaining credits that can be picked elsewhere. While a typical choice by many students is 6 CR courses and the internship, the extra courses for the 10 remaining credits can be chosen in other masters,  e.g.:
– CS courses in the M2 offered by Univ. Lyon 1 https://fst-informatique.univ-lyon1.fr/formation/masters/
– courses from other ENS departments, often Mathematics (http://mathematiques.ens-lyon.fr/master-2-234092.kjsp) or Complex Systems (http://www.ixxi.fr/enseignement/master_systemes_complexes)

The diploma delivered by ENS Lyon is M2 Informatique Fondamentale, and computer science must remain at the heart of the curriculum. In particular, the training period must be oriented towards research in core computer science (possibly applied to other disciplines).

Formal Validation: To meet the quality requirements of our program, all course choices must be approved by the academic tutor and the head of the Master 2 program. Administrative registration to chosen courses is mandatory and takes place in late September, after a trial period.

Course validation: At the end of each course, there is an evaluation based upon a research presentation, or a written exam, or both. Many professors also give exercises during the span of the course. The research presentation consists of reviewing and synthesizing a research paper, and usually involves writing  a short report in addition to the oral presentation. Research presentations are time-consuming, hence it is expected that students have a balanced set of courses per each wave. Indeed, the main motivation for the waves is to help students organize their schedules and avoid having 6 research presentations to defend on the same week; instead, having 3 presentations in the first wave and 3 in the second wave is much more likely to succeed!

Please refer to the rules of the Master here and to the grading algorithm for each course here.

Contact: Zoe Michal-Sihalath (admin) or Yves Robert (head of M2)

Informations M2 (Archives 2019/2020)

General Outline

The Master 2 in Computer Science is composed of research courses (CR)  from September 9, 2019 to January 20, 2020, followed by an internship from January 23 to June 15, 2020. Each course corresponds to 30 hours (typically 2 hours per week during 15 weeks, except for special courses). See details below.

Latest Information

Updated schedule and latest info will be available on the read-only password-protected pad :

https://pad.inria.fr/p/r.fe63ced1eb81edb1b8ee6bc300de5990

passwd: m2info19

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

  • CR01: Cryptanalysis, Damien Stehlé and Guillaume Hanrot (ENS Lyon)
  • CR02: Combinatorial scientific optimization, Bora Ucar, Fanny Dufossé (ENS Lyon, Grenoble)
  • CR03: Virtualization technologies: design and implementation, Alain Tchana (ENS Lyon)
  • CR04: Advanced topics in semantics of programming language, Pierre Clairambault and Colin Riba (ENS Lyon)
  • CR05: Automated deduction, and opening to distributed algorithms, Xavier Urbain and Sébastien Tixeuil (Lyon 1, Paris)
  • CR06: Machine learning, Aurélien Garivier (ENS Lyon)
  • CR07: Selected topics in Information Theory, Jean-Marie Gorce (INSA Lyon) and Samir Perlaza (INRIA)
  • CR08: Graph-based knowledge representation (for complex systems and graph databases), Angela Bonifati and Russ Harmer (Lyon 1, ENS Lyon)
  • CR09: Hidden Markov models for time series classification and filtering, Stéphane Derrode (Centrale Lyon)
  • CR10: Data aware algorithms, Loris Marchal (ENS Lyon)
  • CR11: Modern algorithms for symbolic summation and integration, Bruno Salvy, Gilles Villard and Alin Bostan (ENS Lyon, Inria Saclay)
  • CR12: Parameterized and exact algorithms, Édouard Bonnet and Rémi Watrigant (ENS Lyon
  • CR13: Quantum information and computation, Guillaume Aubrun, Andre Chailloux and Omar Fawzi (ENS Lyon) (Lyon 1, Inria Paris, ENS Lyon)
  • CR14: Numerical methods for computer graphics, Julie Digne and Nicolas Bonneel (Lyon 1)
  • CR15: Advanced Topics in Cryptography, Alain Passelègue (ENS Lyon)

Special courses: There are 3 special courses (SCR). The special courses also last 30 hours but instead of having 2 hours per week, they run for 6 hours on Thursdays. Hence each special course runs in ‘compressed form’ for 5 Thursdays of the semester, 6 hours each, and every third Thursday in average. See the pad for the detailed schedule.

  • SCR01: Molecular programming, Nicolas Schabanel (ENS Lyon)
  • SCR02Numerical Mechanics: from Lagrangian mechanics to simulation tools for computer graphics, Florence Bertails-Descoubes, Mélina Skouras, Mickaël Ly (Inria Grenoble)
  • SCR03: Topological combinatorics, Frédéric Meunier and Matěj Stehlík (Paris, Grenoble)

Pre-course Meeting: A pre-course meeting will take place on Monday, September 9, 2019 at 9.30am, Amphi B. Attendance to this meeting is mandatory for all students. The general organization of the year and a description of the courses will be provided. Courses start on Monday, September 9, at 1:30pm.

Training Period: A mandatory training period takes place from Monday, January 23 up to mid June. An information session about topics and locations for the training period will be organized in September. Basically, the goal is to research in a laboratory (anywhere on earth), write a report and make an oral presentation in the end. Training periods will be defended on June 11 and 12, 2020.

Schedule: Courses start September 9 at 1:30pm. Autumn holidays are October 28-November 3. Winter holidays are December 23-January 5. Exams will be held on week 3 (starting Monday Jan. 13), for a subset of courses. Again, the detailed weekly schedule will be available on the Inria pad mentioned above. This pad will be updated on a regular basis, check it often.

Rules of the Game: To obtain their degree, CS Master students must complete 60 credits including the internship (30 credits) and four courses (5 credits each) in the above list of CR1 to CR15 and SCR01 to SCR03. To summarize, there are 50 mandatory credits out of 60 and 10 remaining credits that can be picked elsewhere. While a typical choice by many students is 6 CR courses (regular or special) and the internship, the extra courses for the 10 remaining credits can be chosen elsewhere,  e.g. CS courses in the M2 offered by Univ. Lyon 1, or courses from other ENS departments.

Complex Systems: There is an orientation ‘Complex Systems’ that provides a multi-disciplinary choice. See details at

http://www.ixxi.fr/enseignement/master_systemes_complexes

for course offering. For the validation, the rules of the game apply, so students can pick 10 credits from complex systems courses. Note that ‘Complex Systems’ is an orientation, not a separate M2. The only diploma delivered by ENS Lyon is M2 Informatique Fondamentale, and computer science must remain at the heart of the curriculum. In particular, the training period must be oriented towards research in core computer science (possibly applied to other disciplines).

Formal Validation: To meet the quality requirements of our program, all course choices must be approved by the academic tutor and the head of the Master 2 program. Administrative registration to chosen courses is mandatory and takes place in late September, after a trial period.

Please refer to the rules of the Master here

Contact: Yves Robert

Informations M2 – 2018/2019

General Outline

The Master 2 in Computer Science is composed of classes and winter schools from September 10, 2018 to January 25, 2019, followed by an internship from January 28 to June 15, 2019. See details below.

Latest Information

Updated schedule and latest info available on the read-only password-protected pad (handed out during the pre-course meeting):

https://pad.inria.fr/p/r.7e3a9396c0b060bfc755a346325a79f2

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

  • CR01: Optimal Decision Making and Online Optimization, Panayotis Mertikopoulos and Bruno Gaujal (Grenoble).
  • CR02: Computational Geometry, Monique Teillaud and Olivier Devillers (Nancy).
  • CR03: Hard lattice problems, Damien Stehlé. (Lyon)
  • CR04: Scheduling at scale, Yves Robert. (Lyon)
  • CR05: Advanced Topics in Scalable Data ManagementEddy Caron and Marcos Dias de Assuncao. (Lyon)
  • CR06: Software Engineering & Compilation, Sebastien Mosser and Laure Gonnord (Lyon, Nice).
  • CR07: Complex NetworksMarton Karsai. (Lyon)
  • CR08: Lower bound methods, Pascal Koiran, Omar Fawzi, and Stéphan Thomassé (Lyon)
  • CR09: Approximation Theory and Proof Assistants: Certified Computations, Nicolas Brisebarre and Damien Pous (Lyon)
  • CR10: Cryptanalysis, Elena Kirshanova, Damien Stehlé, and Guillaume Hanrot (Lyon)
  • CR11: Hardware Compilation and Simulation, Christophe Alias and Matthieu Moy (Lyon)
  • CR12: Combinatorial scientific optimization, Bora Ucar, Fanny Dufossé (Lyon, Grenoble)
  • CR13: Topological combinatorics, Frédéric Meunier and Matěj Stehlík (Paris, Grenoble)
  • CR14: Advanced topics in semantics of programming language, Pierre Clairambault and Colin Riba (Lyon)
  • CR15: Logic, Automata and Games for Advanced Verification, Matteo Mio and Denis Kuperberg (Lyon)
  • CR16: Automated Deduction, and opening to Distributed Algorithms, Xavier Urbain and Sébastien Tixeuil (Lyon, Paris)
  • CR17: Machine learning, Aurélien Garivier (Lyon)

Winter Schools:  There are two winter schools taking place during weeks 48 (starting on Monday, Nov. 26) and 49 (starting on Monday, Dec.  3) . During these weeks, the courses stop and are replaced by the schools, which last the whole week. Topics will be announced later on.

Pre-course Meeting: A pre-course meeting will take place on Monday, September 10, 2018 at 9.30am, Amphi B. Attendance to this meeting is mandatory for all students. The general organization of the year and a description of the courses will be provided. Courses start on Monday, September 10, at 1:30pm.

Training Period: A mandatory training period takes place from Monday, January 21 up to mid June. An information session about topics and locations for the training period will be organized in September. Basically, the goal is to research in a laboratory (anywhere on earth), write a report and make an oral presentation in the end.

Schedule: Courses start September 10 at 1:30pm. Autumn holidays are October 27-November 4. Winter holidays are December 22-January 6. Exams will be held on week 3 (starting Monday Jan. 14), for a subset of courses. Again, the detailed weekly schedule will be available on the Inria pad mentioned above. This page will be read-only and updated on a regular basis, check it often.

Rules of the Game: To obtain their degree, CS Master students must complete 60 credits including the internship (30 credits), two winter schools (3 credits each) and four courses (4 credits each) in the above list of CR1 to CR17. To summarize, there are 52 mandatory credits out of 60 and 8 credits that can be picked elsewhere. While a typical choice by many students is 6 CR courses, 2 schools and the internship, the extra courses for the 8 credits can be chosen elsewhere,  e.g. CS courses in the M2 offered by Univ. Lyon 1, or courses from other ENS departments.

Complex Systems: There is an exception for the orientation ‘Complex Systems’. See details at

http://www.ixxi.fr/enseignement/master_systemes_complexes

for course offering. For the validation, the two winter schools are not mandatory for complex systems students, only 4 CR courses and the training period are mandatory, so after mandatory stuff there remains 14 credits instead of 8  to validate, using a selection of courses from the orientation.

Note that ‘Complex Systems’ is an orientation, not a separate M2. The only diploma delivered by ENS Lyon is M2 Informatique Fondamentale, and computer science must remain at the heart of the curriculum. In particular, the training period must be oriented towards research in core computer science (possibly applied to other disciplines).

Formal Validation: To meet the quality requirements of our program, all course choices must be approved by the academic tutor and the head of the Master 2 program. Administrative registration to chosen courses is mandatory and takes place in late September, after a trial period.

Please refer to the rules of the Master here

Contact: Yves Robert

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)

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.