Ceci est une ancienne révision du document !
TODO
* Software Verification
* Seminar
* Game Synthesis & Control
* Distributed Algorithm
* Logic and Languages
* Applied Algorithmics
* Advanced Graph Theory
* Informatique Quantique