- Enseignant: Florence D'Alché-Buc
- Enseignant: Louis Jachiet
- Enseignant: Luc Motte
- Enseignant: Louis Jachiet
- Enseignant: Ioana Manolescu
- Enseignant: Madhulika Mohanty
- Enseignant: Louis Jachiet
Introduction - Reminder on bases on logics (syntax, semantics...) and
overview of several logics (propositional, first order, modal...)
- Enseignant: Isabelle Bloch
- Enseignant: Louis Jachiet
Course program.
Monday 6th 8:30 to 11:45 Algorithms and datastructures by Angelos Anadiotis
Monday 6th 13:30 to 16:45 Statistics and probability by Tiphaine Viard
Tuesday 7th 8:30 to 11:45 How to use a computer like a computer scientist by Louis Jachiet
Tuesday 7th 13:30 to 16:45 Formal languages by Fabian Suchanek
Wednesday 8th 13:30 to 16:45 Logic by Jean-Louis Dessalles
- Enseignant: Angelos Anadiotis
- Enseignant: Jean-Louis Dessalles
- Enseignant: Goran FREHSE
- Enseignant: Louis Jachiet
- Enseignant: Fabian Suchanek
- Enseignant: Tiphaine Viard
- Enseignant: David FILLIAT
- Enseignant: Louis Jachiet