Chercheurs et enseignants-chercheurs participent à la diffusion des connaissances

• Formation permanente au CEA, au centre d'essai des Landes

  DEA Informatique Université de Paris-Sud

  DEA SETI (Systèmes Electroniques de Traitement de l'Information) Université de Paris-Sud

  DESS SCHM (Systèmes et communication homme-machine) Université de Paris-Sud

  DESS CSI (Conception des Systèmes d'Information) Université de Paris-Sud

  DEA d'Informatique Système et Communication, Grenoble

  Participation à la formation Coq

  DEA MDFI (Mathématiques Discrètes et Fondements de l'Informatique) Marseille

  DEA Informatique Université Nice Sophia Antipolis

  ESSI Université Nice Sophia Antipolis

  Ecole Jeunes Chercheurs en Programmation.