Accès directs
Outils

M2 next year

This page provide some information about the courses that will take place next year (2025-2026) in the Master 2 Computer Science Of ENSL.

CR01: Harnessing Inexactness in Scientific Computing, Elisa Riccietti (LIP) and Théo Mary (Lip6) https://perso.ens-lyon.fr/elisa.riccietti/coursM2.php   
CR02: Tensors and arithmetic circuits, from complexity theory to machine learning, par Pascal Koiran et Sébastien Tavenas https://docs.google.com/document/d/1pLq508s1a7m4FVXPL0yKFe7wYiaFsv2Xj4vmRh0kov8/edit?usp=sharing 
CR03: Robust discrete optimization, par Ayse Nur Arslan et Michaël Poss (Montpellier) https://aysnrarsln.github.io/rocourse.html
CR04: Numerical Linear Algebra, par Julien Langou (international Inria Chair, travaille avec Loic Marchal de Roma) https://langou.github.io/2023/12/11/langou-m2-fall2024.html 
CR05: Computational Optimal Transport for Machine and Deep Learning, par Mathurin Massias, Titouan Vayer et Quentin Bertrand https://mathurinm.github.io/otml.html
CR07: Floating-Point Arithmetic. Claude-Pierre Jeannerod (ARIC), Guillaume Melquiond (Toccata@inria, LMF, Saclay) , and Jean-Michel Muller (ARIC)
CR08: Independent Sets in Graphs. Édouard Bonnet, Jean-Florent Raymond, Stéphan Thomassé, Nicolas Trotignon and Rémi Watrigant (MC2) http://perso.ens-lyon.fr/stephan.thomasse/Independentsets.htm
CR09:  Resource-aware computations on CPUs and GPUs. Suraj Kumar, Loris Marchal & Frédéric Vivien  (ROMA) https://surakuma.github.io/courses/rac.html
CR10: Computer-assisted proofs. Daria Pchelina (MC2), Michael Rao (MC2), Damien Pous (Plume), Nathalie Revol (AriC) https://perso.ens-lyon.fr/daria.pchelina/cours_m2
CR11: Privacy-preserving machine learning with homomorphic encryption. Guillaume Hanrot (main), Jai Hyun Park, Alain Passelègue and Damien Stehlé (Cryptolab) https://perso.ens-lyon.fr/guillaume.hanrot/proposal-2025-2026.html
CR12: Graphs, Machines and Logic. Édouard Bonnet, Denis Kuperberg, Stéphan Thomassé, François Schwarzentruber (MC2)
https://perso.ens-lyon.fr/francois.schwarzentruber/teaching/m2-gml/
CR13: Algebraic and combinatorial aspects of category theory. Tom Hirschowitz  https://hirschowitz.pages.math.cnrs.fr/teaching/cours-cat/
CR14: Embedded Audio Signal Processing. Tanguy Risset (Insa Lyon) et Romain Michon (GRAME-CNCM), Yann Orlarey https://inria-emeraude.github.io/son/

CR15: Reinforcement Learning and Bandits: beyond Average Return, Aurélien Garivier 
CR16:  Molecular programming: Theory & experiment, Nicolas Schabanel (LIP) http://perso.ens-lyon.fr/nicolas.schabanel/doku.php?id=lecturemolecularprogramming
 

 

 

Here is the list for last year (2024-2025):

CR01: Harnessing Inexactness in Scientific Computing, Elisa Riccietti (LIP) and Théo Mary (Lip6) https://perso.ens-lyon.fr/elisa.riccietti/coursM2.php   
CR02: Tensors and arithmetic circuits, from complexity theory to machine learning, par Pascal Koiran et Sébastien Tavenas https://docs.google.com/document/d/1pLq508s1a7m4FVXPL0yKFe7wYiaFsv2Xj4vmRh0kov8/edit?usp=sharing 
CR03: Robust discrete optimization, par Ayse Nur Arslan et Michaël Poss (Montpellier) https://aysnrarsln.github.io/rocourse.html
CR04: Numerical Linear Algebra, par Julien Langou (international Inria Chair, travaille avec Loic Marchal de Roma) https://langou.github.io/2023/12/11/langou-m2-fall2024.html 
CR05: Computational Optimal Transport for Machine and Deep Learning, par Mathurin Massias, Titouan Vayer et Quentin Bertrand https://mathurinm.github.io/otml.html
CR06: Virtualization technologies: Design and Implementation, Djob Mvondo (Rennes) and Alain Tchana (LIP) - https://gitlab.com/lenapster/ensl-cr03-virtualization

CR07:  Molecular programming: Theory & experiment, Nicolas Schabanel (LIP) http://perso.ens-lyon.fr/nicolas.schabanel/doku.php?id=lecturemolecularprogramming

CR08: Markov Decision Processes and Reinforcement Learning, Nicolas Gast and Bruno Gaujal (Inria Grenoble) https://team.inria.fr/polaris/markov-decision-processes-and-reinforcement-learning/

CR09: Machine learning for graphs and with graphs, Titouan Vayer (LIP) and Pierre Borgnat (LP) https://tvayer.github.io/courses/coursegraph.html
CR10:  Algorithms for public-key cryptography,  Guillaume Hanrot (LIP) and Benjamin Wesolowski (UMPA), http://perso.ens-lyon.fr/guillaume.hanrot/M2-2023-2024/proposal-2023-2024.html
CR11: Modern Algorithms for Symbolic Summation and Integration, Alin Bostan, Gilles Villard et Bruno Salvy https://mathexp.eu/bostan/AlgoSumInt/
CR12: Data-aware algorithms for matrix and tensor computations, Suraj Kumar (LIP) https://surakuma.github.io/courses/daamtc.html
CR13: Fully Homomorphic Encryption, Alain Passelègue and Damien Stehlé (LIP) https://perso.ens-lyon.fr/alain.passelegue/teaching/m2_2023.html
CR14: Distributed algorithms for networks, Nicolas Bousquet, Laurent Feuilloley, Théo Pierron (LIRIS) https://perso.liris.cnrs.fr/nbousquet/Distributed/
CR15: Category theory for computer scientists, Le Thanh Dung (Tito) Nguyen (LIP) http://nguyentito.eu/categories.html
CR16 Approximation Theory and Proof Assistants: Certified Computations,  Damien Pous and Nicolas Brisebarre (LIP) https://perso.ens-lyon.fr/nicolas.brisebarre/M2R/CoqApprox/ 
CR17: Coalgebra: abstract tools for reasoning on state-based systems, Valeria Vignudelli and Damien Pous (LIP)
 
 
Section
M2