Google Award pour SAT

1 Septembre 2024

Nouvelles les plus récentes

(Liste de toutes les brèves)

Après Midi IA-ACT de la Chaire IA Digne de Confiance

(6 Octobre 2025)

Le 13 Octobre : après-midi de présentation et d'échanges sur l'IA Act ! **Écouter, questionner et comprendre l'IA-Act** - Un après-midi d'explications, d'éclairages théoriques et de retours d’expériences appliqués pour...


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...

J’ai eu le plaisir d’obtenir, fin août, un Google Award (de 50K€) pour poursuivre mes travaux (initiés il y a déjà quelques années, notemment au travers de l’ANR SATAS sur la parallélisation massive des solveurs SAT) sur les problématique de distribution de calcul pour la résolution de SAT. Il reste encore beaucoup à faire dans ce cadre, et je vais ouvrir des stages de recherche / des missions ingénieurs dans ce cadre.

(Dernière Modification: 1 Décembre 2024 )
(english version)
(liste de toutes les brèves)