A theorem of Cattani–Deligne–Kaplan states that the Hodge locus for a polarized variation of Hodge structures on a smooth complex variety is algebraic. Recently, Bakker–Klingler–Tsimerman gave a considerably simpler proof of the same result which is based on o-minimal geometry. The goal of the seminar is to learn this proof.