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)

Poste de Professeur en informatique (27e section) à l’ENS de Lyon

Enseignement

La ou le professeur intégrera le département informatique de l’ENS de Lyon. Elle/il dispensera des enseignements faisant une place importante aux aspects programmation et/ou expérimentation de l’informatique, comme par exemple : les projets de programmation, la compilation, le système, les réseaux, l’architecture, etc.Conformément aux missions des ENS, elle ou il accompagnera des étudiants vers des carrières académiques dans ces thématiques. Il est attendu que la ou le professeur s’implique fortement dans la réflexion sur l’offre de formation. Les candidatures internationales sont bienvenues, l’enseignement pouvant se faire en anglais.

Recherche

La candidate/le candidat devra développer un projet de recherche s’intégrant dans l’une des thématiques du LIP, ou apporter une nouvelle thématique en harmonie avec le spectre actuel. Ce projet de recherche devra être en cohérence avec l’activité d’enseignement proposée. Elle/il aura fait preuve d’une activité de recherche dans le domaine, ayant fait l’objet de publications ou de productions logicielles au meilleur niveau international.Elle/il pourra être amené à assurer des fonctions de type « encadrement de la recherche ». Ce recrutement est très largement ouvert : les candidatures externes françaises et étrangères sont fortement encouragées.

Le laboratoire LIP

Le LIP est une unité mixte de recherche commune au CNRS, à l’ENS de Lyon, à INRIA et à l’Université Claude Bernard Lyon 1. Il se compose actuellement de 145 membres (dont 60 enseignants-chercheurs et chercheurs, 11 ITA, 48 doctorants et 26 postdoctorants) et comprend 7 équipes de recherche. Il est localisé sur le site de l’ENS de Lyon à Gerland. L’orientation scientifique du LIP s’inscrit dans le thème général de l’informatique du calcul, allant des fondements (modèles du calcul, langages) à l’exécution (ordonnancement, intergiciels) en passant par les outils du calcul (algorithmes, compilation). Une de ses spécificités consiste en l’existence d’un continuum entre l’informatique fondamentale et la mise en œuvre pratique, permettant d’aller du théorème au transfert de technologie, via l’algorithme et le logiciel.

Informations M2 (archives 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