Most recent news
Maxime Fuccellaro's PhD Thesis
(25 November 2024)
Accompanying a student to the achievement of a Phd is always an adventure. With Maxime Fuccellaro, whom I co-supervised with Akka Zemmari, it was an opportunity to discover a new...
Feedback on the LLM Afternoon by the Trustworthy AI Chair
(20 November 2024)
Last Wednesday, November 20th, as part of the activities of the Trustworthy AI Chair, we offered two hours covering the main themes related to LLMs, at [ENSEIRB-MATMECA](http://www.enseirb-matmeca.fr). You can find...
Jury at HackRobot Hackathon
(17 November 2024)
A Sunday afternoon watching robots and innovations everywhere? I had the pleasure of being invited to be a jury member at the [Hack1Robo](https://sites.google.com/view/hack1robo/accueil) organized by INRIA Bordeaux South West. From...
Alexis Juven's PhD Thesis
(12 November 2024)
One of the ways to realize how AI permeates all areas of society is to measure the extent of its applications. I was happy to be the reviewer of Alexis...
Knowledge Dissemination Award at the Foundation Gala
(07 November 2024)
For more than two years now, with the Trustworthy AI Chair, I have been invited to give talks about the definition of artificial intelligence, what we expect from it, and...
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)
Official repository https://github.com/audemard/glucose/
Of course, Glucose is still distributed via its multiple participations in various SAT competitions.
(Last Modified date: 06 July 2023)