Computability, complexity and logic (agregation)

Epistemic reasoning in AI (tutorial at IJCAI-ECAI 2018)

LF: Formal languages (L3)

CVFP: SMT solvers (M1)

Computability and complexity (agregation)

Logic (agregation)

Algorithms (L3)

Algorithms (agregation)

C++ (agregation)

LF: Formal languages (L3)

Computability and complexity (agregation)

CVFP: SMT solvers (M1)

Algorithms (agregation)

Computability and complexity (agregation)

C++ (agregation)

Introduction to epistemic logic

CVFP: SMT solvers (M1)

Algorithms (agregation)

Computability and complexity (agregation)

Advanced algorithms (L3)

Organization of internships (L3)

Algorithms (L3)

Complexity (agregation)

Introduction to discrete maths (M1)

Concise introduction to logic

Algorithms (L3)