Outils

Catalogue de cours : 2022-2023

Quel cours ?

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

Quand ?

Pour qui ?

Intitulé du cours Département Trier par ordre décroissant Discipline Code cours Niveau Période ECTS Enseignant(s) Créneau(x)
Graph Decompositions Informatique Informatique INFO5173 M2 1e semestre 5.00 Aurelien Garivier
Stephan Thomasse, Remi Watrigant, Edouard Bonnet
---
Probabilités / Probability Informatique Informatique INFO3202 L3 / 1e année 2e semestre 6.00 Eric Thierry
Yves Robert
---
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
---
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
---
Enseignement en programmation sportive / Competitive Programming Informatique Informatique INFO3205 L3 / 1e année 2e semestre 6.00 Eric Thierry
---
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
---
Optimisation et Approximation / Optimization and approximation Informatique Informatique INFO4105 M1+M2 1e semestre 6.00 Daniel Hirschkoff
Stephan Thomasse, Elisa Riccietti
---
Semester 2 validated out of ENSL Informatique Informatique INFO4221 M1+M2 2e semestre 18.00 Daniel Hirschkoff
---
Modern Algorithms for Symbolic Summation and Integration Informatique Informatique INFO5181 M2 1e semestre 5.00 Aurelien Garivier
Gilles Villard, Bruno Salvy, Alin Bostan
---
Structures et outils informatiques Informatique Informatique INFF5301 M2 Annuel 12.00 Pascal Koiran
---
Stage de Recherche / Research internship Informatique Informatique INFO3207 L3 / 1e année 2e semestre 3.00 Eric Thierry, Alain Passelegue
---
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
---
Resource optimization for linear system solvers Informatique Informatique INFO5175 M2 1e semestre 5.00 Aurelien Garivier
Frederic Vivien, Bora Ucar, Gregoire Pichon
---
Projet Intégré 2 / Integrated project 2 Informatique Informatique INFO4208 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Michael Rao
---
Post-quantum cryptography Informatique Informatique INFO5170 M2 1e semestre 5.00 Aurelien Garivier
Damien Stehle, Benjamin Wesolowski
---
Semester 2 validated out of ENSL Informatique Informatique INFO5202 M2 2e semestre 30.00 Aurelien Garivier
---
Programmation / Programming project Informatique Informatique INFO3105 L3 / 1e année 1e semestre 3.00 Eric Thierry
Eddy Caron
---
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
---
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
---
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
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
---
Génétique et génomique évolutive / Genetics and evolutive genomics Biologie Biologie BIOL4108 M1+M2 1e semestre 6.00 Christophe Trehin, Nathalie Davoust Nataf, Julien Varaldi, Nicolas Lartillot
---
Practicals in confocal microscopy and quantification in 2-4 dimensions Biologie Biologie BIOL5111 M2 1e semestre 3.00 Christophe Trehin, Nathalie Davoust Nataf, Pradeep Das
---
Expression et sauvegarde de l'information génétique / Expression and storage of genetic information Biologie Biologie BIOL3105 L3 / 1e année 1e semestre 3.00 Dominique Baas, Nathalie Alazard-Dany, Fabien Mongelard
---
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, Nathalie Davoust Nataf
---
Physiology of energy homeostasis Biologie Biologie BIOL5103 M2 1e semestre 6.00 Christophe Trehin, Nathalie Davoust Nataf, Gilles Mithieux, Claude Duchamp
---
Développement des compétences professionnelles pour enseigner dans le supérieur (Modules DEP) / Developping professional skills for teaching in higher education (DEP modules) Biologie Biologie BIOF5205 M2 2e semestre 12.00 Deborah Prevot
---