Ecole Normale Supérieure de Lyon, 2013-2014

The goal of this Master 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.

  • Courses (For full description follow the link CRxx)

    CR01 Using Randomness in Science, Pierre Borgnat, Patrick Flandrin, Olivier Gandrillon and Nicolas Schabanel.
    CR02 Linear Logic and Game Semantics, Pierre Clairambault, Russ Harmer and Olivier Laurent.
    CR03 Recognizability and Model-Checking, from Automata to Lambda-Calculus, Arnaud Carayol, Colin Riba and Sylvain Salvati.
    CR04 Graphs and Polynomials, Pascal Koiran, Stéphan Thomassé and Nicolas Trotignon.
    CR05 Floating Point Arithmetic and Formal Proof, Jean-Michel Muller, Damien Pous and Laurent Théry.
    CR06 Approximations: from symbolic to numerical computation, and applications, Nicolas Brisebarre and Bruno Salvy.
    CR07 Algorithms on Sequences, Permutations, Trees for Computational Biology, Eric Tannier.
    CR08 Combinatorial Scientific Computing, Bora Uçar.
    CR09 Algorithms for Exascale Computing, Frédéric Vivien.
    CR10 Advanced Compilation, Christophe Alias, Florent de Dinechin and Fabrice Rastello.
    CR11 Grid and Cloud Computing, Eddy Caron, Gilles Fedak, Christian Perez and Jonathan Rouzaud-Cornabas.
    CR12 Statistical Learning and Applications, Zaid Harchaoui, Julien Mairal and Joseph Salmon.
    CR13 Dynamics of Large Scale Networks, Christophe Crespelle and Marton Karsai.

  • Winter Schools

    ER01 Algorithmic Game Theory, Claire Mathieu and Christoph Dürr, December 9-13, 2013.
    ER02 Synchronous Approaches for Embedded Systems, January 13-17, 2013.
    ER03 Logic of Dynamical Systems, André Platzer, January 20-24, 2014.
    ER04 Mesh Generation, Jean-Daniel Boissonat, January 20-24, 2014 (will be held in Sophia-Antipolis).

  • Schedule

    On September 13 from 10h15 to 12h15, a presentation of the different courses will take place in "Amphi B" of ENS Lyon (Monod).
    Courses start on monday September 16. The weekly schedule is here.
    Exams will be held on January 6-10.

  • 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.
    The list of chosen courses must be filled before October 10, 2013.

  • Contact : Stéphan Thomassé