Intitulé du cours | Département | Discipline Trier par ordre croissant | Code cours | Niveau | Période | ECTS | Enseignant(s) | Créneau(x) |
---|---|---|---|---|---|---|---|---|
Algèbre 2 / Algebra 2 | Mathématiques | Mathématiques | MATH3202 | L3 / 1e année | 2e semestre | 6.00 |
Laurent Berger, Sandra Rozensztajn, Francois Dahmani Laurent Berger, Pierre Dehornoy, Sandra Rozensztajn |
--- |
Introduction to LEAN | Mathématiques | Mathématiques | MATH5136 | M2 | 1e semestre | 6.00 |
Xavier Roblot, Laurent Berger, Filippo Nuccio, Sophie Morel, Nicolas Rougerie |
--- |
Structures et outils mathématiques 2 / Mathematical Structures and Tools 2 | Mathématiques | Mathématiques | MATF5202 | M2 | 2e semestre | 6.00 |
Laurent Berger, Baptiste Peaucelle Laurent Berger, Baptiste Peaucelle |
--- |
Concentration of measure in probability and high-dimensional statistical learning | Mathématiques | Mathématiques | MATH5124 | M2 | 1e semestre | 6.00 |
Laurent Berger, Guillaume Aubrun, Remi Gribonval, Nicolas Rougerie Laurent Berger |
--- |
Advanced project on LEAN | Mathématiques | Mathématiques | MATH5256 | M2 | 2e semestre | 6.00 |
Xavier Roblot, Laurent Berger, Filippo Nuccio, Sophie Morel, Nicolas Rougerie |
--- |
DIP : Fractions continues / DIP : Continued fractions | Mathématiques | Mathématiques | MATD3206 | L3 / 1e année | 2e semestre | 3.00 |
Alexei Tsygvintsev, Laurent Berger, Gregory Miermont, Adrien Le Boudec Alexei Tsygvintsev, Laurent Berger, Gregory Miermont, Adrien Le Boudec |
--- |
Théorie des ensembles et des modèles / Set theory and model theory | Mathématiques | Mathématiques | MATH4207 | M1+M2 | 2e semestre | 6.00 |
Laurent Berger, Francois Brunault, Bertrand Remy Frank Wagner, Laurent Berger |
--- |
Scaling limits of interacting particle systems | Mathématiques | Mathématiques | MATH5247 | M2 | 2e semestre | 4.50 |
Laurent Berger, Christophe Poquet, Oriane Blondel, Nicolas Rougerie |
--- |
Analyse Avancée / Advanced analysis | Mathématiques | Mathématiques | MATH4102 | M1+M2 | 1e semestre | 6.00 |
Julien Vovelle, Laurent Berger, Francois Brunault, Bertrand Remy Laurent Berger, Nikolay Tzvetkov |
--- |
On the non linear Schrödinger equation | Mathématiques | Mathématiques | MATH5218 | M2 | 2e semestre | 4.50 |
Laurent Berger, Nicolas Rougerie, Nikolay Tzvetkov Laurent Berger |
--- |
Intégration et Théorie de la Mesure / Integration and measure theory | Mathématiques | Mathématiques | MATH3102 | L3 / 1e année | 1e semestre | 6.00 |
Laurent Berger, Sandra Rozensztajn, Laurent Lafleche Laurent Berger, Sandra Rozensztajn |
--- |
Algebraic curves abnd elliptic curves | Mathématiques | Mathématiques | MATH5132 | M2 | 1e semestre | 6.00 |
Laurent Berger, Francois Brunault, Nicolas Rougerie |
--- |
DIP : Prouver des théorèmes avec un ordinateur : une introduction à LEAN / DIP : Proving theorems with a computer : an introduction to LEAN | Mathématiques | Mathématiques | MATD9104 | Tout niveau | 1e semestre | 5.00 |
Laurent Berger, Sandra Rozensztajn Sandra Rozensztajn |
--- |
Activité de diffusion / Dissemination of mathematical knowledge | Mathématiques | Mathématiques | MATH4902 | M1+M2 | Annuel | 3.00 |
Laurent Berger, Francois Brunault, Bertrand Remy Laurent Berger, Pierre Adrien Kassel |
--- |
Bruhat-Tits tree of SL (2) and non-Archimedean geometry | Mathématiques | Mathématiques | MATH5252 | M2 | 2e semestre | 6.00 |
Laurent Berger, Bertrand Remy, Nicolas Rougerie |
--- |
Géométrie riemannienne / Riemannian geometry | Mathématiques | Mathématiques | MATH4203 | M1+M2 | 2e semestre | 6.00 |
Jean-Claude Sikorav, Laurent Berger, Francois Brunault, Bertrand Remy |
--- |
Inverse problems and parcimony | Mathématiques | Mathématiques | MATH5232 | M2 | 2e semestre | 4.50 |
Laurent Berger, Yohann De Castro, Nicolas Rougerie Laurent Berger, Remi Gribonval |
--- |
Calcul Différentiel / Differential calculus | Mathématiques | Mathématiques | MATH3203 | L3 / 1e année | 2e semestre | 6.00 |
Laurent Berger, Sandra Rozensztajn Alexei Tsygvintsev, Laurent Berger, Sandra Rozensztajn |
--- |
Introduction to Kähler geometry | Mathématiques | Mathématiques | MATH5137 | M2 | 1e semestre | 6.00 |
Jean-Claude Sikorav, Laurent Berger, Nicolas Rougerie |
--- |
Transmission des connaissances 2 / Knowledge Transfer 2 | Mathématiques | Mathématiques | MATF5203 | M2 | 2e semestre | 9.00 |
Laurent Berger, Baptiste Peaucelle Laurent Berger, Baptiste Peaucelle |
--- |
Stochastic modelization and statistical learning | Mathématiques | Mathématiques | MATH5125 | M2 | 1e semestre | 6.00 |
Laurent Berger, Aurelien Garivier, Nicolas Rougerie, Clement Marteau Laurent Berger |
--- |
GIT and Kempf-Ness theorem | Mathématiques | Mathématiques | MATH5257 | M2 | 2e semestre | 6.00 |
Nicolas Ressayre, Laurent Berger, Nicolas Rougerie |
--- |
DIP : Groupes localement compacts / DIP : Locally compact groups | Mathématiques | Mathématiques | MATD3207 | L3 / 1e année | 2e semestre | 3.00 |
Laurent Berger, Gregory Miermont, Adrien Le Boudec Gregory Miermont |
--- |
Théorie des nombres / Number theory | Mathématiques | Mathématiques | MATH4208 | M1+M2 | 2e semestre | 6.00 |
Laurent Berger, Francois Brunault, Bertrand Remy Laurent Berger |
--- |
Spectral theory of random operators | Mathématiques | Mathématiques | MATH5248 | M2 | 2e semestre | 4.50 |
Christophe Sabot, Laurent Berger, Nicolas Rougerie, Raphael Ducatez |
--- |
Géométrie Avancée / Advanced geometry | Mathématiques | Mathématiques | MATH4103 | M1+M2 | 1e semestre | 6.00 |
Laurent Berger, Francois Brunault, Bertrand Remy Laurent Berger, Bertrand Remy |
--- |
Stage de M2 / M2 internship | Mathématiques | Mathématiques | MATH5220 | M2 | 2e semestre | 18.00 |
Laurent Berger, Nicolas Rougerie Laurent Berger |
--- |
Transmission des connaissances | Informatique | Informatique | INFF5302 | M2 | Annuel | 18.00 |
Pascal Koiran |
--- |
Fondements de l'Apprentissage / Foundations of Machine learning | Informatique | Informatique | INFO4222 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Elisa Riccietti, Titouan Vayer |
--- |
Sémantique et vérification / Semantics and verification | Informatique | Informatique | INFO4212 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Colin Riba |
--- |
Projet Intégré 1 / Integrated project 1 | Informatique | Informatique | INFO4102 | M1+M2 | 1e semestre | 3.00 |
Daniel Hirschkoff |
--- |
CR15: Category theory for computer scientists | Informatique | Informatique | INFO5194 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Le Thanh Dung Nguyen |
--- |
Programmation / Programming project | Informatique | Informatique | INFO3105 | L3 / 1e année | 1e semestre | 3.00 |
Eric Thierry Francois Schwarzentruber |
--- |
Semester 1 validated out of ENSL | Informatique | Informatique | INFO5159 | M2 | 1e semestre | 30.00 |
Aurelien Garivier |
--- |
Complexité Algorithmique / Computational complexity | Informatique | Informatique | INFO4217 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Pascal Koiran, Stephan Thomasse |
--- |
Quantum Computer Science | Informatique | Informatique | INFO4109 | M1+M2 | 1e semestre | 6.00 |
Daniel Hirschkoff Omar Fawzi |
--- |
CR02: Tensors and arithmetic circuits, from complexity theory to machine learning | Informatique | Informatique | INFO5199 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Pascal Koiran |
--- |
Stage de Recherche / Research internship | Informatique | Informatique | INFO3207 | L3 / 1e année | 2e semestre | 3.00 |
Eric Thierry Francois Schwarzentruber |
--- |
CR10: Algorithms for public-key cryptography | Informatique | Informatique | INFO5189 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Guillaume Hanrot, Benjamin Wesolowski |
--- |
Modélisation | Informatique | Informatique | INFF5303 | M2 | Annuel | 12.00 |
Pascal Koiran |
--- |
CR03: Robust discrete optimization | Informatique | Informatique | INFO5101 | M2 | 1e semestre | 5.00 |
Aurelien Garivier |
--- |
Preuves et programmes / Programs and proofs | Informatique | Informatique | INFO4213 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Michele Angelo Pagani |
--- |
Optimisation et Approximation / Optimization and approximation | Informatique | Informatique | INFO4105 | M1+M2 | 1e semestre | 6.00 |
Daniel Hirschkoff Stephan Thomasse, Elisa Riccietti |
--- |
CR16 Approximation Theory and Proof Assistants: Certified Computations | Informatique | Informatique | INFO5195 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Damien Pous, Nicolas Brisebarre |
--- |
Réseaux / Networks | Informatique | Informatique | INFO3107 | L3 / 1e année | 1e semestre | 6.00 |
Eric Thierry Thomas Begin, Francesco Bronzino |
--- |
CR06: Virtualization technologies: Design and Implementation | Informatique | Informatique | INFO5184 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Alain Tchana |
--- |
Calcul formel / Computer algebra | Informatique | Informatique | INFO4218 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Bruno Salvy |
--- |
Performance Evaluation | Informatique | Informatique | INFO4110 | M1+M2 | 1e semestre | 6.00 |
Daniel Hirschkoff Francescomaria Faticanti |
--- |
Research internship / M2 Internship | Informatique | Informatique | INFO5201 | M2 | 2e semestre | 30.00 |
Aurelien Garivier Edouard Bonnet |
--- |
Logique / Introduction to logic | Informatique | Informatique | INFO3208 | L3 / 1e année | 2e semestre | 6.00 |
Eric Thierry Natacha Portier |
--- |