Most recent news
AI Training at Aérocampus
(04 July 2025)
The Aérocampus of Nouvelle Aquitaine is a training center for aeronautical technicians. It's a unique campus where industry plays a major role. Here, airplanes (including a Rafale) and helicopters of...
2025 Agrégation Jury
(23 June 2025)
Since 2022, France has finally established an external computer science agrégation. I remember my own computer science classes in middle school (on PCs with 5"1/4 floppy disks and MO5/TO7 machines)....
Does AI Still Belong to Digital Science ?
(03 June 2025)
I had the pleasure of opening the AI Day in Nouvelle Aquitaine, organized by AI in Nouvelle Aquitaine. For this occasion, I allowed myself to venture into areas close to...
2025 Graduation Ceremony
(15 March 2025)
Last Saturday was, as every year, the graduation ceremony for the students of ENSEIRB-MATMECA, where I am still the head of the Computer Science department for a few more months....
Weekly Eco Interview on TV7
(20 February 2025)
Last Wednesday, I had the opportunity to answer questions from Stéphanie Lacazze, from Sud Ouest, as part of [Hebdo Éco](https://www.sudouest.fr/lachainetv7/economie/l-hebdo-eco/) on TV7. It’s a local TV channel belonging to the...
I had the pleasure to participate to another Dagstuhl Seminar on Theory and Practice of SAT and Combinatorial Solving this week.
Dagstuhl is a remote castle in Germany, a computer research centre, which organises 5-days research seminars. These are always busy weeks of research and intense discussions! We are particularly cherished (every day, cake at 4pm) but these weeks are essential for the long-term functioning of research (as are the long evenings after the meal served at 6pm). It is always an opportunity to maintain links with colleagues/friends, and to focus 100% on what you can do to improve your research, discover new areas, and imagine new solutions for yours. It’s a unique moment every time. INRIA is one of the main contributors to the Dagtuhl centre. It is important to maintain such centres!

This year the seminar focused on more theoretical problems than usual and the week was particularly rich in presentations on applications/problems related to SAT solvers (e.g. Proof Logging/Searcg, QBF Solving, Constraint Programming, Satisfiability Modulo Theory, Mixed Integer Programming, First Order Solvers, Automated Planning). There were very few (if any) presentations on how to design efficient solvers in practice and what progress has been made in recent years in terms of performance. But what a week!
Just for fun, some of my previous participations in Dagstuhl (find Charly)
2019

2017

2015

2014

2009

(Last Modified date: 15 October 2022)