Intitulé du cours | Département | Discipline | Code cours Trier par ordre décroissant | Niveau | Période | ECTS | Enseignant(s) | Créneau(x) |
---|---|---|---|---|---|---|---|---|
Performance Evaluation | Informatique | Informatique | INFO4110 | M1+M2 | 1e semestre | 6.00 |
Daniel Hirschkoff Francesco Bronzino |
Lundi Après-midi, Mercredi Matin |
Projet Intégré 2 / Integrated project 2 | Informatique | Informatique | INFO4208 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Michael Rao |
--- |
Research internship / M1 Internship | Informatique | Informatique | INFO4211 | M1+M2 | 2e semestre | 12.00 |
Daniel Hirschkoff Elisa Riccietti |
--- |
Sémantique et vérification / Semantics and verification | Informatique | Informatique | INFO4212 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Colin Riba |
--- |
Preuves et programmes / Programs and proofs | Informatique | Informatique | INFO4213 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Colin Riba |
--- |
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 |
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 |
--- |
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 |
--- |
Complexité Algorithmique / Computational complexity | Informatique | Informatique | INFO4217 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Pascal Koiran, Stephan Thomasse |
--- |
Calcul formel / Computer algebra | Informatique | Informatique | INFO4218 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Bruno Salvy |
--- |
Systèmes Distribués / Distributed systems | Informatique | Informatique | INFO4219 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Eddy Caron |
Vendredi Matin |
Semester 2 validated out of ENSL | Informatique | Informatique | INFO4221 | M1+M2 | 2e semestre | 18.00 |
Daniel Hirschkoff |
--- |
Fondements de l'Apprentissage / Foundations of Machine learning | Informatique | Informatique | INFO4222 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Elisa Riccietti, Titouan Vayer |
--- |
Semester 1 validated out of ENSL | Informatique | Informatique | INFO5159 | M2 | 1e semestre | 30.00 |
Aurelien Garivier |
--- |
Complex networks | Informatique | Informatique | INFO5167 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Remy Cazabet |
--- |
Learning for Graphics, Graphics for Learning | Informatique | Informatique | INFO5168 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Guillaume Cordonnier, George Drettakis, Adrien Bousseau |
--- |
Interactive and Non-Interactive Proofs in Complexity and Cryptography | Informatique | Informatique | INFO5169 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Geoffroy Couteau, Alain Passelegue |
--- |
Post-quantum cryptography | Informatique | Informatique | INFO5170 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Damien Stehle, Benjamin Wesolowski |
--- |
Algebraic methods and program correctness, graphs and automata | Informatique | Informatique | INFO5171 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Damien Pous, Georg Struth, Amina Doumane |
--- |
Computer-aided proofs and combinatorial exploration | Informatique | Informatique | INFO5172 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Michael Rao, Pascal Ochem |
--- |
Graph Decompositions | Informatique | Informatique | INFO5173 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Stephan Thomasse, Remi Watrigant, Edouard Bonnet |
--- |
Static Analysis for Optimizing Compilers | Informatique | Informatique | INFO5174 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Christophe Alias, Laure Gonnord, Yannick Zakowski |
--- |
Resource optimization for linear system solvers | Informatique | Informatique | INFO5175 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Frederic Vivien, Bora Ucar, Gregoire Pichon |
--- |
Program verification with coinduction and proof assistants | Informatique | Informatique | INFO5176 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Damien Pous, Yannick Zakowski |
--- |
Large scale sustainable distributed resource management | Informatique | Informatique | INFO5177 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Laurent Lefevre, Eddy Caron, Elise Jeanneau |
--- |
Large scale optimization for machine learning | Informatique | Informatique | INFO5179 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Mathurin Massias |
--- |
Polynomials in combinatorics and in complexity theory | Informatique | Informatique | INFO5180 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Pascal Koiran, Stephan Thomasse |
--- |
Modern Algorithms for Symbolic Summation and Integration | Informatique | Informatique | INFO5181 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Gilles Villard, Bruno Salvy, Alin Bostan |
--- |
Causality: inferring and reasoning with causal relations | Informatique | Informatique | INFO5182 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Eric Gaussier, Emilie Devijver |
--- |
Confidential Computing Systems | Informatique | Informatique | INFO5183 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Valerio Schiavoni |
--- |
Virtualization technologies: Design and Implementation | Informatique | Informatique | INFO5184 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Alain Tchana |
--- |
Avanced Systems | Informatique | Informatique | INFO5185 | M2 | 1e semestre | 5.00 |
Aurelien Garivier |
--- |
Research internship / M2 Internship | Informatique | Informatique | INFO5201 | M2 | 2e semestre | 30.00 |
Laurent Lefevre, Aurelien Garivier |
--- |
Semester 2 validated out of ENSL | Informatique | Informatique | INFO5202 | M2 | 2e semestre | 30.00 |
Aurelien Garivier |
--- |
Séminaire études italiennes / Seminar in Italian studies | Langues, Littératures et civilisations étrangères | Etudes italiennes | ITA-3010 | L3 / 1e année | Annuel | 4.00 | Romain Descendre | --- |
Version Italienne (première année) / Italian version (first year) | Langues, Littératures et civilisations étrangères | Etudes italiennes | ITA-3101 | L3 / 1e année | 1e semestre | 2.50 |
Marie Fabre Marianne Fink |
--- |
Savoirs et politiques : l¿Italie et le monde au XVIe siècle / Knowledge and Politics: Italy and the World in the Sixteenth Century | Langues, Littératures et civilisations étrangères | Etudes italiennes | ITA-3104 | L3 / 1e année | 1e semestre | 4.00 |
Romain Descendre |
Vendredi Matin |
Littérature XIXème et XXème / 19th and 20th-Century Literature | Langues, Littératures et civilisations étrangères | Etudes italiennes | ITA-3106 | L3 / 1e année | 1e semestre | 3.00 | Claire Lorenzelli | --- |
Theme italien pour tous / Translation from French to Italian, open class | Langues, Littératures et civilisations étrangères | Etudes italiennes | ITA-3107 | L3 / 1e année | 1e semestre | 3.00 | Stephanie Lanfranchi | --- |
Atelier pratique d'introduction à la recherche / Practical initiation to research | Langues, Littératures et civilisations étrangères | Etudes italiennes | ITA-3109 | L3 / 1e année | 1e semestre | 3.00 | Claire Lorenzelli | --- |
Séminaire pensée politique italienne : Lire les Cahiers de prison d'Antonio Gramsci / Seminar in Italian political thought : Reading Antonio Gramsci's Prison Notebooks | Langues, Littératures et civilisations étrangères | Etudes italiennes | ITA-3111 | L3 / 1e année | 1e semestre | 4.00 | Romain Descendre | Mercredi Matin |
Thème et expression écrite / Translation from French to Italian and Written Expression | Langues, Littératures et civilisations étrangères | Etudes italiennes | ITA-3113 | L3 / 1e année | 1e semestre | 3.00 | Annamaria Azzarone | --- |
Introduction à la littérature italienne ancienne / Introduction to ancient Italian literature | Langues, Littératures et civilisations étrangères | Etudes italiennes | ITA-3116 | L3 / 1e année | 1e semestre | 4.00 |
Marie Fabre Marianne Fink |
--- |
Civilisation italienne 2 (XXe siècle) / Italian civilization 2 (20th) | Langues, Littératures et civilisations étrangères | Etudes italiennes | ITA-3204 | L3 / 1e année | 2e semestre | 4.00 | Clement Luy | Mardi Matin |
Littérature contemporaine et cinéma / Contemporary literature and cinema | Langues, Littératures et civilisations étrangères | Etudes italiennes | ITA-3205 | L3 / 1e année | 2e semestre | 4.00 |
Marie Fabre Elena Paroli |
Mardi Après-midi |
Traduction et traductologie / Translation and traductology | Langues, Littératures et civilisations étrangères | Etudes italiennes | ITA-3206 | L3 / 1e année | 2e semestre | 2.50 | Marie Fabre, Stephanie Lanfranchi | Mercredi Matin |
Thème italien pour tous / Translation from French to Italian | Langues, Littératures et civilisations étrangères | Etudes italiennes | ITA-3207 | L3 / 1e année | 2e semestre | 3.00 |
Marie Fabre Stephanie Lanfranchi |
--- |
Atelier pratique d'introduction à la recherche / Practical Workshop: Introduction to Research | Langues, Littératures et civilisations étrangères | Etudes italiennes | ITA-3209 | L3 / 1e année | 2e semestre | 3.00 | Marie Fabre | Vendredi Matin |
Hors canon : parcours et écritures de femmes dans la littérature italienne / Out of canon : women¿s writings in italian literature | Langues, Littératures et civilisations étrangères | Etudes italiennes | ita-3301 | L3 / 1e année | Annuel | 4.00 | Marie Fabre, Stephanie Lanfranchi | Jeudi Matin |
Atelier de traduction Revelli / Nuto Revelli translation workshop | Langues, Littératures et civilisations étrangères | Etudes italiennes | ITA-3312 | L3 / 1e année | Annuel | 4.00 | Stephanie Lanfranchi | --- |