Outils

Catalogue de cours : 2025-2026

Quel cours ?

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

Quand ?

Pour qui ?

Intitulé du cours Département Trier par ordre croissant Discipline Code cours Niveau Période ECTS Enseignant(s) Créneau(x)
Concepts fondamentaux de biologie du développement / Basic concepts of developmental biology Biologie Biologie BIOL3224 L3 / 1e année 2e semestre 3.00 Dominique Baas, Nathalie Alazard-Dany, Aurelie Vialette, Stephane Vincent
---
Complexité Algorithmique / Computational complexity Informatique Informatique INFO4217 M1+M2 2e semestre 5.00 Daniel Hirschkoff
Pascal Koiran
---
CR18: Network Measurements Informatique Informatique INFO5197 M2 1e semestre 5.00 Aurelien Garivier
Francesco Bronzino
---
Logique / Introduction to logic Informatique Informatique INFO3208 L3 / 1e année 2e semestre 6.00 Eric Thierry
Natacha Portier
---
Réseaux / Networks Informatique Informatique INFO4113 M1+M2 1e semestre 5.00 Daniel Hirschkoff
---
CR13: Algebraic and combinatorial aspects of category theory Informatique Informatique INFO5112 M2 1e semestre 5.00 Aurelien Garivier
Tom Hirschowitz
---
Théorie de la programmation / Theory of programming Informatique Informatique INFO3104 L3 / 1e année 1e semestre 6.00 Eric Thierry
Daniel Hirschkoff
---
Compilation et Analyse de Programmes / Compilers and program analysis Informatique Informatique INFO4107 M1+M2 1e semestre 5.00 Daniel Hirschkoff
Gabriel Radanne, Ludovic Henrio
---
CR03: Robust discrete optimization Informatique Informatique INFO5101 M2 1e semestre 5.00 Aurelien Garivier
Michael Poss, Ayse Nur Arslan
---
CR08: Independent Sets in Graphs Informatique Informatique INFO5107 M2 1e semestre 5.00 Aurelien Garivier
Nicolas Trotignon, Stephan Thomasse, Remi Watrigant, Edouard Bonnet, Jean-Florent Raymond
---
Structures et outils informatiques Informatique Informatique INFF5301 M2 Annuel 12.00 Pascal Koiran
---
Calcul formel / Computer algebra Informatique Informatique INFO4218 M1+M2 2e semestre 5.00 Daniel Hirschkoff
Gilles Villard, Bruno Salvy
---
CR01: Harnessing Inexactness in Scientific Computing Informatique Informatique INFO5198 M2 1e semestre 5.00 Aurelien Garivier
Theo Mary, Elisa Riccietti
---
Architecture des ordinateurs et Système d'exploitation / Computer architecture and operating systems Informatique Informatique INFO3209 L3 / 1e année 2e semestre 6.00 Eric Thierry
Francesco Bronzino
---
Research internship / M1 Internship Informatique Informatique INFO4211 M1+M2 2e semestre 11.00 Daniel Hirschkoff
Elisa Riccietti
---
CR14: Embedded Audio Signal Processing Informatique Informatique INFO5113 M2 1e semestre 5.00 Aurelien Garivier
Tanguy Risset
---
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 INFO4108 M1+M2 1e semestre 25.00 Daniel Hirschkoff
---
CR04: Numerical Linear Algebra Informatique Informatique INFO5102 M2 1e semestre 5.00 Aurelien Garivier
Julien Langou
---
CR09: Resource-aware computations on CPUs and GPUs Informatique Informatique INFO5108 M2 1e semestre 5.00 Aurelien Garivier
Frederic Vivien, Loris Marchal, Suraj Kumar
---
Transmission des connaissances Informatique Informatique INFF5302 M2 Annuel 18.00 Pascal Koiran
---
Systèmes Distribués / Distributed systems Informatique Informatique INFO4219 M1+M2 2e semestre 5.00 Daniel Hirschkoff
Eddy Caron
---
CR02: Tensors and arithmetic circuits, from complexity theory to machine learning Informatique Informatique INFO5199 M2 1e semestre 5.00 Aurelien Garivier
Pascal Koiran
---
Projet fonctionnel / Functional Programming Project Informatique Informatique INFO3210 L3 / 1e année 2e semestre 6.00 Eric Thierry
Daniel Hirschkoff
---
Preuves et programmes / Programs and proofs Informatique Informatique INFO4213 M1+M2 2e semestre 5.00 Daniel Hirschkoff
Michele Angelo Pagani
---
CR15: Reinforcement Learning Informatique Informatique INFO5114 M2 1e semestre 5.00 Aurelien Garivier
Aurelien Garivier
---
Probabilités / Probability Informatique Informatique INFO3108 L3 / 1e année 1e semestre 6.00 Eric Thierry
Guillaume Aubrun
---
Quantum Computer Science Informatique Informatique INFO4109 M1+M2 1e semestre 5.00 Daniel Hirschkoff
---
CR10: Computer-assisted proofs Informatique Informatique INFO5109 M2 1e semestre 5.00 Aurelien Garivier
Nathalie Revol, Damien Pous, Michael Rao, Daria Pchelina
---
Modélisation Informatique Informatique INFF5303 M2 Annuel 12.00 Pascal Koiran
---
Semester 2 validated out of ENSL Informatique Informatique INFO4221 M1+M2 2e semestre 25.00 Daniel Hirschkoff
---
CR05: Computational Optimal Transport for Machine and Deep Learning Informatique Informatique INFO5103 M2 1e semestre 5.00 Aurelien Garivier
Titouan Vayer, Mathurin Massias, Quentin Bertrand
---
Research internship / M2 Internship Informatique Informatique INFO5201 M2 2e semestre 30.00 Aurelien Garivier, Edouard Bonnet
---
Machine Learning 1 Informatique Informatique INFO3211 L3 / 1e année 2e semestre 6.00 Eric Thierry
Mathurin Massias
---
Gestion et fouille de donnés / Data bases and data mining Informatique Informatique INFO4215 M1+M2 2e semestre 5.00 Daniel Hirschkoff
Francois Schwarzentruber
---
CR16: Molecular programming: Theory & experiment / CR16: Molecular programming: Theory & experiment Informatique Informatique INFO5115 M2 1e semestre 5.00 Aurelien Garivier
Nicolas Schabanel
---
Algorithmique 2 / Algorithms 2 Informatique Informatique INFO3201 L3 / 1e année 2e semestre 8.00 Eric Thierry
---
Sémantique et vérification / Semantics and verification Informatique Informatique INFO4111 M1+M2 1e semestre 5.00 Daniel Hirschkoff
Colin Riba
---
CR11: Privacy-preserving machine learning with homomorphic encryption Informatique Informatique INFO5110 M2 1e semestre 5.00 Aurelien Garivier
Guillaume Hanrot, Damien Stehle, Alain Passelegue
---
Algorithmique 1 / Algorithms 1 Informatique Informatique INFO3101 L3 / 1e année 1e semestre 8.00 Eric Thierry
Stephan Thomasse
---
Machine learning 2 Informatique Informatique INFO4222 M1+M2 2e semestre 5.00 Daniel Hirschkoff
Quentin Bertrand
---
CR06: Generative modelling Informatique Informatique INFO5105 M2 1e semestre 5.00 Aurelien Garivier
Mathurin Massias, Quentin Bertrand
---
Semester 2 validated out of ENSL Informatique Informatique INFO5202 M2 2e semestre 30.00 Aurelien Garivier
---
Optimisation / Optimization Informatique Informatique INFO4105 M1+M2 1e semestre 5.00 Daniel Hirschkoff
Stephan Thomasse, Elisa Riccietti
---
Géométrie Computationnelle et Images Digitales / Computational geometry and digital images Informatique Informatique INFO4216 M1+M2 2e semestre 5.00 Daniel Hirschkoff
Vincent Nivoliers
---
Semester 1 validated out of ENSL Informatique Informatique INFO5159 M2 1e semestre 30.00 Aurelien Garivier
---
Stage de Recherche / Research internship Informatique Informatique INFO3207 L3 / 1e année 2e semestre 5.00 Eric Thierry
Francois Schwarzentruber
---
Cryptographie et sécurité / Cryptography and security Informatique Informatique INFO4112 M1+M2 1e semestre 5.00 Daniel Hirschkoff
Damien Stehle, Alain Passelegue
---
CR12: Graphs, Machines and Logic Informatique Informatique INFO5111 M2 1e semestre 5.00 Aurelien Garivier
Denis Kuperberg, Stephan Thomasse, Edouard Bonnet, Francois Schwarzentruber
---
Fondements de l'informatique / Foundations of computer science Informatique Informatique INFO3102 L3 / 1e année 1e semestre 6.00 Eric Thierry
Pascal Koiran
---