- Teacher: Nils Holzenberger
- Teacher: Louis Jachiet
- Teacher: Fabian Suchanek
- Teacher: Jean-Louis Dessalles
- Teacher: Nils Holzenberger
- Teacher: Louis Jachiet
- Teacher: Tiphaine Viard
- Teacher: Mariam Barry
- Teacher: Louis Jachiet
- Teacher: Louis Jachiet
- Teacher: Ioana Manolescu
- Teacher: 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
- Teacher: Jean-Louis Dessalles
- Teacher: Louis Jachiet
- Teacher: Fabian Suchanek
- Teacher: Tiphaine Viard
Introduction - Reminder on bases on logics (syntax, semantics...) and
overview of several logics (propositional, first order, modal...)
- Teacher: Isabelle Bloch
- Teacher: Louis Jachiet
- Teacher: Luc Brogat-Motte
- Teacher: Florence D'Alché-Buc
- Teacher: Louis Jachiet
- Teacher: Louis Jachiet
- Teacher: Ioana Manolescu
- Teacher: Madhulika Mohanty
Introduction - Reminder on bases on logics (syntax, semantics...) and
overview of several logics (propositional, first order, modal...)
- Teacher: Isabelle Bloch
- Teacher: Louis Jachiet
- Teacher: David FILLIAT
- Teacher: Louis Jachiet