Nouvelles les plus récentes
Formation à l'I.A. à l'Aérocampus
(4
Juillet
2025)
L'aérocampus de Nouvelle Aquitaine est un centre de formation pour les techniciens de l'aéronautique. C'est un campus à part, où l'industrie y est prépondérante. On y monte et démonte des...
Jury d'agrégation 2025
(23
Juin
2025)
Depuis 2022, la France s'est enfin dotée d'une agrégation externe d'informatique. Je me souviens (au collège) de mes cours d'informatique (sur des PC équipés de disques souples 5"1/4 et des...
L'IA relève t elle encore du numérique ?
(3
Juin
2025)
J'ai eu le plaisir d'ouvrir la journée IA en Nouvelle Aquitaine, organisée par l'IA en Nouvelle Aquitaine. Pour cela, je me suis laissé aller sur des terrains parfois proche de...
Remise des diplômes 2025
(15
Mars
2025)
Samedi dernier, c'était, comme tous les ans, la remise des dipômes des élèves de l'ENSEIRB-MATMECA, dont je suis encore le directeur du département informatique pour quelques mois. C'était donc ma...
Entretien Hebdo Eco à TV7
(20
Février
2025)
Mercredi dernier, j'ai pu répondre aux questions de Stéphanie Lacazze, de Sud Ouest, dans le cadre de l'[hebdo éco](https://www.sudouest.fr/lachainetv7/economie/l-hebdo-eco/) de TV7. C'est une chaîne de TV locale du groupe Sud...
C’est toujours un plaisir de venir voir les collègues du CRIL à Lens. Aujourd’hui, c’était pour la soutenance de thèse Marie Micelli, pour laquelle j’ai été nommé président de jury.
Sa thèse se situe dans le cadre de la logique propositionnelle, un domaine de recherche fondamental et ultra-concurentiel.
Son manuscrit part de la recherche de soft cores dans les formules logiques pour les étendre à la définition de Weighted Max#SAT
, ayant des applications possibles dans le cadre de l’explicabilité de décision en I.A.

C’est sincèrement un plaisir de voir de nouvelles thèses dans le domaine SAT, de croiser les doctorants aux JFPC tous les ans, puis de les voir soutenir avec succès ! Et c’est également toujours fascinant de voir comment les problèmes qui en sont issus ont toujours tellement d’implications dès lors que l’on est exigeant avec les outils I.A.
Merci encore pour l’invitation et bravo pour la présentation, un modèle du genre !
(Dernière Modification:
4
Novembre
2024
)