I currently teach the Advanced Semantics course from M2 SIF, and I am part of the team that helps prepare for the Agrégation Externe d’Informatique.