Intitulé du cours | Département | Discipline Trier par ordre croissant | Code cours | Niveau | Période | ECTS | Enseignant(s) | Créneau(x) |
---|---|---|---|---|---|---|---|---|
Transmission des connaissances | Informatique | Informatique | INFF5302 | M2 | Annuel | 18.00 |
Pascal Koiran |
--- |
Fondements de l'Apprentissage / Foundations of Machine learning | Informatique | Informatique | INFO4222 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Elisa Riccietti, Titouan Vayer |
--- |
Sémantique et vérification / Semantics and verification | Informatique | Informatique | INFO4212 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Colin Riba |
--- |
Projet Intégré 1 / Integrated project 1 | Informatique | Informatique | INFO4102 | M1+M2 | 1e semestre | 3.00 |
Daniel Hirschkoff Francois Schwarzentruber |
--- |
CR15: Category theory for computer scientists | Informatique | Informatique | INFO5194 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Le Thanh Dung Nguyen |
--- |
Programmation / Programming project | Informatique | Informatique | INFO3105 | L3 / 1e année | 1e semestre | 3.00 |
Eric Thierry Francois Schwarzentruber |
--- |
Semester 1 validated out of ENSL | Informatique | Informatique | INFO5159 | M2 | 1e semestre | 30.00 |
Aurelien Garivier |
--- |
Complexité Algorithmique / Computational complexity | Informatique | Informatique | INFO4217 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Pascal Koiran, Stephan Thomasse |
--- |
Quantum Computer Science | Informatique | Informatique | INFO4109 | M1+M2 | 1e semestre | 6.00 |
Daniel Hirschkoff Omar Fawzi |
--- |
CR02: Tensors and arithmetic circuits, from complexity theory to machine learning | Informatique | Informatique | INFO5199 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Pascal Koiran |
--- |
Stage de Recherche / Research internship | Informatique | Informatique | INFO3207 | L3 / 1e année | 2e semestre | 3.00 |
Eric Thierry Francois Schwarzentruber |
--- |
CR10: Algorithms for public-key cryptography | Informatique | Informatique | INFO5189 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Guillaume Hanrot, Benjamin Wesolowski |
--- |
Modélisation | Informatique | Informatique | INFF5303 | M2 | Annuel | 12.00 |
Pascal Koiran |
--- |
CR03: Robust discrete optimization | Informatique | Informatique | INFO5101 | M2 | 1e semestre | 5.00 |
Aurelien Garivier |
--- |
Preuves et programmes / Programs and proofs | Informatique | Informatique | INFO4213 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Michele Angelo Pagani |
--- |
Optimisation et Approximation / Optimization and approximation | Informatique | Informatique | INFO4105 | M1+M2 | 1e semestre | 6.00 |
Daniel Hirschkoff Stephan Thomasse, Elisa Riccietti |
--- |
CR16 Approximation Theory and Proof Assistants: Certified Computations | Informatique | Informatique | INFO5195 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Damien Pous, Nicolas Brisebarre |
--- |
Réseaux / Networks | Informatique | Informatique | INFO3107 | L3 / 1e année | 1e semestre | 6.00 |
Eric Thierry Thomas Begin, Francesco Bronzino |
--- |
CR06: Virtualization technologies: Design and Implementation | Informatique | Informatique | INFO5184 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Alain Tchana |
--- |
Calcul formel / Computer algebra | Informatique | Informatique | INFO4218 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Bruno Salvy |
--- |
Performance Evaluation | Informatique | Informatique | INFO4110 | M1+M2 | 1e semestre | 6.00 |
Daniel Hirschkoff Francescomaria Faticanti |
--- |
Research internship / M2 Internship | Informatique | Informatique | INFO5201 | M2 | 2e semestre | 30.00 |
Aurelien Garivier Edouard Bonnet |
--- |
Logique / Introduction to logic | Informatique | Informatique | INFO3208 | L3 / 1e année | 2e semestre | 6.00 |
Eric Thierry Natacha Portier |
--- |
CR12: Data-aware algorithms for matrix and tensor computations | Informatique | Informatique | INFO5191 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Suraj Kumar |
--- |
Algorithmique 1 / Algorithms 1 | Informatique | Informatique | INFO3101 | L3 / 1e année | 1e semestre | 6.00 |
Eric Thierry Stephan Thomasse |
--- |
CR04: Numerical Linear Algebra | Informatique | Informatique | INFO5102 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Julien Langou |
--- |
Cryptographie et sécurité / Cryptography and security | Informatique | Informatique | INFO4214 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Alain Passelegue |
--- |
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, Mercredi Matin |
CR17: Coalgebra: abstract tools for reasoning on state-based systems | Informatique | Informatique | INFO5196 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Damien Pous, Valeria Vignudelli |
--- |
Algorithmique 2 / Algorithms 2 | Informatique | Informatique | INFO3201 | L3 / 1e année | 2e semestre | 6.00 |
Eric Thierry |
--- |
CR07: Molecular programming: Theory & experiment / CR07: Molecular programming: Theory & experiment | Informatique | Informatique | INFO5186 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Nicolas Schabanel |
--- |
Systèmes Distribués / Distributed systems | Informatique | Informatique | INFO4219 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Eddy Caron |
--- |
Projet Intégré 2 / Integrated project 2 | Informatique | Informatique | INFO4208 | M1+M2 | 2e semestre | 3.00 |
Daniel Hirschkoff Francois Schwarzentruber |
--- |
Semester 2 validated out of ENSL | Informatique | Informatique | INFO5202 | M2 | 2e semestre | 30.00 |
Aurelien Garivier |
--- |
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 |
--- |
CR13: Fully Homomorphic Encryption | Informatique | Informatique | INFO5192 | M2 | 1e semestre | 5.00 |
Aurelien Garivier Damien Stehle, Alain Passelegue |
--- |
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 |
--- |
Physiology of energy homeostasis | Biologie | Biologie | BIOL5103 | M2 | 1e semestre | 6.00 |
Gilles Mithieux, Nicolas Goudemand, Gilles Escarguel, Claude Duchamp |
--- |
Microbes et Immunité : concepts fondamentaux / Microbes and Immunity: basic concepts | Biologie | Biologie | BIOL3107 | L3 / 1e année | 1e semestre | 3.00 |
Dominique Baas, Antoine Corbin, Nathalie Alazard-Dany, Chloe Journo |
Mardi Matin, Mercredi Après-midi |
Microbiologie moléculaire et biologie cellulaire des infections / Molecular microbiology and cellular biology of infections | Biologie | Biologie | BIOL4111 | M1+M2 | 1e semestre | 6.00 |
Chloe Journo, Nicolas Goudemand, Gilles Escarguel |
Mardi Après-midi, Jeudi Matin |
Transmission des connaissances approfondies / Specialised knowledge transfer | Biologie | Biologie | BIOF5202 | M2 | 2e semestre | 6.00 |
Deborah Prevot Cyril Langlois, Jean-Pierre Moussus |
--- |
Adaptation, développement, évolution / Adaptation, development, evolution | Biologie | Biologie | BIOL4101 | M1+M2 | 1e semestre | 6.00 |
Cyril Charles, Samir Merabet, Nicolas Goudemand, Gilles Escarguel |
--- |
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, Elena Rondeau, Christiane Riedel |
--- |
Practicals in next generation sequencing | Biologie | Biologie | BIOL5113 | M2 | 1e semestre | 3.00 |
Marie Semon, Nicolas Goudemand, Gilles Escarguel |
--- |
Travaux Pratiques : génétique fonctionnelle chez un organisme modèle invertébré / Pratical work: functional genetics in an invertebrate model organism | Biologie | Biologie | BIOL3205 | L3 / 1e année | 2e semestre | 4.50 |
Dominique Baas, Nathalie Alazard-Dany, Kathrin Gieseler |
--- |
Biosciences et société / Biosciences and society | Biologie | Biologie | BIOL4201 | M1+M2 | 2e semestre | 3.00 |
Jean Nicolas Volff, Nicolas Goudemand, Gilles Escarguel |
Lundi Après-midi |
Biostatistiques / Biostatistics | Biologie | Biologie | BIOL3103 | L3 / 1e année | 1e semestre | 3.00 |
Dominique Baas, Nathalie Alazard-Dany, Franck Picard, Julien Derr |
--- |
Ecologie des communautés et des écosystèmes, macroécologie / Ecology of communities and ecosystems, macroecology | Biologie | Biologie | BIOL4106 | M1+M2 | 1e semestre | 6.00 |
Nicolas Goudemand, Gilles Escarguel |
--- |
Approfondissements disciplinaires en biologie des organismes, écologie et évolution / Further disciplinary training in the study of biological organisms, ecology and evolution | Biologie | Biologie | BIOF5102 | M2 | 1e semestre | 9.00 |
Jean-Pierre Moussus Deborah Prevot, Cyril Langlois |
--- |
Concepts fondamentaux de biologie du développement / Basic concepts of developmental biology | Biologie | Biologie | BIOL3224 | L3 / 1e année | 2e semestre | 3.00 |
Dominique Baas, Nathalie Alazard-Dany, Aurelie Vialette, Stephane Vincent |
--- |