Section: Dissemination

Teaching

Yves Bertot

Sémantique des langages de programmation I (Programming language semantics I), 1st year Master (18 hours), University of Nice. Sémantique des langages de programmation, techniques avancées (Programming language semantics, advanced techniques), 1st year Master, special cursus at University of Nice (pensionnaires de l'école normale supérieure).

Nicolas Julien

Introduction à la programmation fonctionnelle , University of Nice (48 hours), Systèmes et réseaux , University of Nice (22 hours), Algorithmique et informatique théorique , University of Nice (16 hours).

Sylvain Heraud

Introduction à la programmation fonctionnelle , University of Nice (48 hours).

Ioana Paşca

Travaux pratiques de Mathématiques Discrètes , (Lab. sessions of discrete mathematics), 1st year (84 hours), University of Nice.

Loïc Pottier

Sémantique des langages de programmation I (Programming language semantics I), 1st year Master (50 hours), University of Nice, Preuves formelles (Formal proofs), 2nd year Master (20 hours), University of Nice, Preuves formelles (Formal proofs), 2nd year Master (3 hours), University of Aix-Marseille.

Laurent Théry

Proof Mechanization , 2nd year Master, University of Marseilles (3 hours). Introduction to Coq , École des Mines de Paris, (3 hours).

Benjamin Grégoire

Vérification et Sécurité , 2nd year Master, Ecole Polytechnique de l'Université de Nice Sophia-Antipolis.