- Teacher: Florence D'Alché-Buc
- Teacher: Louis Jachiet
- Teacher: Luc Motte
- 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
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
- Teacher: Angelos Anadiotis
- Teacher: Jean-Louis Dessalles
- Teacher: Goran FREHSE
- Teacher: Louis Jachiet
- Teacher: Fabian Suchanek
- Teacher: Tiphaine Viard
- Teacher: David FILLIAT
- Teacher: Louis Jachiet