Accès directs

Outils

Catalogue de cours

Catalogue de cours : 2024-2025

Voir ancien 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)
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
Gilles Villard, 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
 ---
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 		---
Fondements de l'informatique / Foundations of computer science Informatique Informatique INFO3102 L3 / 1e année 1e semestre 6.00 Eric Thierry
Pascal Koiran 		---
CR05: Computational Optimal Transport for Machine and Deep Learning Informatique Informatique INFO5103 M2 1e semestre 5.00 Aurelien Garivier
Titouan Vayer, Mathurin Massias 		---
Gestion et fouille de donnés / Data bases and data mining Informatique Informatique INFO4215 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Francois Schwarzentruber 		---
Compilation et Analyse de Programmes / Compilers and program analysis Informatique Informatique INFO4107 M1+M2 1e semestre 6.00 Daniel Hirschkoff
Gabriel Radanne, Yannick Zakowski 		---
CR18: Network Measurements Informatique Informatique INFO5197 M2 1e semestre 5.00 Aurelien Garivier
Francesco Bronzino 		---
Ecologie : des organismes aux populations / Ecology: from organisms to populations Biologie Biologie BIOL3213 L3 / 1e année 2e semestre 3.00 Dominique Baas, Nathalie Alazard-Dany, Jean-Pierre Moussus
 ---
Practicals in confocal microscopy and quantification in 2-4 dimensions Biologie Biologie BIOL5111 M2 1e semestre 3.00 Pradeep Das, Nicolas Goudemand, Gilles Escarguel
 ---
Travaux Pratiques : biochimie et analyse des protéines / Pratical work : biochemistry and protein analysis Biologie Biologie BIOL3204 L3 / 1e année 2e semestre 4.50 Dominique Baas, Nathalie Alazard-Dany, Gilles Rautureau
 ---
Biochimie structurale des cibles thérapeutiques, drug design / Structural biochemistry of therapeutic targets, drug design Biologie Biologie BIOL4115 M1+M2 1e semestre 6.00 Gilles Rautureau, Nicolas Goudemand, Gilles Escarguel, Christiane Riedel
 ---
TP Méthodes expérimentales fondamentales 2 / Basic experimental methods 2 Biologie Biologie BIOL3109 L3 / 1e année 1e semestre 3.00 Nathalie Alazard-Dany, Fabien Mongelard
Fabien Mongelard 		---
Cellule normale et pathologique: oncogénèse et dégénérescence / Normal and pathological cells: oncogenesis and degeneration Biologie Biologie BIOL4105 M1+M2 1e semestre 6.00 Bertrand Mollereau, Nicolas Goudemand, Gilles Escarguel
 ---
Introduction au développement et aux neurosciences / Introduction to developmental biology and neurosciences Biologie Biologie BIOL3102 L3 / 1e année 1e semestre 3.00 Dominique Baas, Nathalie Alazard-Dany, Stephane Vincent, Emiliano Macaluso
 ---
Projet d'enseignement et de pédagogie / teaching and pedagogy project Biologie Biologie BIOL3223 L3 / 1e année 2e semestre 4.50 Dominique Baas, Deborah Prevot, Nathalie Alazard-Dany
 ---
Practicals in bio-modeling Biologie Biologie BIOL5119 M2 1e semestre 3.00 Nicolas Goudemand, Gilles Escarguel, Julien Derr
 ---
Approfondissements disciplinaires en biologie moléculaire, cellulaire et physiologie / Further disciplinary training in molecular and cellular biology and in physiology Biologie Biologie BIOF5101 M2 1e semestre 9.00 Deborah Prevot
Cyril Langlois, Jean-Pierre Moussus 		---
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
 ---