LogiMICS

LOGIMICS: approche Logique pour la Modélisation et l’Analyse des Systèmes et des données

Le pôle de recherche en informatique LogiMICS a été formellement créé au 01/10/2012 à partir de trois équipes « historiques » du laboratoire MAS : la chaire de recherche en Business intelligence, les équipes InForSys et MASDOM. Il est constitué de M. Aiguier, P. Ballarini, C. Hudelot, P. Le Gall, Laurent Cabaret, de plusieurs ingénieurs de recherche, post-doctorants et doctorants, pour un total d’une douzaine de personnes. Le théme général du pôle LogiMICS concerne la définition de méthodes et d’outils informatiques fondés sur une modélisation rigoureuse du domaine ciblé à base de formalismes tels que la logique, les graphes, la théorie des catégories ou les automates. Deux thématiques principales se dégagent :
– la gestion, modélisation et visualisation des données,
– et l’emploi des méthodes formelles pour modéliser, analyser, tester, vérifier, valider les systèmes.

Groupe de travail MTV² et accès à LogiMICS

 

 

 

Les commentaires sont clos.