EN FR
EN FR


Section: Dissemination

Teaching - Supervision - Juries

Teaching

  • Master: Nicolas Beldiceanu , Constraint (Master ORO ), 30h, M2, Nantes University, France.

  • Master: Nicolas Beldiceanu , Logic Programming, 32h, M2, Mines Nantes, France.

  • Master: Nicolas Beldiceanu , Gipad end project, 8h, M2, Mines Nantes, France.

  • Licence: Nicolas Beldiceanu , Programming with Java, 42h, L3, Mines Nantes, France.

  • Licence: Nicolas Beldiceanu , IPIPIP project, 12h, L1, Mines Nantes, France.

  • Master: Gilles Chabert , Non-linear programming, 20h, M2, Mines Nantes, France.

  • Master: Gilles Chabert , Non-linear optimization, 20h, M1, Mines Nantes, France.

  • Master: Gilles Chabert , Non-linear optimization, 24h, M1, Nantes University, France.

  • Licence: Gilles Chabert , Variational calculus, 12h, L3, Mines Nantes, France.

  • Licence: Gilles Chabert , Numerical methods, 21h, L3, Mines Nantes, France.

  • Licence: Gilles Chabert , Numerical methods, 15h, L3, Mines Nantes, France.

  • Licence: Gilles Chabert , Supervisions of projects, 66h, L3, Mines Nantes, France.

  • Gilles Chabert , Member of the selection commitee for a position of associate professor at ISTIA (Angers University).

  • Master: Xavier Lorca , Head of the major of the Master in Engineering, Computer Science for Decision Support, M2, Mines Nantes, France.

  • Master: Xavier Lorca , Graph Theory, Algorithms, 22h, M1, Mines Nantes, France.

  • Master: Xavier Lorca , Artificial Intelligence and Constraint Programming, 22h, M2, Mines Nantes, France.

  • Master: Xavier Lorca , IT System and Software Development, 45h, M2, Mines Nantes, France.

  • Master: Xavier Lorca , Decision support sytems, 45, M2, Mines Nantes, France.

  • Master: Xavier Lorca , Supervisions of projects, L2, M1, M3, Mines Nantes, France.

  • Licence: Éric Monfroy , Responsible of the L2 in Computer Science, Nantes University, France.

  • Licence and Master: Éric Monfroy , Responsible of the pole "Fondements Théoriques", CS Department, Nantes University, France.

  • Licence: Éric Monfroy , Algorithm 2, 16h, L2, Nantes University, France.

  • Licence: Éric Monfroy , Logic, 40h, L2, Nantes University, France.

  • Licence: Éric Monfroy , Language theory, 96h, L3, Nantes University, France.

  • Licence: Éric Monfroy , Computer architecture, 40h, L3, Nantes University, France.

  • Master: Éric Monfroy , supervision of 5 M2-MIAGE students (alternants), M2, Nantes University, France.

  • Master: Éric Monfroy , seminar about problem modelisation (ORO Master), 2, M2, Nantes University, France.

  • Master: Thierry Petit , Director of the Combinatorial Optimization degree, GIPAD, M2, Mines Nantes, France.

  • Master: Thierry Petit , Director of the Artificial Intelligence and Constraint Programming degree, GIPAD, M2, Mines Nantes, France.

  • Master: Thierry Petit , Discrete optimization, 9h, M2, Mines Nantes, France.

  • Master: Thierry Petit , Constraint Programming in CHOCO , 20h, M2, Mines Nantes, France.

  • Licence: Thierry Petit , Data structures, 20h, L2, Mines Nantes, France.

  • Licence: Thierry Petit , Java Programming, 40h, L2, Mines Nantes, France.

  • Licence: Thierry Petit , HMI, 13h, L2, Mines Nantes, France.

  • Licence: Thierry Petit , FIL project supervisor, 12h, L2, Mines Nantes, France.

  • Licence: Thierry Petit , IPIPIP project, 12h, L1, Mines Nantes, France.

  • Licence: Thierry Petit , Introduction to Constraint Programming, 4h, L2, Worcester Polytechnic Institute, USA.

  • Master: Florian Richoux , Constraint Programming, 12h, M2, University of Nantes, France.

  • Master: Florian Richoux , Prediction of Parallel Speed-ups for Las Vegas Algorithms, 2h, M2, University of Tokyo, Japan.

  • Licence: Florian Richoux , Design Patterns in Object-Oriented Programming, 86h, L3, University of Nantes, France.

  • Licence: Florian Richoux , Algorithm and Data Structures, 45h, L2, University of Nantes, France.

  • Licence: Charlotte Truchet , Algorithms and Programming, 46h, L1, University of Nantes, France.

  • Master: Charlotte Truchet , Local Search, 10h, M2, Mines Nantes.

Supervision

Juries

  • Nicolas Beldiceanu , Member of the committee of the HdR of Xavier Lorca , Elément de flexibilité et d'efficacité en programmation par contraintes, (Nantes University, November 6, 2014).

  • Nicolas Beldiceanu , Member of the committee of the HdR of Thierry Petit , Concilier expressivité et éfficacité en programmation par contraintes, (Nantes University, December 4, 2014).

  • Nicolas Beldiceanu , Member of the PhD committee of the thesis of Jean-Guillaume Fages, Graph Theory in Constraint Programming, Theory and application to several graph covering problems, (Nantes University, October 23, 2014).

  • Fréderic Benhamou , Member of the PhD committee of the thesis of Bruno Belin, Interactive conception of sustainable urban environments with constraints, (Nantes University, November 27, 2014).

  • Gilles Chabert , Member of the PhD committee of the thesis of Aymeric Bethencourt, Interval Analysis for swarm localization. Application to underwater robotics. (ENSTA Bretagne, September 30, 2014).

  • Xavier Lorca , Member of the PhD committee of the thesis of Jean-Guillaume Fages, Graph Theory in Constraint Programming, Theory and application to several graph covering problems, (Nantes University, October 23, 2014).

  • Xavier Lorca , Member of the PhD committee of the thesis of Charles Prud'homme, Controlling Propagation and Search within a Constraint Solver, (Nantes University, February 28, 2014).

  • Charlotte Truchet , Member of the PhD committee of the thesis of Bruno Belin, Interactive conception of sustainable urban environments with constraints, (Nantes University, November 27, 2014).

  • Éric Monfroy , Member of the HDR committee of the Habilitation thesis of Xavier Lorca , Elément de flexibilité et d'efficacité en programmation par contraintes, (Nantes University, November 6, 2014).

  • Éric Monfroy , Member of the HDR committee of the Habilitation thesis of Adrien Goeffon , Modèles d'abstraction pour la résolution de problèmes combinatoires, (Angers University, November 17, 2014).

  • Éric Monfroy , Member of the HDR committee of the Habilitation thesis of Thierry Petit , Concilier expressivité et éfficacité en programmation par contraintes, (Nantes University, December 4, 2014).

  • Éric Monfroy , Member of the PhD committee of the thesis of Xavier Dupont, (Caen University, December 18, 2014).

  • Éric Monfroy , Member of the Magister committee of the Magister thesis of N. Galvez, (UTFSM, Chile, November 19, 2014).