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.

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.