Accès directs

Outils

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)
Semester 1 validated out of ENSL Informatique Informatique INFO5159 M2 1e semestre 30.00 Aurelien Garivier
 ---
Confidential Computing Systems Informatique Informatique INFO5183 M2 1e semestre 5.00 Aurelien Garivier
Valerio Schiavoni 		---
Modélisation Informatique Informatique INFF5303 M2 Annuel 12.00 Pascal Koiran
 ---
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 		---
Complexité Algorithmique / Computational complexity Informatique Informatique INFO4217 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Pascal Koiran, Stephan Thomasse 		---
Large scale sustainable distributed resource management Informatique Informatique INFO5177 M2 1e semestre 5.00 Aurelien Garivier
Laurent Lefevre, Eddy Caron, Elise Jeanneau 		---
Sémantique et vérification / Semantics and verification Informatique Informatique INFO4212 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Colin Riba 		---
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 		---
Semester 1 validated out of ENSL Informatique Informatique INFO4108 M1+M2 1e semestre 30.00 Daniel Hirschkoff
 ---
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 		---
Projet fonctionnel / Functional Programming Project Informatique Informatique INFO3210 L3 / 1e année 2e semestre 6.00 Eric Thierry
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 		---
Preuves et programmes / Programs and proofs Informatique Informatique INFO4213 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Colin Riba 		---
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 		---
Quantum Computer Science Informatique Informatique INFO4109 M1+M2 1e semestre 6.00 Daniel Hirschkoff
Daniel Stilck Franca 		---
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 		---
Projet Intégré 1 / Integrated project 1 Informatique Informatique INFO4102 M1+M2 1e semestre 3.00 Daniel Hirschkoff
Michael Rao 		---
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 		---
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
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
 ---
Performance Evaluation Informatique Informatique INFO4110 M1+M2 1e semestre 6.00 Daniel Hirschkoff
Francesco Bronzino 		Lundi Après-midi, Mercredi Matin
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 		---
Optimisation et Approximation / Optimization and approximation Informatique Informatique INFO4105 M1+M2 1e semestre 6.00 Daniel Hirschkoff
Stephan Thomasse, Elisa Riccietti 		---
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
 ---
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
 ---
Projet Intégré 2 / Integrated project 2 Informatique Informatique INFO4208 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Michael Rao 		---
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 		---
Travaux Pratiques de neurophysiologie et de physiologie végétale / Practical work in neurophysiology and plant physiology Biologie Biologie BIOL3207 L3 / 1e année 2e semestre 4.50 Dominique Baas, Christine Miege, Nathalie Alazard-Dany, Laurent Pays
 ---
Adaptation, développement, évolution / Adaptation, development, evolution Biologie Biologie BIOL4101 M1+M2 1e semestre 6.00 Christophe Trehin, Nathalie Davoust Nataf, Cyril Charles, Samir Merabet
 ---
Advanced immunology and health Biologie Biologie BIOL5101 M2 1e semestre 6.00 Christophe Trehin, Yann Leverrier, Nathalie Davoust Nataf
 ---
Transmission des connaissances approfondies / Specialised knowledge transfer Biologie Biologie BIOF5202 M2 2e semestre 6.00 Deborah Prevot
Cyril Langlois, Jean-Pierre Moussus 		---
Projet d'enseignement et de pédagogie / teaching and pedagogy project Biologie Biologie BIOL3223 L3 / 1e année 2e semestre 4.50 Dominique Baas, Delphine Galiana
 ---
Approche mathématique pour les biologistes / Matematical approach for biologists Biologie Biologie BIOL4113 M1+M2 1e semestre 6.00 Christophe Trehin, Nathalie Davoust Nataf, Franck Picard, Julien Derr
 ---