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)
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 		---
Algorithmique 2 / Algorithms 2 Informatique Informatique INFO3201 L3 / 1e année 2e semestre 6.00 Eric Thierry
 ---
CR07: Molecular programming: Theory & experiment / CR07: Molecular programming: Theory & experiment Informatique Informatique INFO5186 M2 1e semestre 5.00 Aurelien Garivier
Nicolas Schabanel 		---
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 and 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
 ---
DIP : Introduction aux phénomènes de concentration de mesure / DIP : Introduction to concentration of measure Mathématiques Mathématiques MATD3208 L3 / 1e année 2e semestre 3.00 Laurent Berger, Sandra Rozensztajn, Gregory Miermont
Gregory Miermont 		---
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 		---
Analyse Complexe / Complex analysis Mathématiques Mathématiques MATH3103 L3 / 1e année 1e semestre 6.00 Julien Vovelle, Laurent Berger, Sandra Rozensztajn
Laurent Berger, Sandra Rozensztajn, Gabriel Dospinescu 		---
Modular forms Mathématiques Mathématiques MATH5133 M2 1e semestre 6.00 Laurent Berger, Sandra Rozensztajn, Nicolas Rougerie
 ---
Structures et outils mathématiques 1 / Mathematical Structures and Tools 1 Mathématiques Mathématiques MATF5102 M2 1e semestre 6.00 Laurent Berger, Baptiste Peaucelle
Laurent Berger, Baptiste Peaucelle 		---
Stochastic calculus Mathématiques Mathématiques MATH5109 M2 1e semestre 6.00 Laurent Berger, Marielle Simon, Nicolas Rougerie
Laurent Berger 		---
Elliptic curves in computational number theory Mathématiques Mathématiques MATH5253 M2 2e semestre 6.00 Laurent Berger, Benjamin Wesolowski, Nicolas Rougerie
 ---
Processus stochastiques / Stochastic processes Mathématiques Mathématiques MATH4204 M1+M2 2e semestre 6.00 Laurent Berger, Francois Brunault, Emmanuel Jacob, Bertrand Remy
 ---
Optimal Transport and Machine Learning Mathématiques Mathématiques MATH5233 M2 2e semestre 4.50 Laurent Berger, Nicolas Bonneel, Nicolas Rougerie
Laurent Berger, Filippo Santambrogio 		---
Intégration et Probabilités / Integration and probabilities Mathématiques Mathématiques MATH3204 L3 / 1e année 2e semestre 6.00 Laurent Berger, Sandra Rozensztajn, Gregory Miermont
Laurent Berger, Sandra Rozensztajn 		---
Introduction to complex algebraic geometry Mathématiques Mathématiques MATH5138 M2 1e semestre 6.00 Laurent Berger, Antoine Etesse, Nicolas Rougerie
 ---
Modélisation 2 / Modelling 2 Mathématiques Mathématiques MATF5204 M2 2e semestre 6.00 Laurent Berger, Baptiste Peaucelle
Laurent Berger, Baptiste Peaucelle 		---
A few models and methods for life science Mathématiques Mathématiques MATH5129 M2 1e semestre 6.00 Thomas Lepoutre, Laurent Berger, Nicolas Rougerie
 ---
Symplectic capacities Mathématiques Mathématiques MATH5258 M2 2e semestre 6.00 Laurent Berger, Marco Mazzucchelli, Nicolas Rougerie
 ---