-
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 Glucose web page, but you can now use the Github tags to modify the version of Glucose you want (the distribution page has been updated to directly reference the different versions)
-
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 explanation and understanding of these tools. Everyone can see how these “generative” tools will revolutionise our daily lives.
-
Invitation to the Simons Institute (Berkeley)
(17 April 2023)
As part of the Simons Institute’s SAT Program (SAT Reunion Semester), I had the pleasure of being invited for a long stay in this famous research place about theoretical computer science and located in the heart of the Berkeley campus.
-
Lauch of the DIHNAMIC European Project
(20 March 2023)
The Dihnamic 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 brings together 13 partners. Its objective is to provide services to companies in “Nouvelle Aquitaine” for the development of a digitalised, resilient, resource-efficient industry that respects ethical principles.
-
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, organised by Digital Aquitaine and especially the Domex IA/Data Science (in which I am involved), with the support of R3IA, our regional scientific network on AI.
-
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. It was an opportunity for each department of the school (and for the computer science department that I lead) to recall how special the conditions of these students’ studies were, as this class was hit hard by the pandemic. As the pandemic faded away, the school’s auditorium was full, students and parents, friends, all dressed up.
-
Use-Case AI4Industry Awards
(20 January 2023)
AI4Industry was held from 16 to 20 January 2023 at a multitude of sites in New Aquitaine, with the support of the R3IA which I have been leading since January 2023. I had the pleasure of participating in two events during this week, which was full of A.I. activities and which mobilised a large number of A.I. players in New Aquitaine.
-
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 in the digital world (in the broadest sense). The topics discussed during these 90 minutes (which went by very quickly) went far beyond the issues of Trustworthy A.I.: ethical issues (represented by Jean-Gabriel Ganascia), data collection and storage (thanks to Marie Even, deputy general manager of CDiscount), but also longer-term reflections (thanks to Constance Bommelaer de Leusse, executive director of the McCourt Institute) and a broader view of the mechanisms of our digital world (with the journalist Guillaume Pitron).
-
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 web server, on the morning of 17 November.
-
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 still beeing set up with a CIFRE mechanism).
-
Meeting Day of the French Regional Network R3IA
(19 October 2022)
Since 2021, the members of the regional AI research network have been initiating numerous actions around Artificial Intelligence (e.g. AI4Industry, Dataquitaine or even IA Pau)
-
Dagstuhl Seminar on SAT
(12 October 2022)
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!
-
Very short interview in Sud-Ouest
(06 October 2022)
On the occasion of NAIA.R, the Neo-Aquitaine Forum on AI and Robotics, the regional newspaper “Sud-Ouest” wrote a few pages on the subject. With Olivier Ly, we answered some questions about the problems and hopes that recent advances in AI may raise, while trying to show that the balance was clearly tipped in the positive direction. It was a rather interesting discussion, in which it is always difficult to take a clear position.
-
Participation to the Confiance.AI days
(05 October 2022)
I am participating to the Confiance.ai days in Supelec, Paris-Saclay University. These days are a very efficient way of checking the progresses in trustworthy ai. The amount of money deployed to this topic of research is really impressive and some nice results are already there, guided by problems proposed by the industry.
-
Fun with unplugged C.S.
(30 September 2022)
My Engineering School (ENSEIRB-MATMECA) celebrated its 100 years. We installed a fun room with unplugged computer science exercices that are fundamental in C.S. We also set up two stable-diffusion prompts for the public to play with. We had fun.
-
Launch of the Chair on Trustworthy AI
(27 September 2022)
We officially launched the chair on Trustworthy AI. This is a large project starting in september 2022, thanks to the help of the Fondation Bordeaux Université. You can find the official web page (in french) of the chair here.
-
Summer School in Optimization and Decision
(06 September 2022)
I co-organized, with François Clautiaux (working in Operation Research), a summer school about Optimization and Decision. I had the pleasure to introduce Constraints and PyCSP3 (by C. Lecoutre) to the students. That was a lot of fun (we solved so many puzzles!)
-
Launching a new web site
(21 August 2022)
I am rebooting my web site. My “official” lab website hadn’t evolved much in the last few years. Technically, it was still based on PHP/MySQL, which doesn’t really fit the static aspect of the site now (only publishing pages). What’s the point of regenerating the same pages over and over again? By using Jekyll technology, I only produce static pages that the server just has to provide. No more possibilities of being hacked and above all, no more need for me to update the code each time the lab changes the version of PHP.
-
SAT Competition 2022
(15 August 2022)
The SAT competition 2022 is over and it clearly celebrates the tremedeous work of Armin Biere with the excellent C SAT Solver Kissat. With Gilles, we submitted the new version of Glucose, glucose 5.0 that obtained very good results at this competition (but no medals). We are not in the top solvers but the last version of glucose is only our first step to reboot our solver.
-
Participation to STAFF 22 in Nantes
(05 July 2022)
In early July, I went to Nantes to participate to the STAFF/TAP conference. It was in France and I wanted to see Software Verification in practice and the impact of propositional logic / SAT solvers in this field of research (coffee breaks were the place to ask questions!).
-
SAT Workshop at the Simons Institute, Berkeley
(14 June 2022)
I attended the reunion at the Simons Institute, which followed the virtual semester last year. The meeting was in Berkeley (fun to discover SF!). I presented an unpublished work on restarts with many questions and so few answers, as you can read on my main slide for my presentation.