Dagstuhl Seminar on SAT

12 October 2022

Most recent news

(list of all news)

Three Internships + PhD Opportunities in AI !

(09 November 2022)

Thanks to the "Trustworthy AI" chair that hast just been launched in september 2022, we have three internships opportunities available, **each of them with a secured PhD funding** (one if...

Graduation ceremony for our Enseirb-Matmeca engineers

(28 January 2023)

On Saturday 29 January 2023, we celebrated **the 2021's graduation ceremony** of [Enseirb-Matmeca](https://www.enseirb-matemca.fr). It was an opportunity for each department of the school (and for the computer science department that...

Use-Case AI4Industry Awards

(20 January 2023)

[AI4Industry](https://www.ai4industry.fr/) was held from 16 to 20 January 2023 at a multitude of sites in New Aquitaine, with the support of the [R3IA](https://www.r3ia.fr) which I have been leading since January...

Panel discussion on a trustworthy digital world at Unesco (Université de la terre)

(26 November 2022)

As part of the "Université de la terre" 2022, organised at Unesco, Paris, I was able to take part in panelist discussion, for general audience, on the problems of trust...

The LaBRI web site was unavailale for 4 days

(21 November 2022)

Due to some important construction work around the LaBRI building, a central electrical board exploded, leading to an emergency shutdown of all (yes, all) of the Lab's servers, including 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!

Official Dagtuhl Picture (2022)

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)


Official Dagtuhl Picture (2019)


Official Dagtuhl Picture (2017)


Official Dagtuhl Picture (2015)


Official Dagtuhl Picture (2014)


Official Dagtuhl Picture (2009)

(Last Modified date: 15 October 2022)
(list of all news)