Accès directs

Outils

Catalogue de cours de l'année précédente

Catalogue de cours : 2022-2023

Voir nouveau 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)
Large scale sustainable distributed resource management Informatique Informatique INFO5177 M2 1e semestre 5.00 Aurelien Garivier
Laurent Lefevre, Eddy Caron, Elise Jeanneau 		---
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 		---
Computer-aided proofs and combinatorial exploration Informatique Informatique INFO5172 M2 1e semestre 5.00 Aurelien Garivier
Michael Rao, Pascal Ochem 		---
Algorithmique 2 / Algorithms 2 Informatique Informatique INFO3201 L3 / 1e année 2e semestre 6.00 Eric Thierry, Anne Benoit
Anne Benoit 		---
Sémantique et vérification / Semantics and verification Informatique Informatique INFO4212 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Colin Riba 		---
Complex networks Informatique Informatique INFO5167 M2 1e semestre 5.00 Aurelien Garivier
Remy Cazabet 		---
Virtualization technologies: Design and Implementation Informatique Informatique INFO5184 M2 1e semestre 5.00 Aurelien Garivier
Alain Tchana 		---
Algorithmique 1 / Algorithms 1 Informatique Informatique INFO3101 L3 / 1e année 1e semestre 6.00 Eric Thierry
Stephan Thomasse 		---
Semester 1 validated out of ENSL Informatique Informatique INFO4108 M1+M2 1e semestre 30.00 Daniel Hirschkoff
 ---
Calcul formel / Computer algebra Informatique Informatique INFO4218 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Bruno Salvy 		---
Large scale optimization for machine learning Informatique Informatique INFO5179 M2 1e semestre 5.00 Aurelien Garivier
Mathurin Massias 		---
Projet fonctionnel / Functional Programming Project Informatique Informatique INFO3210 L3 / 1e année 2e semestre 6.00 Eric Thierry
Daniel Hirschkoff 		---
Graph Decompositions Informatique Informatique INFO5173 M2 1e semestre 5.00 Aurelien Garivier
Stephan Thomasse, Remi Watrigant, Edouard Bonnet 		---
Probabilités / Probability Informatique Informatique INFO3202 L3 / 1e année 2e semestre 6.00 Eric Thierry
Yves Robert 		---
Preuves et programmes / Programs and proofs Informatique Informatique INFO4213 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Colin Riba 		---
Learning for Graphics, Graphics for Learning Informatique Informatique INFO5168 M2 1e semestre 5.00 Aurelien Garivier
Guillaume Cordonnier, George Drettakis, Adrien Bousseau 		---
Avanced Systems Informatique Informatique INFO5185 M2 1e semestre 5.00 Aurelien Garivier
 ---
Fondements de l'informatique / Foundations of computer science Informatique Informatique INFO3102 L3 / 1e année 1e semestre 6.00 Eric Thierry
Pascal Koiran 		---
Quantum Computer Science Informatique Informatique INFO4109 M1+M2 1e semestre 6.00 Daniel Hirschkoff
Daniel Stilck Franca 		---
Systèmes Distribués / Distributed systems Informatique Informatique INFO4219 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Eddy Caron 		Vendredi Matin
Polynomials in combinatorics and in complexity theory Informatique Informatique INFO5180 M2 1e semestre 5.00 Aurelien Garivier
Pascal Koiran, Stephan Thomasse 		---
Projet Intégré 1 / Integrated project 1 Informatique Informatique INFO4102 M1+M2 1e semestre 3.00 Daniel Hirschkoff
Michael Rao 		---
Static Analysis for Optimizing Compilers Informatique Informatique INFO5174 M2 1e semestre 5.00 Aurelien Garivier
Christophe Alias, Laure Gonnord, Yannick Zakowski 		---
Enseignement en programmation sportive / Competitive Programming Informatique Informatique INFO3205 L3 / 1e année 2e semestre 6.00 Eric Thierry
 ---
Cryptographie et sécurité / Cryptography and security Informatique Informatique INFO4214 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Alain Passelegue 		Lundi Après-midi, Mardi Après-midi
Interactive and Non-Interactive Proofs in Complexity and Cryptography Informatique Informatique INFO5169 M2 1e semestre 5.00 Aurelien Garivier
Geoffroy Couteau, Alain Passelegue 		---
Research internship / M2 Internship Informatique Informatique INFO5201 M2 2e semestre 30.00 Laurent Lefevre, Aurelien Garivier
 ---
Théorie de la programmation / Theory of programming Informatique Informatique INFO3104 L3 / 1e année 1e semestre 6.00 Eric Thierry
Daniel Hirschkoff 		---
Performance Evaluation Informatique Informatique INFO4110 M1+M2 1e semestre 6.00 Daniel Hirschkoff
Francesco Bronzino 		Lundi Après-midi, Mercredi Matin
Semester 2 validated out of ENSL Informatique Informatique INFO4221 M1+M2 2e semestre 18.00 Daniel Hirschkoff
 ---
Modern Algorithms for Symbolic Summation and Integration Informatique Informatique INFO5181 M2 1e semestre 5.00 Aurelien Garivier
Gilles Villard, Bruno Salvy, Alin Bostan 		---
Structures et outils informatiques Informatique Informatique INFF5301 M2 Annuel 12.00 Pascal Koiran
 ---
Optimisation et Approximation / Optimization and approximation Informatique Informatique INFO4105 M1+M2 1e semestre 6.00 Daniel Hirschkoff
Stephan Thomasse, Elisa Riccietti 		---
Gestion et fouille de donnés / Data bases and data mining Informatique Informatique INFO4215 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Mohand-Said Hacid, Celine Robardet 		---
Resource optimization for linear system solvers Informatique Informatique INFO5175 M2 1e semestre 5.00 Aurelien Garivier
Frederic Vivien, Bora Ucar, Gregoire Pichon 		---
Stage de Recherche / Research internship Informatique Informatique INFO3207 L3 / 1e année 2e semestre 3.00 Eric Thierry, Alain Passelegue
 ---
Post-quantum cryptography Informatique Informatique INFO5170 M2 1e semestre 5.00 Aurelien Garivier
Damien Stehle, Benjamin Wesolowski 		---
Semester 2 validated out of ENSL Informatique Informatique INFO5202 M2 2e semestre 30.00 Aurelien Garivier
 ---
Programmation / Programming project Informatique Informatique INFO3105 L3 / 1e année 1e semestre 3.00 Eric Thierry
Eddy Caron 		---
Projet Intégré 2 / Integrated project 2 Informatique Informatique INFO4208 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Michael Rao 		---
Fondements de l'Apprentissage / Foundations of Machine learning Informatique Informatique INFO4222 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Elisa Riccietti, Titouan Vayer 		---
Causality: inferring and reasoning with causal relations Informatique Informatique INFO5182 M2 1e semestre 5.00 Aurelien Garivier
Eric Gaussier, Emilie Devijver 		---
Transmission des connaissances Informatique Informatique INFF5302 M2 Annuel 18.00 Pascal Koiran
 ---
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, Jeudi Matin
Host and microbes Biologie Biologie BIOL5105 M2 1e semestre 6.00 Christophe Trehin, Nathalie Davoust Nataf, Chloe Journo, Francois Vandenesch
 ---
Introduction au développement et aux neurosciences / Introduction to developmental biology and neurosciences Biologie Biologie BIOL3102 L3 / 1e année 1e semestre 3.00 Dominique Baas, Nathalie Alazard-Dany, Stephane Vincent, Emiliano Macaluso
 ---
Bactéries, Virus et autres Microbes / Bacteria, Viruses and other Microbes Biologie Pluridiscipline CPNS9213 Tout niveau 2e semestre 4.00 Nathalie Alazard-Dany
 ---
Programmation pour la bio-informatique / Programming for bioinformatics Biologie Biologie BIOL3211 L3 / 1e année 2e semestre 3.00 Dominique Baas, Nathalie Alazard-Dany, Laurent Gueguen
 ---
Cellule normale et pathologique: oncogénèse et dégénérescence / Normal and pathological cells: oncogenesis and degeneration Biologie Biologie BIOL4105 M1+M2 1e semestre 6.00 Christophe Trehin, Nathalie Davoust Nataf, Bertrand Mollereau
 ---
Communication scientifique / Scientific communication Biologie Biologie BIOL4203 M1+M2 2e semestre 3.00 Antoine Corbin, Christophe Trehin, Nathalie Davoust Nataf
 ---