Intitulé du cours | Département Trier par ordre décroissant | Discipline | Code cours | Niveau | Période | ECTS | Enseignant(s) | Créneau(x) |
---|---|---|---|---|---|---|---|---|
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 |
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 |
--- |
Logique / Introduction to logic | Informatique | Informatique | INFO3208 | L3 / 1e année | 2e semestre | 6.00 |
Eric Thierry Natacha Portier |
--- |
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 |
--- |
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 |
--- |
Algebraic methods and program correctness, graphs and automata | Informatique | Informatique | INFO5171 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Damien Pous, Georg Struth, Amina Doumane |
--- |
Compilation et Analyse de Programmes / Compilers and program analysis | Informatique | Informatique | INFO4107 | M1+M2 | 1e semestre | 6.00 |
Daniel Hirschkoff Gabriel Radanne, Ludovic Henrio |
--- |
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 |
--- |
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 |
--- |
Computer-aided proofs and combinatorial exploration | Informatique | Informatique | INFO5172 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Michael Rao, Pascal Ochem |
--- |
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 |
--- |
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 |
--- |
Graph Decompositions | Informatique | Informatique | INFO5173 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Stephan Thomasse, Remi Watrigant, Edouard Bonnet |
--- |
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 |
--- |
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 |
Static Analysis for Optimizing Compilers | Informatique | Informatique | INFO5174 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Christophe Alias, Laure Gonnord, Yannick Zakowski |
--- |
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 |
--- |
Modélisation des systèmes biologiques / Modelization of biological systems | Biologie | Biologie | BIOL3216 | L3 / 1e année | 2e semestre | 3.00 |
Dominique Baas, Nathalie Alazard-Dany, Annamaria Kiss, Julien Derr |
--- |
Histoire de la vie sur terre / History of life on earth | Biologie | Biologie | BIOL4110 | M1+M2 | 1e semestre | 6.00 |
Christophe Trehin, Laurent Viriot, Nathalie Davoust Nataf, Cyril Langlois |
--- |
Practicals in next generation sequencing | Biologie | Biologie | BIOL5113 | M2 | 1e semestre | 3.00 |
Marie Semon, Christophe Trehin, Nathalie Davoust Nataf |
--- |
Méthodes expérimentales fondamentales / Basic experimental methods | Biologie | Biologie | BIOL3106 | L3 / 1e année | 1e semestre | 9.00 |
Dominique Baas, Nathalie Alazard-Dany, Fabien Mongelard |
--- |
Biodiversité : du gène aux espèces / Biodiversity: from gene to species | Biologie | Biologie | BIOL3210 | L3 / 1e année | 2e semestre | 3.00 |
Dominique Baas, Nathalie Alazard-Dany, Cyril Charles |
--- |
Le cerveau: développement, plasticité, cognition / The brain: development, plasticity, cognition | Biologie | Biologie | BIOL4104 | M1+M2 | 1e semestre | 6.00 |
Christophe Trehin, Nathalie Davoust Nataf, Frederic Moret, Anne Didier |
--- |