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 Science, Filippo Bonchi, Daniel 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 Synthesis, Tomofumi 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.

M1 2015-2016, useful information

This page gathers useful informations for students following the first year of Master in Computer Science at École Normale Supérieure de Lyon. See here for a description of the M1 year. Here for the rules of the game.

Back to school.

Courses will start on september the 14th. See here for a schedule of that week. A (mandatory) meeting is organised on september 10th, at 15.30, in Amphi I (slides of the presentation, slides about english & other languages). The organisation of the year, and several other relevant topics, will be discussed. The venue will be announced later. There is no dress code. A meeting of the whole Département d’Informatique will take place on monday, sept. the 14th, at 16.00, in atrium Mérieux (not far from the fountain on the round square next to the Monod site of ENS).

First semester.

Here is the typical week for the first semester, which will serve as a reference starting on sept. the 14th. Be aware that along the semester, local changes to the schedule may apply: refer to the emails you receive (typically, on thursday or friday for the following week). Here is the schedule for the first week, 14-18 sept. Here is the “fiche de choix de modules”, to be printed, signed with your tutor, and given to D. Hirschkoff.

Midterm exams (beware, this is list is not necessarily exhaustive, and is only there to help you — please refer to the actual course to learn about exams/homeworks/etc.): Information Theory as well as Parallel and Distributed Algorithms and Systems, nov. 9th, Compilers and Program analysis on nov.17th, Performance Evaluation and Networks on nov. 13th nov. 18th, Optimisation&Approximation nov. 20th.

The exams for the first semester will take place in the week jan.25-29. Here is the schedule.

Research schools.

M1 students should validate at least two research schools. See this webpage for a list of the research schools proposed in this academical year. Here is the fiche de choix d’écoles de recherche.

Second semester.

The second semester will last between february 1st and april 26th. The exams will take place between april 27th and may 4th.

The schedule for the first weeks is available here. The plan is to organise, after a couple of weeks, some overlap between courses, in order to have thursday afternoon free, and to gain more flexibility in the handling of the schedule.

Here is the fiche de choix de modules, to be given to D. Hirschkoff for february 16th, at noon.

Partiels (be aware that this list may be non-exhaustive, it contains the information I am aware of): computer algebra march 14th / computational complexity march 22nd / cryptography and security march 18th / april 6th: CGDI project due.

Exams : here is the schedule.


Here are the slides of the meeting about internship that took place on oct. the 6th, 2015 (nota: we are not sure yet about the date for the defense: it could be end of august or beginning of september).

Important dates:

  • march 15th: deadline to apply to ENS fundings for travel (see the slides)
  • march 31st: Internship contract data entered in Elipse
  • april 15th: internship contract sent abroad
  •  may 16th 9th: leaving for the internship

The procedure for the preparation of the internship contract (convention de stage) is described here.

Deadlines and advices for the evaluation of the internship: see here.

Modes of interaction, all along the year.

For administrative matters, please contact Amel Zagrarni (secrétariat du Département d’Informatique). To discuss scientific/academical matters, as well as your training period, your future, etc., you can contact your tutor (the list of tutors is here), or Daniel Hirschkoff. Your délégués (representants of the students) are Victor Hublitz, Raphaël Monat and Étienne Moutot. Remember that you are supposed to read your email @ens-lyon.fr — in case of a technical problem, get in touch as soon as possible with the Direction des Systèmes Informatiques).

Next year

  • Préparation à l’agrégation { this information is not relevant if you don’t speak french } : il y a 12 ECTS à valider par le biais de modules de professionalisation.Cette page, qui sera régulièrement mise à jour, décrit l’ensemble des cours qui sont proposés (ainsi que les modalités d’inscription). À noter que cela peut être une bonne idée de valider ces modules l’année qui précède la préparation à l’agrégation, mais on ne peut pas les valider plus d’un an en avance (si vous souhaitez préparer l’agrégation après le M2, c’est en M2 que vous pourrez suivre et valider ces modules).
    Les gens qui ont manifesté un intérêt potentiel/hypothétique pour la préparation à l’agrégation l’an prochain sont: Carette Titouan, Combette Guillaume, Faron Maxime, Iannetta Paul, Lajou Dimitri, Lebeau Fabrice, Lucas Christophe, Mauras Simon, Ohlmann Pierre, Perrotin Elise, Seif Johanna
  • M2: you might be interested in applying for the M2 at ENS Lyon, but maybe also somewhere else, depending on your scientific interests. It is up to you to find out about the corresponding application procedure, and about the dates. Usually applications can be made around may-june. (You may well apply to several Masters, be accepted in several places, take your decision during the summer, and inform everybody of your choice — including places where you don’t go)
    Important notice: alas, it might be the case that you will not validate your M1, or that you validate it but will not be accepted to our local M2. It is up to you to judge whether you run the risk of ending up in this situation or not. It is also up to you to be prepared for all possibilities, and, if applicable, to apply to a different Master, at M1 level. Do it in advance, september is usually too late.

Assistant professor position


Job opening — Computer Science Department / LIP laboratory, ENS de Lyon

Open assistant professor position (maître de conférences) in Computer Science

The LIP research laboratory and the Computer Science teaching department are recruiting a tenured assistant professor in Computer Science.
The job description is available here.

Ranking of the jury:
(the ranking will become final only after the decision of the administration council of ENS de Lyon)
1- Dagand Pierre-Evariste
2- Fawzi Omar
3- Huguenin Kevin
4- Tzameret Iddo
5- Cohen Cyril

Composition of the selection committee: Anne Benoit, Pascal Bouvry (président), Hubert Comon, Arnaud Durand, Guillaume Hanrot, Sylvain Joubaud, Florence Maraninchi, Antoine Miné, Lucas Nussbaum, Natacha Portier, Damien Stehlé, Laurent Théry.

Teaching contact: damien.stehle@ens-lyon.fr and stephan.thomasse@ens-lyon.fr
Research contact: guillaume.hanrot@ens-lyon.fr and gilles.villard@ens-lyon.fr