! News: - Avis de Soutenance de Mr. Gurvan HERMANGE: "Modélisation mathématiques des néoplasmes myéloprolifératifs"
- Avis de Soutenance de Mme. Wassila OUERDANE: "From Preference Elicitation to Explaining Decisions : a Dialectical Perspective"

LogiMICS: Logic approach to Systems and Data Modeling and Analysis


The LogiMICS computer research team was formally created on 01/10/2012 from three "historic" teams from the MAS Laboratory: the Business Intelligence Research Chair, the InForSys and MASDOM teams. It consists of Mr. Aiguier, P. Ballarini, C. Hudelot, P. Le Gall, Laurent Cabaret, several research engineers, post-doctoral fellows and PhD students, for a total of a dozen people. The general theme of the LogiMICS cluster concerns the definition of computer methods and tools based on rigorous modelling of the targeted field based on formalisms such as logic, graphs, category theory or automatons.

Two main themes emerge:
- Data management, modeling and visualization,
- and the use of formal methods to model, analyze, test, verify, validate systems.

MTV² working group and access to LogiMICS