Computability, complexity and logic (agregation)

Algorithms (L3)

Algorithms and data structures (agregation SCIF)

Complexity theory (M1)

Epistemic reasoning in multi-agent systems (tutorial at AAMAS 2019)

Epistemic reasoning in AI (tutorial at IJCAI 2019)

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)