### Algorithms - L3 SIF et L3 Maths

Pictures of magnets used to illustrate topological sort.

Advanced algorithms

Algorithms and data structures (agregation SCIF)

Complexity theory (M1)

Advanced algorithms

Complexity theory (M1)

Advanced algorithms

Algorithms (CAPES maths)

Complexity theory (M1)

Algorithms and data structures (agregation SCIF)

Algorithms (L3)

Algorithms (CAPES maths)

Complexity theory (M1)

Agrégation de mathématiques - option info - planning de l'année

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)

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)