- Trainer/in: Nils Holzenberger
- Trainer/in: Louis Jachiet
- Trainer/in: Fabian Suchanek
- Trainer/in: Jean-Louis Dessalles
- Trainer/in: Nils Holzenberger
- Trainer/in: Louis Jachiet
- Trainer/in: Tiphaine Viard
- Trainer/in: Mariam Barry
- Trainer/in: Louis Jachiet
- Trainer/in: Louis Jachiet
- Trainer/in: Ioana Manolescu
- Trainer/in: Madhulika Mohanty
Course program.
- Algorithms and datastructures by Louis Jachiet
- Statistics and probability by Tiphaine Viard
- How to use a computer like a computer scientist by Louis Jachiet
- Formal languages by Fabian Suchanek
- Logic by Jean-Louis Dessalles
- Trainer/in: Jean-Louis Dessalles
- Trainer/in: Louis Jachiet
- Trainer/in: Fabian Suchanek
- Trainer/in: Tiphaine Viard
Introduction - Reminder on bases on logics (syntax, semantics...) and
overview of several logics (propositional, first order, modal...)
- Trainer/in: Isabelle Bloch
- Trainer/in: Louis Jachiet
- Trainer/in: Luc Brogat-Motte
- Trainer/in: Florence D'Alché-Buc
- Trainer/in: Louis Jachiet
- Trainer/in: Louis Jachiet
- Trainer/in: Ioana Manolescu
- Trainer/in: Madhulika Mohanty
Introduction - Reminder on bases on logics (syntax, semantics...) and
overview of several logics (propositional, first order, modal...)
- Trainer/in: Isabelle Bloch
- Trainer/in: Louis Jachiet
- Trainer/in: David FILLIAT
- Trainer/in: Louis Jachiet