Introduction - Reminder on bases on logics (syntax, semantics...) and overview of several logics (propositional, first order, modal...)

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

Friday, all day (8:30 to 11:45 and 13:30 to 16:45) lab exercises