English
List of courses (for full description follow the link CRxx):
- CR01: Fundamental Algorithms in Real Algebraic Geometry, Mohab Safey El Din and Jean-Charles Faugère.
- CR02: Resilient and Energy-Aware Scheduling Algorithms, Anne Benoit.
- CR03: Network Algorithms for Molecular Biology, Arnaud Mary, Blerina Sinaimeri and Marie-France Sagot.
- CR04: Quantum Information and Computation, Pascal Degiovanni, Omar Fawzi and Natacha Portier.
- CR05: Monadic Second Order Logic, Automata, Expressivity and Decidability, Matteo Mio and Colin Riba.
- CR06: Formal proof and Floating-Point Arithmetic, Jean-Michel Muller, Damien Pous and Laurent Théry.
- CR07: Computer Science and Privacy, Benoit Libert and Frédéric Prost.
- CR08: Arithmetic Circuit Complexity, Pascal Koiran and Natacha Portier.
- CR09: Advanced Topics in Scalable Data Management, Eddy Caron and Gilles Fedak.
- CR10: Program Analysis, Safety Program Verification, Laure Gonnord and David Monniaux.
- CR11: Mathematical Methods for Image Synthesis, Nicolas Bonneel and Julie Digne.
- CR12: Coinductive Methods in Computer Science, Filippo Bonchi, Daniel Hirschkoff and Damien Pous.
- CR13: Computational Topology, Francis Lazarus and Arnaud de Mesmay.
- CR14: Network Information Theory, Jean-Marie Gorce and Samir M. Perlaza.
- CR15: Complex Networks, Eric Fleury and Marton Karsai.
- CR16: Advanced Compilers, Christophe Alias and Fabrice Rastello.
- CR17: Graph Decompositions: From Tree-Width to Perfect Graphs, Nicolas Trotignon and Stéphan Thomassé.