2023-2024: I gave three lectures, as part of the Modal Logic course in the IMD (Computer Science and Discrete Mathematics) M2 at Aix-Marseille Université. Bisimulation: entre Théorie des Modèles de la Logique Modale et Vérification