IA326 Kernel Machines

TPT-DATAAI-921 Architecture for Big Data

DATAAI922 - Big Data Processing

IA301 Logics and Symbolic AI

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

Data AI basics

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







Navigation for autonomous systems