Outils

Catalogue de cours : 2024-2025

Quel cours ?

Chercher uniquement dans les cours relatif à la Transition Écologique ?

Quand ?

Pour qui ?

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
---