Séminaire sur SAT à Dagstuhl

12 Octobre 2022

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

J’ai eu le plaisir de participer à un nouveau séminaire Dagstuhl sur la Theory and Practice of SAT and Combinatorial Solving cette semaine. Dagstuhl, c’est un chateau reculé en Allemagne, centre de recherche en informatique, qui organise des séminaires de recherche de 5 jours. Ce sont toujours des semaines chargées en recherche et discussions intenses ! On y est particulièrement gâtés (tous les jours, gâteau à 16h) mais ce sont des semaines essentielles au fonctionnement à long terme de la recherche (tout comme le sont les longues soirées après le repas servi à 18h). C’est toujours l’occasion d’entretenir des liens avec des collègues / amis, et de se concentrer à 100% sur ce que l’on peut faire pour améliorer sa recherche, découvrir les axes en friches, imaginer de nouvelles solutions et constuire de nouvelles synergies. C’est à chaque fois un moment unique. L’INRIA est l’un des principaux contributeurs de centre de Dagtuhl. Il est important de maintenir de tels centres !

Photo officielle de Dagtuhl (2022)

Cette année, le séminaire s’est concentré sur des problèmes plus théoriques que d’habitude et la semaine a été particulèrement riche en présentations sur des applications/problèmes connexes aux solveurs SAT (par exemple, Proof Logging/Search, QBF Solving, Constraint Programming, Satisfiability Modulo Theory, Mixed Integer Programming, First Order Solvers, Automated Planning). Il n’y avait que très peu (ou pas du tout) de présentations sur la façon de concevoir des solveurs efficaces en pratique et sur les progrès réalisés ces dernières années en termes de performances (mais beaucoup de conversations en “off” sur ce thème bien entendu). Une superbe semaine qui recharge les batteries !

Juste pour le fun, jouez à “trouvez Charlie” dans les photos de mes participations passées à Dagstuhl

2019

Photo Offficielle de Dagstuhl (2019)

2017

Photo Offficielle de Dagstuhl (2017)

2015

Photo Offficielle de Dagstuhl (2015)

2014

Photo Offficielle de Dagstuhl (2014)

2009

Photo Offficielle de Dagstuhl (2009)

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