Précédent : Actions financées par la Commission Remonter : Actions régionales, nationales et internationales Suivant : Diffusion de résultats
Précédent : Actions financées par la Commission
Remonter : Actions régionales, nationales et
internationales Suivant : Diffusion de résultats
- Nous coopérons avec l'équipe du professeur del Pobil, responsable du groupe IA et Robotique de l'université de Jaume I, à Castellón (Espagne) sous la forme du co-encadrement par S. Moisan et A. del Pobil de la thèse de M. Marcos sur le thème de la validation et de la vérification de systèmes à base de connaissances pour le pilotage de programmes.
- Nous coopérons également avec Arno Schönegge (Institut für Logik, Komplexität und Deduktionssysteme Fakultät für Informatik) et Dieter Fensel (Institute AIFB) de l'université de Karlsruhe sur le thème de la validation et de la vérification de systèmes à base de connaissances (M. Marcos et S. Moisan) .