Participation to STAFF 22 in Nantes

05 July 2022

Most recent news

(list of all news)

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](https://www.sudouest.fr/lachainetv7/economie/l-hebdo-eco/) on TV7. It’s a local TV channel belonging to the...


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...


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...


AI in Initial Training

(30 January 2025)

AI and Training: From University to the Professional World With Juliette MATTIOLI, Expert Fellow in AI at Thalès, we had the pleasure of presenting, in two hours, the challenges of...


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,...

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!).

Once again, I pretty much liked the work of Daniela Kaufmann and Armin Biere (slides here] about fuzzing for verification tools. If fuzzing was already nice with random circuits in SAT solvers (see for instance the tool “fuzzsat” of Armin Biere), this approach allows to build structured problems for fuzzing. Fun. This fuzzing techniques may be also an amazing tool for performance assessments.

(Last Modified date: 19 October 2022)
This page was translated using AI tools (Deepl, GPT, ...)
(list of all news)