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