previous up next contents
Précédent : Colloques et congrès Remonter : Diffusion des résultats Suivant : Démonstration de logiciels

Actions d'enseignement

Option de la année d'informatique, Enssat Lannion : théorie de l'évidence (Ph. Besnard).

Option du DEA d'informatique : logiques d'ordre supérieur : types et automates (Ph. Besnard).

Cours intelligence artificielle et diagnostic pour l'Ecole Franco-Polonaise de Poznan (M.-O. Cordier).

Option du DEA d'informatique : intelligence artificielle et diagnostic (M.-O. Cordier, S. Robin).

Cours en DIIC3 : images numériques : approche statistique de la reconnaissance des formes (I.C. Lerman).

Cours en DESS Mathématiques appliquées et en magistère Mathématiques et Informatique de l'université de Rennes 1 : analyse des données (I.C. Lerman).

Option du DEA d'informatique, du DESS-ISA et année Insa : analyse des données et apprentissage (I.C. Lerman, J. Nicolas).

Option du DEA d'informatique, du DESS-ISA et année Insa : représentation des connaissances (Y. Moinard, R. Quiniou).

Option du DEA d'informatique de Brest : méthodes d'apprentissage automatique (J. Nicolas).