Outils

Catalogue de cours : 2024-2025

Quel cours ?

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

Quand ?

Pour qui ?

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
---