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)
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
Géométrie Computationnelle et Images Digitales / Computational geometry and digital images Informatique Informatique INFO4216 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Vincent Nivoliers 		---
Program verification with coinduction and proof assistants Informatique Informatique INFO5176 M2 1e semestre 5.00 Aurelien Garivier
Damien Pous, Yannick Zakowski 		---
Logique / Introduction to logic Informatique Informatique INFO3208 L3 / 1e année 2e semestre 6.00 Eric Thierry
Natacha Portier 		---
Algebraic methods and program correctness, graphs and automata Informatique Informatique INFO5171 M2 1e semestre 5.00 Aurelien Garivier
Damien Pous, Georg Struth, Amina Doumane 		---
Réseaux / Networks Informatique Informatique INFO3107 L3 / 1e année 1e semestre 6.00 Eric Thierry
Thomas Begin, Francesco Bronzino 		Mardi Après-midi, Mercredi Matin, Mercredi Après-midi, Jeudi Matin
Research internship / M1 Internship Informatique Informatique INFO4211 M1+M2 2e semestre 12.00 Daniel Hirschkoff
Elisa Riccietti 		---
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
 ---
Compilation et Analyse de Programmes / Compilers and program analysis Informatique Informatique INFO4107 M1+M2 1e semestre 6.00 Daniel Hirschkoff
Gabriel Radanne, Ludovic Henrio 		---
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 		---
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
 ---
Microbes et immunité : nouveaux concepts / Microbes and immunity: new concepts Biologie Biologie BIOL3214 L3 / 1e année 2e semestre 3.00 Dominique Baas, Antoine Corbin, Nathalie Alazard-Dany, Nathalie Davoust Nataf
 ---
Génétique et génomique évolutive / Genetics and evolutive genomics Biologie Biologie BIOL4108 M1+M2 1e semestre 6.00 Christophe Trehin, Nathalie Davoust Nataf, Julien Varaldi, Nicolas Lartillot
 ---
Practicals in confocal microscopy and quantification in 2-4 dimensions Biologie Biologie BIOL5111 M2 1e semestre 3.00 Christophe Trehin, Nathalie Davoust Nataf, Pradeep Das
 ---
Expression et sauvegarde de l'information génétique / Expression and storage of genetic information Biologie Biologie BIOL3105 L3 / 1e année 1e semestre 3.00 Dominique Baas, Nathalie Alazard-Dany, Fabien Mongelard
 ---
Biochimie et chimie pour les biologistes / Biochemistry and chemistry for biologists Biologie Biologie BIOL3209 L3 / 1e année 2e semestre 3.00 Dominique Baas, Jens Hasserodt, Nathalie Alazard-Dany
 ---
Biologie physique de la cellule / Physical biology of the cell Biologie Biologie BIOL4103 M1+M2 1e semestre 6.00 Christophe Trehin, Cendrine Moskalenko, Nathalie Davoust Nataf
 ---