Intitulé du cours | Département | Discipline Trier par ordre décroissant | Code cours | Niveau | Période | ECTS | Enseignant(s) | Créneau(x) |
---|---|---|---|---|---|---|---|---|
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 |
--- |
CR12: Data-aware algorithms for matrix and tensor computations | Informatique | Informatique | INFO5191 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Suraj Kumar |
--- |
Algorithmique 1 / Algorithms 1 | Informatique | Informatique | INFO3101 | L3 / 1e année | 1e semestre | 6.00 |
Eric Thierry Stephan Thomasse |
--- |
CR04: Numerical Linear Algebra | Informatique | Informatique | INFO5102 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Julien Langou |
--- |
Cryptographie et sécurité / Cryptography and security | Informatique | Informatique | INFO4214 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Alain Passelegue |
--- |
Algorithmique et Programmation Parallèles et Distribuées / Parallel and distributed algorithms and programs | Informatique | Informatique | INFO4106 | M1+M2 | 1e semestre | 6.00 |
Daniel Hirschkoff Anne Benoit |
Lundi Matin, Mercredi Matin |
CR17: Coalgebra: abstract tools for reasoning on state-based systems | Informatique | Informatique | INFO5196 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Damien Pous, Valeria Vignudelli |
--- |
Algèbre Avancée / Advanced algebra | Mathématiques | Mathématiques | MATH4101 | M1+M2 | 1e semestre | 6.00 |
Laurent Berger, Francois Brunault, Bertrand Remy Laurent Berger |
--- |
Reductive algebraic groups over C | Mathématiques | Mathématiques | MATH5140 | M2 | 1e semestre | 6.00 |
Laurent Berger, Jerome Germoni, Nicolas Rougerie |
--- |
Topologie & Calcul Différentiel / Topology and differential calculus | Mathématiques | Mathématiques | MATH3101 | L3 / 1e année | 1e semestre | 6.00 |
Julien Vovelle, Sandra Rozensztajn Emmanuel Grenier, Laurent Berger, Sandra Rozensztajn |
Vendredi Matin |
Local fields / Locl fields | Mathématiques | Mathématiques | MATH5131 | M2 | 1e semestre | 6.00 |
Laurent Berger, Nicolas Rougerie |
Lundi Matin |
Séminaire / Seminar | Mathématiques | Mathématiques | MATH5290 | M2 | 2e semestre | 6.00 |
Laurent Berger Laurent Berger, Nicolas Rougerie |
--- |
DIP : IA pour les Sciences / DIP : AI for Science | Mathématiques | Mathématiques | MATD9103 | Tout niveau | 1e semestre | 5.00 |
Emmanuel Grenier, Laurent Berger, Aurelien Garivier Emmanuel Grenier, Aurelien Garivier, David Coulette |
--- |
Stage recherche / Internship : initiation to research | Mathématiques | Mathématiques | MATH4901 | M1+M2 | Annuel | 9.00 |
Laurent Berger, Francois Brunault, Bertrand Remy Laurent Berger |
--- |
P-adic modular forms | Mathématiques | Mathématiques | MATH5251 | M2 | 2e semestre | 6.00 |
Laurent Berger, Benjamin Schraen, Nicolas Rougerie |
--- |
Topologie algébrique / Algebraic topology | Mathématiques | Mathématiques | MATH4202 | M1+M2 | 2e semestre | 6.00 |
Laurent Berger, Francois Brunault, Marco Mazzucchelli, Bertrand Remy Laurent Berger, Marco Mazzucchelli |
--- |
Neural Networks | Mathématiques | Mathématiques | MATH5231 | M2 | 2e semestre | 4.50 |
Laurent Berger, Aurelien Garivier, Nicolas Rougerie Laurent Berger |
--- |
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 |
--- |