Précédent : Conférences et congrès Remonter : Diffusion des résultats Suivant : Actions d'enseignement

Conférences invitées, tutoriels, cours, etc.

Yves Bertot a donné un cours d'une journée sur la sémantique des langages de programmation à l'ecole jeunes chercheurs en programmation.

Gilles Kahn a donné un cours aux journées de formation au système de preuve Coq organisées à Lyon. Yves Bertot y est également intervenu comme assistant.