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 :

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

passwd: m2info18

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
  • 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):

Conventions de stage (M2)

Voici enfin les documents attendus pour préparer votre convention de stage! Lisez attentivement les informations qui suivent, on rajoute quelques points de suivi pour éviter les problèmes qui sont assez courants…

La procédure générale à suivre: Procedure.

Attention: avant de rentrer votre demande de convention sous Elipse, on vous demande de remplir le formulaire ci-joint, qui reprend les informations demandées dans Elipse: FormulaireConventionUCBL. Ce formulaire devra être retourné au responsable des stages et au secrétariat de département pour vérification avant de commencer toute saisie sous Elipse (étape 1.4)

  • Pour un stage en France, ce document devra être daté, signé et cacheté par l’organisme d’accueil (OA). Il est en effet nécessaire que le secrétariat de l’OA valide les informations: s’il y a une erreur sur l’adresse de l’OA, la convention ne sera pas signée par l’UCBL en bout de chaine et tout sera à recommencer. Assurez-vous d’avoir les bonnes informations, que votre encadrant de stage n’a pas forcément: il faut que votre encadrant de stage s’en assure auprès de son secrétariat.
  • Pour un stage à l’étranger, envoyez un exemplaire de convention vierge à l’organisme d’accueil (2015-CONVENTION_STAGE_FR_EN-v1.2 et la notice explicative 2015-Notice_Convention_Stage_FR_EN-v1.1), afin de vous assurer qu’ils acceptent ce modèle. Il y a souvent des refus de signature pour raisons juridiques. Si problème, alerter immédiatement le responsable des stages, en donnant les raisons précises du refus de la convention.

Voici en complément la copie d’écran pour l’étape « Sésame »: Sesame Lyon 1, et le guide Elipse: Guide Lyon 1.

Une fois la demande approuvée, vous devez récupérer 4 conventions au secrétariat pour amorcer le processus de signatures. C’est votre responsabilité de vous assurer que toutes les signatures sont faites avant le début de votre stage. Pour les étudiants en Erasmus, les conventions vous seront transmises par courrier.

Pour le suivi des signatures, on vous demande de nous envoyer un mail (1) lorsque les conventions ont été transmises à l’organisme d’accueil (par vos soins), accompagnées d’un courrier explicatif (modèle: Courrier accompt conv, ou en anglais: Courrier-accompt-conv-en), et (2) lorsque votre encadrant de stage vous a confirmé avoir obtenu les signatures de son côté et avoir renvoyé les conventions à l’UCBL (par son soin).

Tous les mails doivent être adressés au responsable des stages (Laurent Lefèvre pour le M2) et au secrétariat (Amel Zagrarni) avec comme objet: « [StageM2] vos NOM et Prénom ». N’hésitez pas à discuter avec votre tuteur pédagogique si vous avez besoin d’aide, ou à contacter le responsable des stages.

N’attendez pas pour lancer la procédure, ça peut être long! Dès que le responsable des stages a validé votre stage, envoyez le formulaire à votre organisme d’accueil pour récupérer toutes les informations. Bon courage!

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.

Emplois du temps 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.

PROBA – Probabilités (2ème semestre, 6 ECTS)

Cours : Guillaume Aubrun

TD : Alice Pellet-Mary & ?

Présentation

Ce cours propose une introduction approfondie aux concepts de probabilités, avec de nombreuses illustrations en informatique et en mathématiques discrètes (algorithmes probabilistes, analyse en moyenne, méthode probabiliste en combinatoire).

Plan

  • Fondements de la théorie des probabilité:Espace d’événements, espace probabilité, probabilité conditionnelle, indépendance ;
  • Variables aléatoires réelles: exemple de lois, moment, caractérisation ;
  • Vecteurs aléatoires
  • Inégalités de concentration : Markov, Chebychev, Chernoff, Azuma …
  • Théorèmes limites : loi forte des grands nombres, théorème central limite
  • Chaînes de Markov discrètes
  • Quelques notion de statistiques

Organisation

Le cours est organisé selon le schéma hebdomadaire suivant:

  • 32h de cours;
  • 32h de travaux dirigés.