Dagstuhl Seminar on SAT

12 October 2022

Most recent news

(list of all news)

Glucose is (finally) on Github

(17 May 2023)

Glucose is finally (also) distributed on Github. The idea is simply to allow official forks from Glucose versions. We used to distribute it only via the archives and the [official...


Interview in the Regional Newspaper "Sud-Ouest" about Trustworthy AI

(03 May 2023)

A.I. has been the subject of many, many press articles in recent months. The exposure of tools such as chatGPT4 to the general public accelerates even more the need for...


Invitation to the Simons Institute (Berkeley)

(17 April 2023)

As part of the Simons Institute's SAT Program ([SAT Reunion Semester](https://simons.berkeley.edu/programs/extended-reunion-satisfiability)), I had the pleasure of being invited for a long stay in this famous research place about theoretical computer...


Lauch of the DIHNAMIC European Project

(20 March 2023)

The [Dihnamic](https://www.dihnamic.eu/) project has just been launched very officially. It is a large-scale European and regional project in which I act as a member of the advisory board. The project...


Dataquitaine 2023

(02 March 2023)

The sixth "Dataquitaine" (a regional scientific event organized in Nouvelle-Aquitaine) days were held on Thursday 2 March 2023 at [Kedge Business School](https://kedge.edu/l-ecole/les-campus/bordeaux), organised by [Digital Aquitaine](https://www.digital-aquitaine.com/) and especially the [Domex...

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)

2019

Official Dagtuhl Picture (2019)

2017

Official Dagtuhl Picture (2017)

2015

Official Dagtuhl Picture (2015)

2014

Official Dagtuhl Picture (2014)

2009

Official Dagtuhl Picture (2009)

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