Projet : LEMME - Enseignement

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00098000000000000000" id= "SECTION00098000000000000000">Enseignement</a></h2>  <a name="LEMME_diffusion_enseignement" id= "LEMME_diffusion_enseignement"></a> <dl> <dt><strong>Antonia Balaa</strong></dt> <dd>: 39h de TD sur Awk et C en DEUG 2ème année à l'UNSA.</dd> <dt><strong>Yves Bertot</strong></dt> <dd>: Sémantique des langages de programmation en maîtrise (48 heures), Mécanisation des preuves en DEA (3 heures à Marseille), Mécanisation des preuves en DEA (6 heures à Nice), Présentation des systèmes de preuve (6 heures à l'ISIA avec Laurent Théry)</dd> <dt><strong>Laurent Chicli</strong></dt> <dd>: 48h de cours-TD de probabilités et statistiques en Deug B et 52h de TD d'algorithmique en licence de Mathématiques à l'UNSA.</dd> <dt><strong>Nicolas Magaud</strong></dt> <dd>: TP de systèmes informatiques DEUGMI2 à l'UNSA (25 heures)</dd> <dt><strong>Hanane Naciri</strong></dt> <dd> : travaux pratiques du cours sur le Système Unix et le langage C, de Maîtrise d'Ingénierie Mathématique dispensé à l'Université de Nice Sophia-Antipolis (20 heures). <p>Travaux pratiques du stage JAVA en premiere année ESSI (20 heures) .</p> <p>Travaux pratiques du cours JAVA en premiere année ESSI (22 heures).</p> </dd> <dt><strong>Loïc Pottier</strong></dt> <dd>:52h de cours d'algorithmique et logique en maîtrise Math-Info à l'UNSA.</dd> <dt><strong>Laurent Théry</strong></dt> <dd>: cours dans les DEA de Nice et de Marseille ainsi qu'à l'école des Mines.</dd> </dl> <hr /> </body>