Accès directs

Outils

Catalogue de cours

Catalogue de cours : 2024-2025

Voir ancien catalogue : 2023-2024

Quel cours ?

Chercher uniquement dans les cours relatif à la Transition Écologique ?

Quand ?

Pour qui ?

Intitulé du cours Département Discipline 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 		---
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 		---
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 		---
Introduction to Kähler geometry Mathématiques Mathématiques MATH5137 M2 1e semestre 6.00 Jean-Claude Sikorav, Laurent Berger, Nicolas Rougerie
 ---
Théorie de la programmation / Theory of programming Informatique Informatique INFO3104 L3 / 1e année 1e semestre 6.00 Eric Thierry
Daniel Hirschkoff 		---
CR11: Modern Algorithms for Symbolic Summation and Integration Informatique Informatique INFO5104 M2 1e semestre 5.00 Aurelien Garivier
Gilles Villard, Bruno Salvy, Alin Bostan 		---
Géométrie Computationnelle et Images Digitales / Computational geometry and digital images Informatique Informatique INFO4216 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Vincent Nivoliers 		---
Semester 1 validated out of ENSL Informatique Informatique INFO4108 M1+M2 1e semestre 30.00 Daniel Hirschkoff
 ---
CR01: Harnessing Inexactness in Scientific Computing Informatique Informatique INFO5198 M2 1e semestre 5.00 Aurelien Garivier
Theo Mary, Elisa Riccietti 		---
Enseignement en programmation sportive / Competitive Programming Informatique Informatique INFO3205 L3 / 1e année 2e semestre 6.00 Eric Thierry
 ---
CR09: Machine learning for graphs and with graphs Informatique Informatique INFO5188 M2 1e semestre 5.00 Aurelien Garivier
Pierre Borgnat, Titouan Vayer 		---
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
Michele Angelo Pagani 		---
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
Michele Angelo Pagani 		---
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 		---