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 May 24, 2019. See details below.

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: Modeling and performance evaluation of computer and communications system, Philippe Nain (Lyon)
  • CR08: Complex NetworksEric Fleury and Marton Karsai. (Lyon)
  • CR09: Lower bound methods, Pascal Koiran, Omar Fawzi, and Stéphan Thomassé (Lyon)
  • CR10: Approximation Theory and Proof Assistants: Certified Computations, Nicolas Brisebarre and Damien Pous (Lyon)
  • CR11: Cryptanalysis, Elena Kirshanova, Damien Stehlé, and Guillaume Hanrot (Lyon)
  • CR12: Hardware Compilation and Simulation, Christophe Alias and Mathieu Moy (Lyon)
  • CR13: Combinatorial scientific optimization, Bora Ucar, Fanny Dufossé (Lyon, Grenoble)
  • CR14: Topological combinatorics, Frédéric Meunier and Matěj Stehlík (Paris, Grenoble)
  • CR15: Advanced topics in semantics of programming language, Pierre Clairambault and Colin Riba (Lyon)
  • CR16: Logic, Automata and Games for Advanced Verification, Matteo Mio and Denis Kuperberg (Lyon)
  • CR17: Automated Deduction, and opening to Distributed Algorithms, Xavier Urbain and Sébastien Tixeuil (Lyon, Paris)

Winter schools:  Information will be provided later on. There are three schools will take place in December and January.

Pre-course meeting: A (mandatory) pre-course meeting will take place on Monday, September 10, 2018 at 9.30am, Amphi B. This date is tentative and will be confirmed later on. The general organization of the year and a description of the courses will be provided.

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 2 (starting Monday Jan. 7), for a subset of courses. The detailed schedule will be available on a public web-page (an Inria pad). This page will be read-only and password protected (password is ‘m2info18’). The page is updated on a regular basis, check it often.

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

Comments are closed.