Compétition SAT 2022

15 Aout 2022

Nouvelles les plus récentes

(Liste de toutes les brèves)

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


Lancement du Diplôme d'Établissement en IA

(13 Février 2025)

Le diplôme d'établissement "Experts en I.A." vient de prendre corps, tout juste le lendemain du sommet de l'IA à Paris (un temps d'avance !). Cette formation a été proposée grâce...


Page sur la Convention IA

(9 Février 2025)

Après des mois de travaux préliminaires, nous lançons officiellement le recrutement d'étudiants pour la convention citoyenne étudiante qui aura lieu dans les locaux de Bordeaux Métropole le Week End du...


IA dans la Formation Initiale

(30 Janvier 2025)

L’IA et la formation : de l’université au monde professionnel Avec Juliette Mattioli, "Expert Fellow" en IA chez Thalès, nous avons eu le plaisir de présenter, en deux heures, les...


IA & Formations

(24 Janvier 2025)

Dans le cadre d'une série de rencontres et de conférences organisées par France Travail (avec plus de 400 visiteurs au total), dans les locaux de Bordeaux Métropole, j'ai eu le...

La compétition SAT 2022 vient de se terminer et… Encore une fois elle célèbre clairement le travail formidable d’Armin Biere avec l’excellent solveur SAT en C Kissat. Avec Gilles, nous avons soumis la nouvelle version de Glucose, glucose 5.0, qui a obtenu de très bons résultats lors de cette compétition (mais pas de médailles). Nous ne sommes pas parmi les meilleurs solveurs, mais la dernière version de glucose (nous l’espérons) n’est que notre premier pas pour relancer notre solveur (mais l’avance de Armin est redoutable).

(Dernière Modification: 6 Octobre 2024 )
(english version)
(liste de toutes les brèves)