TODO

• Projet de programmation
  • Resp: Philippe Narbel

• Conception Formelle
  • Resp: Alain Griffault et Vincent Penelle

• Optimisation Combinatoire
  • Resp: Olivier Baudon

• Introduction à la vérification
  • Resp: Anca Muscholl

* Software Verification

• Resp: Vincent Penelle, Grégoire Sutre et Jérôme Leroux

* Seminar

• Resp: Nicolas Bonichon

* Game Synthesis & Control

• Resp: Anca Muscholl et Nathanaël Fijalkow

* Distributed Algorithm

• Resp: Cyril Gavoille

* Logic and Languages

• Resp: Anca Muscholl, Meghyn Bienvenu et Marc Zeitoun

* Applied Algorithmics

• Resp: Cyril Gavoille et Ludovic Hofer

* Advanced Graph Theory

• Resp: Eric Sopena et Marthe Bonamy

* Informatique Quantique

• Resp: Adrian Tanasa

TODO

TODO