Séjour au Simons Institute (Berkeley)

17 Avril 2023

Nouvelles les plus récentes

(Liste de toutes les brèves)

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

Dans le cadre du programme d’invitation du Simons Institute au sujet de SAT (SAT Reunion Semester), j’ai eu le plaisir d’être invité sur un séjour long dans ce lieu mythique autour de l’informatique théorique et situé au coeur du campus de Berkeley.

Les journées étaient rythmées par des discussions, des tableaux blancs à remplir, des présentations improvisées. Loin des tumultes des tâches administratives laissées à Bordeaux, c’était une véritable période de respiration scientifique. Beaucoup de jolies discussions (qui seraient trop longues à résumer ici) mais probablement un regret. Après des années à essayer de sensibiliser les collègues sur l’importance d’étudier expérimentalement les algorithmes de recherche (particulièrement SAT) qui existent actuellement, j’ai pu mesurer la force d’un certain conservatisme. C’est un sujet difficile à valoriser car extraordinairement complexe en pratique, dans lequel il ne s’agit pas de montrer que l’on bat un autre algorithme de quelques benchs. Malgré la bonne volonté d’une partie de la communauté, il reste quasi impossible de publier des articles traitant de ce sujet.

En deux mots, la quasi totalité des publications s’évertuent à montrer qu’en intégrant tel ou tel nouveau mécanisme, on améliore (parfois sur un sous ensemble de problèmes) les performances actuelles. c’est bien entendu très bien et nécessaire (nous avons même écris un guide pour que cet évaluation se fasse dans de bonnes conditions). Mais quasi aucune n’étudie pourquoi et comment cette modification agit. Cela questionne tout de même notre connaissance des mécanismes sous-jacents.

Mais je ne désespère pas convaincre.

The main room of the institute

La salle principale de l’institut dans laquelle tout le monde discute et converge (principalement à l’heure du thé).

A nice view from San Francisco on my way to the institute

Un petit détour le matin en venant de San Francisco, en chemin pour Berkeley. Jolies conditions de travail.

(Dernière Modification: 18 Mai 2023 )
(english version)
(liste de toutes les brèves)