-
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 on TV7. It’s a local TV channel belonging to the Sud Ouest group. It was a pleasure to see the depth of Ms. Lacazze’s questions and to engage in a discussion that flew by!
-
Launch of the Institutional Diploma in AI
(13 February 2025)
The institutional diploma “Experts in AI” has just been established, right after the AI summit in Paris (ahead of schedule!). This program was proposed thanks to the impetus of the Trustworthy AI Chair that I have the pleasure to lead, with the support of the Bordeaux University Foundation and all the chair’s sponsors. The school thus marks a new chapter in the education offered to professionals, granting them a diploma from ENSEIRB-MATMECA.
-
Page on the AI Convention
(09 February 2025)
After months of preliminary work, we are officially launching the recruitment of students for the student citizen convention that will take place at the Bordeaux Métropole premises on the weekend of April 4, 5, and 6, 2025.
-
AI in Initial Training
(30 January 2025)
AI and Training: From University to the Professional World
-
AI & Training
(24 January 2025)
As part of a series of meetings and conferences organized by France Travail (with more than 400 visitors in total), at the premises of Bordeaux Métropole, I had the pleasure, along with Jérôme Toscano, chief data officer of the Pichet Group, to present what AI is in the context of training (what it is, how to train for it, what impacts on training?). On his side, Jérôme Toscano was able to present concrete applications of AI within his company that have been implemented for a few years, such as tools that optimize and personalize repetitive tasks (for example, in the context of data analysis).
-
Bordeaux Métropole to Host the AI Convention
(23 January 2025)
It’s now official, the Student Citizen AI Convention, organized between the Philosophia Chair and the Trustworthy AI Chair (thanks to the Bordeaux University Foundation), finally has its venue.
-
Round Table Women in Tech
(05 December 2024)
At the initiative of Betclic, as part of their “Diversity Week”, I was able to participate in a round table (without a table) with Amélie Benoit (Women in Tech Bordeaux) and Benoit Merel (CTO Betclic), organized by Emmanuelle Le Guennec (Betclic) on the place of women in tech. Each of us was able to answer questions from Raphaëlle Orenbuch on the current state and the measures being implemented at their level. Amélie Benoit (a former student of ENSEIRB-MATMECA Informatique) gave a striking (and uncompromising) assessment of the place of women in tech by highlighting studies from her association “Women in Tech” on the various existing barriers.
-
ML/RL for Local Search SAT (Master 2 Internship)
(30 November 2024)
Start February 2025
-
Parallelization CSP / SAT (Master's Internship)
(30 November 2024)
Start February 2025
-
Mitigating Bias in LLMs (Master's Internship)
(30 November 2024)
Start Date: February 2025
-
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 field: model drift in machine learning. Driven by the issues developed in the Trustworthy AI chair, I found what makes research exciting, that is, a new field where the state of the art is still incomplete.
-
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. You can find here the post announcing the program and the day’s announcement (you will find the details of the speakers and the day’s program).
-
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 organized by INRIA Bordeaux South West.
-
Afternoon LLM of the Trustworthy AI Chair
(13 November 2024)
November 22: an afternoon of presentations and discussions on large language models!
-
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 Juven’s thesis (a former student of ENSEIRB-MATMECA) on, believe it or not, “Simulation-assisted machine learning for infrared measurement in a tokamak.”
-
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 its limitations. It is also for the chair and this idea of transparency that I created this blog, which notably lists the actions around this chair.
-
Google Award for SAT
(01 September 2024)
I had the pleasure of receiving, at the end of August, a Google Award (a Gift of €50K) to continue my work (initiated a few years ago, notably through the ANR SATAS on the massive parallelization of SAT solvers) on the issues of distributed computing for SAT solving. There is still much to be done in this area, and I will be opening research internships / engineering missions in this context.
-
Presentation at MAIA
(22 May 2024)
MAIA (Mastering Applications in Artificial Intelligence) is a project led by the A2U alliance, which brings together three French universities: Univ-Artois, ULCO, and UPJV. One of its objectives is to develop innovative research actions and solutions, while offering training in AI applications, with a focus on the explainability and societal acceptability of AI. MAIA aims to meet the growing need for AI skills in the fields of health, chemistry, and the environment, by offering training open to students and professionals from various backgrounds.
-
Interview in Digiteco 11 - TV
(02 April 2024)
It is (once again) with great pleasure that I accepted to discuss around the table of Placeco, in the premises of TV7, this time about the openness to open source of AI models and what we could expect from it. Is having access to the sources of generative AIs enough to trust them? Behind this vast subject (spoiler: the answer is no), there are often reassuring messages from the providers of these LLMs.
-
Graduation Ceremony 2024
(16 March 2024)
It was the graduation ceremony for the students of ENSEIRB-MATMECA and the students I have followed until graduation. This is my third graduation ceremony as a program director (I told them they were my favorites because I have followed them since their first year (but I tell every class they are my favorites)). A few months after the official juries, we meet with the students, their families, and their loved ones, all dressed up for this great moment… Followed by an evening where the second-year students show creativity and madness.
-
Acceptance of an article in Nature NPJ Systems Biology and Applications
(13 March 2024)
We are very pleased to announce the final acceptance (and publication) of an article in Nature npj Systems Biology and Applications on the thesis work of Maxime Mahout (I talk a bit more about his thesis and Maxime’s thesis defense here).
-
Interview for Planète Agro
(01 March 2024)
I had the pleasure of answering a few questions about Artificial Intelligence in the context of the agri-food industry, responding to the magazine “Planète Agro” (in French). It was a long discussion (almost an hour of exchanges) summarized (bravo Julien C.!) into a page in the magazine.
-
Start of the CESER of Nouvelle Aquitaine
(23 January 2024)
My term at CESER is really starting. The assembly has just elected its board. We elected Yves Jean, former president of the University of Poitiers, as president of the new Ceser. It was a series of long votes and a day of meetings with the renewed members.
-
Installation at the CESER of Nouvelle Aquitaine
(10 January 2024)
The CESER (Economic, Social and Environmental Council) is a regional chamber (the second, following the chamber of elected officials) that aims to enlighten, advise, and provide opinions on the decisions of the first chamber. It is a consultative assembly (without decision-making power) composed of representatives from civil society. It is a legal requirement for all regions to accompany their decisions with CESER opinions.
-
Phd defense of Anthony Blomme
(18 December 2023)
Just over 15 days after the Ph.D. defense of Marie Miceli, I am back at CRIL (Lens) for the Ph.D. defense of Anthony Blomme as the jury president.
-
Interview in Les Echos Judiciaires
(01 December 2023)
Les Echos Judiciaires is a regional newspaper that has existed since 1848 and is authorised by the prefect to publish regional legal notices. This makes it a newspaper that is widely read by decision-makers and business leaders.
-
PhD Defense of Marie Miceli
(30 November 2023)
It’s always a pleasure to visit colleagues at CRIL in Lens. Today, it was for the PhD defense of Marie Miceli, for which I was appointed jury president.
-
Maxime Mahout's Phd
(28 November 2023)
What a pleasure it was to attend (as a guest) Maxime Mahout’s thesis, entitled ‘Logic programming for the analysis of metabolic flows and applications to biology’, supervised by Sabine Pérès. It’s a thesis that I’ve been involved in since Maxime’s Master 1 course (yes!), through 5 years of discussions, covid visios, crazy ideas, moments of doubt and discoveries (for my part) of cellular mechanisms and frightening diseases. The idea is to counterbalance the incredible combinatorial complexity of the mechanisms of cells (and even consortia of cells) with the power of logical reasoning and constraints. Thanks to the specialisation of an ASP engine, maxime has been able to propose avenues of treatment for diseases that are still dramatic, by demonstrating unfailing perseverance.
-
Interview on AI in FR3 Region
(20 October 2023)
Last Friday, on FR3 Region, I had the pleasure of answering Elsa Arnould’s questions about the deployment of Artificial Intelligence and the societal transformations that will naturally follow. It was an opportunity to mention the scientific efforts around Trust, particularly within the framework of the Trustworthy AI Chair that I lead with the Bordeaux University Foundation.
-
Debate on "Will AI kill all artists?"
(12 October 2023)
With the proliferation of so-called ‘generative AI’, many questions are being asked about the replacement of artists by computer systems. This conference-debate, held on 12 October at the Utopia cinema, was an excellent opportunity to present the various issues, challenges, risks and opportunities presented by the multiplicity of generative tools in the artistic professions.
-
Afterwork of Creation of the Bordeaux AI-Cluster
(11 October 2023)
Since May 2023, I am leading the response of the Bordeaux site to the call for the creation of research and training centers in AI (France 2030 Call for IA-Cluster). This is a very ambitious project that goes beyond the usual frameworks of these centers, which are often relegated to research funding outlets. It is a project aimed at making a lasting and controlled impact on science, health, and education through the best of AI. Our goal is to clearly identify the progress we aim for in order to guide innovation in this direction.
-
Afterwork on AI with AIDEM
(05 October 2023)
Engineering schools have a very rich associative life, and it is with the association AIDEM, made up of former students of ENSEIRB-MATMECA, that I was able to participate on October 5th, at the Museum of Contemporary Arts in Bordeaux. I had the opportunity to exchange with former students about the definition of Artificial Intelligence, its societal challenges, and the opportunities it offers.
-
Vernissage of the Assassin's Creed exhibition by Ubi Soft in Bordeaux
(03 October 2023)
Due to the privileged relationship that LaBRI has with Ubi Soft studio in Bordeaux, and the Kiwi project (now a discontinued project) in which I was able to supervise a Post-Doc on the automatic generation of interesting game levels (ensuring certain properties on the generated levels), in connection with constraint programming, I had the pleasure of attending the vernissage of the temporary exhibition of Assassin’s Creed in Bordeaux.
-
Round Table "Ethics & Regulation AI"
(28 September 2023)
During the Horizon Forum (Bordeaux VideoGames Forum), I had the pleasure of participating in a round table discussion on the topic of Ethics & Regulation AI. These subjects are increasingly presented in relation to Trust issues (which says a lot about the progress we need to make in explaining their functioning, as this is typically not something we ask of other technologies).
-
PhD Defense of Chunxiao Li (Waterloo)
(26 September 2023)
I had the opportunity to act as an external examiner for Chunxiao Li’s PhD thesis, conducted at the University of Waterloo. His thesis, supervised by Vijay Ganesh, is titled “Understanding and Improving SAT Solvers via Proof Complexity and Reinforcement Learning”. A thesis close to my research interests!
-
Fake trial of AI at Placeco
(07 September 2023)
Every year, Placeco kicks off with a grand event that takes place at the Bordeaux Convention Center. This year, they decided to focus on AI and imagine a very realistic case of the societal impact of AI in companies. An employee is actually fired due to the use of AI tools that make their position obsolete. Placeco then envisions a fake trial, with lawyers from both sides, expert testimonies, and a final vote from the assembly to determine if the employee should be reinstated.
-
Panel on AI at the Nouvelles Confluences even in Agen (France)
(27 August 2023)
To ensure a smooth transition after the holidays, what could be more interesting than participating in a panel discussion on AI in a caring and citizen-oriented context, behind a few bales of hay. I had the great pleasure of discovering the Nouvelles Confluences day organized by Lot et Garonne (press information in Sud Ouest).
-
PhD Defense of Baptiste Coye
(10 July 2023)
Baptiste Coye is a former student of Enseirb Matmeca. It was with great pleasure that I attended the defense of his thesis, which focused on improving task scheduling in the context of high-performance computing for video games, conducted in an industrial context (in collaboration with Ubisoft, on the company’s flagship games (called “AAA games”)) and under the supervision of Denis Barhou.
-
Robocup 2023 in Bordeaux, the trophy stays home
(09 July 2023)
For several years now, under the leadership of Olivier Ly, the Bordeaux humanoid-size soccer team has been world champion. Developed at the IUT of Bordeaux, the University of Bordeaux, and the fablab of Bordeaux INP, the robots have shown increasing agility and “intelligence” over the years.
-
Talk at NAIA.R 2023 alongside Robocup
(07 July 2023)
The NAIA.R event is the public AI and Robotics event in Nouvelle Aquitaine since 2021. Organized alongside Robocup 2023 this year (I talk about it here), over two days alternating conferences and workshops, I had the pleasure, with Antoine Lamarche, to present how the need for trust was strong when it came to Artificial Intelligence. This need is also one of the drivers of digital technology in Nouvelle Aquitaine with the upcoming “reconfiguration” of Digital Aquitaine.
-
Interview in La Tribune (Sud-Ouest Edition)
(07 July 2023)
Ahead of the (Robocup 2023)[https://2023.robocup.org/en] (which will take place in Bordeaux from July 4th to 10th), I had the pleasure of answering questions from Maxime Giraudeau, a journalist at La Tribune (Sud-Ouest edition), regarding the hopes and limitations surrounding AI. The interview mainly focused on the scientific and societal issues related to the Trustworthy AI Chair that I hold with the support of the Bordeaux University Foundation. We discussed various aspects of AI and its potential uses.
-
Meeting of R3IA and R3Mob on the sidelines of Robocup 2023
(06 July 2023)
For the past few months, I have been leading the R3IA (Regional Research Network in AI) of the Nouvelle Aquitaine Region. We proposed to the network to organize a meeting and exchanges between R3IA and R3MOB (the R3 about mobility). Indeed, many questions (and proposed solutions) on mobilities involve adding AI to decision-making. It was an opportunity to discuss, question, and listen.
-
French Conference on Constraint Programming
(05 July 2023)
These were the Journées Francophones de Programmation par Contraintes organized this year with the PFIA in Strasbourg. You can find all the accepted papers in the PDF of the JFPC proceedings. This year, Élise Vareilles was responsible for the program committee. A lot of review work, as every year. The quality of the reviews is always an example of kindness, deep understanding, and wise advice: one of the hallmarks of these days, in addition to allowing young researchers in the constraints community to meet their seniors.
-
Talk on AI at Medef (Gironde)
(27 June 2023)
The activities around the Trustworthy AI Chair are numerous and, in addition to research and teaching initiatives, one of its goals is also to present and demystify the fears and (often unreasonable) expectations of the general public and entrepreneurs about AI.
-
Tallk at E-Py by IA Pau
(27 June 2023)
IA Pau (E-Py 2023) is a regional event that brings together the entire community (research, education, outreach) around Pau thanks to the IA-Pau association, which has been very dynamic in recent years. The event took place over several days, with student challenges and meetings with the general public.
-
Official Launch of the Trustworthy AI Chair
(26 June 2023)
After several years of work, including the initial research topics, sponsorship arrangements, meetings with future sponsors, the foundation’s gala, and numerous interventions on this subject, the Trustworthy AI Chair was finally launched on June 26, 2023.
-
Interview in La République des Pyrénées
(26 June 2023)
On the sidelines of the e-py days (pronounced “hippies”?), I had the pleasure of answering Nicolas Rébières’ questions from La République des Pyrénées, about what we mean by “Trustworthy AI”. The discussions were truly enriching, and the report published in La République des Pyrénées must have been a real challenge for Nicolas R. We discussed the risks of malicious use of AI as well as societal risks. It was one of the few (long) interviews where we even mentioned the fantasy of the tool turning against its creator! It was a fascinating discussion and, I hope, a small step towards calming (some) minds and trying to see the tremendous opportunities behind the new world we are building. It is up to us to make the right choices to use this tool in the direction of progress we want to achieve.
-
Talk at Saint-Gobain
(23 June 2023)
Saint-Gobain is a major player in the construction industry. I was invited to their offices in Mérignac to present the latest advancements in AI, with the aim of enlightening the company’s decision-makers on their roadmaps.
-
Intervention at CDiscount
(01 June 2023)
Cdiscount is strongly established in Bordeaux. I was invited to their premises in Bordeaux to speak and host a webinar, with a few people present (and many on the other side of the camera), on AI, its limits, its hopes. This is a presentation that I am starting to circulate through my activities in the Trustworthy AI Chair.
-
French Tech Bordeaux Evening
(25 May 2023)
I had the great pleasure to meet the ecosystem of start-ups and other companies of the “French Tech” as part of the development of a large-scale AI project in Nouvelle-Aquitaine (more info on that soon!) and my AI research activities.
-
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.
-
Getting Started with the CAP-IA Project
(01 April 2023)
The CAP-IA project, led by François Clautiaux (IMB) and the University of Bordeaux, accepted last November, is finally launched. It is an ambitious project that I am leading in connection with Bordeaux INP. The goal is to significantly increase the number of students trained in AI in the coming years, at all levels, but particularly at the Master’s and PhD levels. Thanks to this project, the university will open a Master’s program entirely dedicated to AI (contact Akka Zemmari for this). In this exciting project, I am responsible for the work package on the development of Excellence Tracks in AI at the Master’s and Doctoral levels. A significant amount of work ahead, which resonates with the launch of the AI Master’s program at the University of Bordeaux (it was about time!).
-
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.
-
TV Interview by Digiteco on Generative AI
(07 March 2023)
Thank you Alexandre Laurent for the show and the excellent debate around generative AI in the new TV7 filming studios.
-
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.
-
Talk at Syrpin
(03 February 2023)
On the occasion of the general assembly of SYRPIN, the Regional Union of IT and Digital Professionals, I had the pleasure of speaking again to present the latest progress (and limitations, I always insist on this) of LLMs for decision-makers, trying to highlight strong combinatorial problems that these systems do not really improve.
-
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).
-
Participation of the "Trustworthy AI" Chair at the Foundation Gala
(22 November 2022)
Among the numerous projects supported by Bordeaux University Foundation, the “Trustworthy AI” Chair, which I have the pleasure of leading, was invited to represent this theme at the foundation’s annual gala, along with the mobility chair and the cyber resilience chair, both led by ENSEIRB-MATMECA.
-
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!).
-
Article on AI at LaBRI in ActuIA
(29 June 2022)
I had the pleasure of writing, in the magazine ActuIA, the presentation (necessarily incomplete) of the work on Artificial Intelligence at LaBRI (the Bordeaux Research Laboratory in Computer Science).
-
Francophone Constraint Programming Days
(28 June 2022)
These were the Francophone Constraint Programming Days organized in Saint-Etienne, for the first time in collaboration with the Francophone Platform of Artificial Intelligence. The program committee chair was Nicolas Prcovic (thank you for all the work!). The program is available on the official PFIA website and you can find all the accepted papers in the JFPC proceedings PDF.
-
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.
```