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