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)
Probabilités / Probability Informatique Informatique INFO3202 L3 / 1e année 2e semestre 6.00 Eric Thierry
Yves Robert
---
Preuves et programmes / Programs and proofs Informatique Informatique INFO4213 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Colin Riba
---
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
---
Quantum Computer Science Informatique Informatique INFO4109 M1+M2 1e semestre 6.00 Daniel Hirschkoff
Daniel Stilck Franca
---
Polynomials in combinatorics and in complexity theory Informatique Informatique INFO5180 M2 1e semestre 5.00 Aurelien Garivier
Pascal Koiran, Stephan Thomasse
---
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
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
---
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
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
---
Performance Evaluation Informatique Informatique INFO4110 M1+M2 1e semestre 6.00 Daniel Hirschkoff
Francesco Bronzino
Lundi Après-midi, Mercredi Matin
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
---
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
---
Resource optimization for linear system solvers Informatique Informatique INFO5175 M2 1e semestre 5.00 Aurelien Garivier
Frederic Vivien, Bora Ucar, Gregoire Pichon
---
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
---
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
---
Projet Intégré 2 / Integrated project 2 Informatique Informatique INFO4208 M1+M2 2e semestre 3.00 Daniel Hirschkoff
Michael Rao
---
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
---
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
---
Program verification with coinduction and proof assistants Informatique Informatique INFO5176 M2 1e semestre 5.00 Aurelien Garivier
Damien Pous, Yannick Zakowski
---
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
---
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
Research internship / M1 Internship Informatique Informatique INFO4211 M1+M2 2e semestre 12.00 Daniel Hirschkoff
Elisa Riccietti
---
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
---
Compilation et Analyse de Programmes / Compilers and program analysis Informatique Informatique INFO4107 M1+M2 1e semestre 6.00 Daniel Hirschkoff
Gabriel Radanne, Ludovic Henrio
---
Large scale sustainable distributed resource management Informatique Informatique INFO5177 M2 1e semestre 5.00 Aurelien Garivier
Laurent Lefevre, Eddy Caron, Elise Jeanneau
---
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
---
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
---
Physiologie : l'organisme intégré à l'environnement / Physiology: the organism in its environment Biologie Biologie BIOL4114 M1+M2 1e semestre 6.00 Christophe Trehin, Deborah Prevot, Nathalie Davoust Nataf
---
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
---
Praticals in bio-modeling Biologie Biologie BIOL5119 M2 1e semestre 3.00 Christophe Trehin, Nathalie Davoust Nataf, Nicolas Goudemand, Julien Derr
---
Travaux Pratiques de biologie cellulaire et biologie du développement / Pratical work in cellular and developmental biology Biologie Biologie BIOL3203 L3 / 1e année 2e semestre 4.50 Dominique Baas, Nathalie Alazard-Dany, Stephane Vincent
---
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
---