ER02: Numerical Computing and Rigorous Numerical Computing (January 15-19, 2018)

Profs. Nick Trefethen and Warwick Tucker, 15-19 January 2018

This year, ENS-Lyon is hosting visiting professors who are leading experts in two aspects of numerical computing.
Nick Trefethen (University of Oxford) is a well-known numerical analyst and the inventor of Chebfun, a MATLAB-based tool that solves all kinds of problems of rootfinding, integration, and differential equations fast and typically to 15 digits of accuracy.
Warwick Tucker (Uppsala University) is a leader in the area of rigorous numerical computing, where instead of computing numbers with no guarantees, one applies interval analysis and other methods to obtain guaranteed results — and even to rigorously prove mathematical theorems with the aid of the computer.
In this week, using a mixture of lectures and hand-on computer laboratories, the two professors will showcase some of the highlights of these two sides of numerical computing.

Schedule for ER02

8h15-10h 10h15-12h 14h15-16h 16h15-18h
Monday Chebyshev (amphi B) Chebyshev (lab rooms E001 and 125) Validated numerics (amphi B)
Tuesday Validated numerics (amphi B) Validated numerics (amphi B) Chebyshev (amphi B) Chebyshev (lab rooms E001 and 125)
Wednesday Chebyshev (amphi B) Validated numerics (amphi B) Validated numerics (amphi B)
Thursday Validated numerics (amphi B) Validated numerics (amphi B)
Friday Chebyshev (lab rooms E001 and 125) Chebyshev (amphi B) Exam (amphi B)

For the part on Chebyshev:

For the part on Validated Numerics:

M1 2017-2018

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.

A (mandatory) meeting is organised on sept. 8th, at 9h00, in amphi B. The organisation of the year, and several other relevant topics, will be discussed. There will also be two courses on that day (Integrated Project and Optimisation&Approximation), the second one will finish at 15h30 — see below, “First semester”.

See here about the administrative procedure to register at ENSL. Students who were at ENSL in L3 will register on monday, sept. 11th. There will also be some exercise sessions on that day.

Slides of the presentations (to be provided): general presentation, language department.

A meeting of the whole Département d’Informatique will take place on sept. 18th, at 16.00 at Bâtiment Buisson.

First semester.

Here is the typical schedule for the first semester. Nota: local modifications can occur along the semester.

Here is the schedule for the first courses (sept. 8th-15th). Here is the schedule for the week 18-22 sept., Here is the schedule for the week 25-29 sept., Here is the schedule for the week 2-6 oct., Here is the schedule for the week 9-15 oct., Here is the schedule for the week 16-22 oct. Here is the schedule for the week 23-29 oct. Here is the schedule for the week 6-10 nov. Here is the schedule for the week 13-17 nov. Here is the schedule for the week 20-24 nov. Here is the schedule for the week 27 nov.-1 dec.
The week 4-9 dec. will be devoted to a Research School: see here for informations (including the schedule).
Here is the schedule for the week 11-15 dec. Here is the schedule for the week 18-22 dec.

Here is the “fiche de choix de modules”, to be left in D. Hirschkoff’s mailbox on sept. 26th at noon at the latest.

Holidays: from oct. 28th to nov. 5th, and from dec. 23th to jan. 7th.

CAE sessions (english certification) will be on january 13th, march 24th and june 23rd.

Final exams will take place during the week starting on jan. 8th, 2018. See here for the schedule.

Research schools.

Three research schools will be organised, during the weeks dec. 4th, jan. 15th and jan 22nd. More information here.
Here is the “fiche de choix d’écoles de recherche”, to be left in D. Hirschkoff’s mailbox before november 27th at noon.

Second semester.

Holidays: there will be two weeks of holidays during the second semester, in winter (february 19-26) and in spring (april 16-23).

Here is the “fiche de choix de modules”, to be left in D. Hirschkoff’s mailbox on feb. 13th at noon at the latest.

Here is the schedule for the week 29 jan – 2 feb. Here is the schedule for the week 5-9 feb. Here is the schedule for the week 12-16 feb. Here is the schedule for the week 26 feb.-2 march. Here is the schedule for the week 5-9 march. Here is the schedule for the week 12-16 march. Here is the schedule for the week 19-23 march. Here is the schedule for the week 26-30 march. Here is the schedule for the week 3-6 april. Here is the schedule for the week 9-13 april.

Midterm exams (of which I am aware of, the reference is what the teachers say): CS march 13th, 15.45-17.45. SV march 14th, 13.30-15.30, CC march 13th, 10.15, DS march 12th, 13.30-15.30.

Monday, april 2nd is a holiday (Easter). As a consequence, the CA course that cannot take place will be on wednesday, march 28th, between 18.00 and 20.00. Stay tuned for the DS course that should be on april 2nd.

Final exams will take place in the week 23-27 april. The schedule is available here.

Internship.

See the slides of the meeting of oct. 20th, 2017. Stay tuned for some advice about the preparation of the internship contract (remember that the first step from this point of view is to ask whether the hosting institution is willing to sign the contract given by UCBL). Stay tuned also for some advice about the preparation of the internship report and of the defense.

The person in charge of M1 internships is Frédéric Vivien.

Here are the slides of the presentation given on february 12th, 2018.

Some useful files, provided by the bureau des stages: Template internship agreement, aide à la saisie sous Elipse, guide Elipse

Schedule: report due on august 28th, at noon; presentations on september 5th and 6th.
Here is the current version of the schedule for the presentations — make sure to look at it a few days before the presentations, because changes may occur.

Next year.

Most of the M1 students proceed along one of the following paths after validating the M1:

  • Study in M2, either at ENS Lyon or somewhere else (in France, abroad).
  • Follow a year of preparation for the agrégation de mathématiques.

[this is intentionally in french] Si vous envisagez de préparer l’agrégation de mathématiques l’an prochain, il est conseillé de valider un module de dès cette année. Voir ceci et ceci pour cela.

  • Spend a year doing (research) internships, in France and/or abroad.
  • Double diplomas (here, and also here for EPFL).

This is something you should keep in mind along the year of M1, and prepare ahead of time.

Means of communication.

The class representants are L. Assouline, S. Fernandez, U. Léchine and P. Oechsel.

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

ER03: GDR IM young researchers school (23/01/2017 → 27/01/2017)

Date: 23/01/2017 — 27/01/2017
Location: Lyon
Local organizer: Natacha Portier, Colin Riba

The GdR IM organizes each year the EJCIM research school. The 2017 edition will be organized in Lyon, on the ENS de Lyon campus, by the AriC, MC2 and PLUME teams of the LIP laboratory.

The school is primarily aimed at master and PhD students. It intend to cover, over its different editions, the thematics of the GDR-IM. They include algorithmic, combinatorics, symbolic computation, arithmetic, information security, geometry, logic, semantic, proof-theory, complexity.

The courses will be on mornings or early afternoons. They will be given in English, and a book with courses in French will be provided. The following courses are proposed this year:

  • Tilings and Cellular Automata (Nathalie Aubrun and Guillaume Theyssier)
  • Combinatorial game theory and illustration on graphs (Eric Duchêne and Aline Parreau)
  • Logic, automata and games (Jacques Duparc)
  • Floating point arithmetic and rounding errors  (Claude-Pierre Jeannerod and Nathalie Revol)
  • Classical realizability (Alexandre Miquel)

Part of the afternoons will be devoted to talks given by the participants. Attendance to these talks is optional for master students of ENS Lyon. Registration are open from November 15th to December 15th.

M1 2016-2017, 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.

A (mandatory) meeting is organised on sept. 13th, at 14h30, in amphi B.  The organisation of the year, and several other relevant topics, will be discussed.

Slides of the presentations: general presentation, language department, new diploma of ENSL.

A meeting of the whole Département d’Informatique will take place on monday, sept. 19th, at 16h00, at the Maison des Mathématiques et de l’Informatique (next to the round square which is close to the Monod site of ENS).

First semester.

Here is the schedule for the first courses, starting from september 14th. Here is the typical schedule for the semester. [ Here is the schedule for the week 19-23 sept. Here is the schedule for the week 26-30 sept. Here is the schedule for the week 3-7 oct. ]

The schedules of the following weeks will be variations on this one.

Here is the “fiche de choix de modules”, to be printed, signed with your tutor, and given to D. Hirschkoff, before oct, the 4th sept. the 27th, at noon (write an email in advance if you know that you’ll be late, for some reason).

Partiels (midterm exams) and handouts of which I am aware of (beware, this list is not necessarily exaustive — refer to the teachers for the full information): APPD midterm, october 26th, 13h30-15h30. APPD homework: to be determined (assignment available on nov. 7th); TI midterm, nov. 4th, 10h15-12h15. OA midterm: oct. 25th, 10h15-12h15; CAP midterm: oct 24th, 13h30-15h30; EPR midterm: nov. 9th.

Holidays will start on saturday, dec. 17th, and end on january 2nd (courses will resume on tuesday, jan. 3rd).

Here is the schedule for the exams for the first semester.

[this is intentionally in french] Si vous envisagez de préparer l’agrégation de mathématiques l’an prochain, il est conseillé de valider un module dès cette année.

Research schools.

You have to follow and validate at least 2 of the research schools that are offered, in Lyon and Sophia Antipolis. See here for the dedicated webpage.

The fiche de choix d’écoles de recherche, to be given for november 15th, at noon, is available here.

Important notice for the Research Schools organised in Sophia-Antipolis: please make sure to register to the school (follow the links to the dedicated webpage). You may ask for help in order to find an accomodation there.

Second semester.

Holidays: there will be two weeks of holidays during the second semester, in winter (february 19-26) and in spring (april 16-23).

Here is the weekly schedule, as of january 5th. The planned week for the exams is may 15-19, some exams may take place in the preceding week. Here is the “fiche de choix de modules”. The deadline is march 7th, at noon.

Projet intégré: sessions on feb. 13th, feb. 27th, mar. 6th, mar. 13th. Demo on april 7th, final meeting on april 10th.

Midterm exams: CS on march 30th, 8.00-10.00.

Schedule of the last weeks of teaching : 24-28 april, 2-5 may, 9-12 may.

Schedule of the final exams: here.

Internship.

Slides of the meeting which took place on october 10th.Stay tuned for a page describing the procedure to prepare the internship contract (convention de stage).

The presentations of the internships will take place on september 5th and 6th, in Lyon.

Next year.

Most of the M1 students proceed along one of the following paths after validating the M1:

  • Study in M2, either at ENS Lyon or somewhere else (in France, abroad).
  • Follow a year of preparation for the agrégation de mathématiques.
  • Spend a year doing (research) internships, in France and/or abroad.

This is something you should keep in mind along the year of M1, and prepare ahead of time.

Means of communication.

The class representants are R. Cerda and T. Sterin.

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)

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.

Master 2 – 2016/2017

List of courses (for full description follow the link CRxx):