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