Awards and distinctions

The COLIBRI proof program solver won first prize in three categories of the nineteenth SMT-COMP international equation satisfiability competition at CAV2024, the Computer Aided Verification conference, in July 2024 in Montreal, Canada.
https://smt-comp.github.io/2024/results/qf_abvfplra-single-query/
https://smt-comp.github.io/2024/results/qf_fplra-single-query/

CEA-List came in first in the EvalLLM 2024 competition, organized by the French Ministerial Agency for AI and Defense (AMIAD). The challenge, held at the JEPTALN2024 conference in July 2024 in Toulouse, France, was on the few-shot extraction of information from texts written in French using limited training data.
https://www.linkedin.com/posts/amiad-minarm_jeptaln2024-toulouse-llm-activity-7224338219838943234-fYR5/?originalSubdomain=fr

PyRAT won second prize for AI proof-of-reliability tools at the fifth VNN-Comp international neural network verification competition at CAV2024, the Computer Aided Verification conference, in July 2024 in Montreal, Canada.
https://arxiv.org/pdf/2412.19985

Jean-Marc Bordy won the 2024 Prix LNE for his major scientific contribution to the field of ionizing radiation metrology and, especially, dose metrology.
https://www.lne.fr/fr/recherche-et-developpement/prix-lne-recherche/laureats-2024

The Best Demo Award at the 2024 APCCAS conference in Taiwan went to our NeuroCorgi circuit, and, specifically, a paper by Ivan Miro-Panades et al titled “A 772μJ/frame ImageNet Feature Extractor Accelerator on HD Images at 30FPS.”
https://www.linkedin.com/posts/cealist_iaembarqu%C3%A9e-neurocorgi-apccas-activity-7264940576322547712-c9Z8/

The SOFIA AI-enabled predictive maintenance solution (CEA-List, Socotec, and Sanef) won an award in the operations and maintenance category at Tech Show for Construction (organized by Le Moniteur and Les Cahiers techniques du bâtiment) in June 2024 in Paris, France.
https://www.cahiers-techniques-batiment.fr/article/palmares-tech-show-2024.71588

Social Dream won an Innovation Award in the Digital Health category for its DREAMSENS headset at CES 2024 in January 2024 in Las Vegas, Nevada, US. This virtual reality headset leverages CEA-List’s interactive simulation technologies, adapting to the wearer’s emotions for an immersive sensory experience.
https://www.ces.tech/ces-innovation-awards/2024/dreamsens/

CEA-List startup Snowpack won Startup of the Year at Forum Incyber Europe 2024 (formerly FIC) in March 2024 in Lille, France.
https://www.cea.fr/Pages/innovation-industrie/start-up/snowpack-anonymisation-securisation-donnees.aspx

Snowpack also won an Innovation Award at the 2024 Assises de la Cybersécurité in October 2024 in Monaco.
https://snowpack.eu/fr/quand-linvisible-devient-visible/

A Best Work-in-Progress (WIP) Award (honorable mention) went to E. Madoux and C. Hudin for their paper “Refreshable Braille display using wave focusing and bistable pins” at the EuroHaptics conference in July 2024 in Lille, France.

A Best Poster Award went to Marine Poret for her poster “Lab-around-fiber for detecting biological threats” at the 6th International Conference on CBRNE Research and Innovation in March 2024 in Strasbourg, France.

Hanane Slimani, PhD student, won a Best Student Paper Award for her paper “Detection, localization and characterization of fault in cable via machine learning approach based on compressed sensing time-domain reflectometry” at the IEEE Automatic Test Conference - AUTOTESTCON 2024 in August 2024 in National Harbor, Maryland, US. [DOI:10.1109/AUTOTESTCON47465.2024.10697515]
https://ieeexplore.ieee.org/author/625308984352659

PhD student Matilde Sosa Marti won a Best Paper Award for her paper “Point-by-point femtosecond fiber Bragg gratings behavior at high temperatures” at the Advanced Photonics Bragg Gratings, Photosensitivity and Poling in Optical Materials and Waveguides (BGPP) conference (AP/BGPP 2024) in July 2024 in Québec City, Québec, Canada. [DOI: 10.1364/BGPP.2024.BTu2A.3]

Vincent Fu, Lilia Zaourar, Alix Munier, and Marc Duranton won a Best Paper Prize for “Design Space Exploration of HPC Systems with Random Forest-based Bayesian Optimization” at the RAPIDO24 workshop at HiPEAC in Munich, Germany in 2024.
https://www.linkedin.com/posts/lilia-zaourar-koutchoukali_rapido24-munich-hipeac-activity-7155174425733058560-pvyW/

Hana Krichene and Rohit Prasad won Best Paper Hardware & Circuits for “A dataflow architecture with distributed control for DNN acceleration” at MECO’2024 & CPSIoT’2024 in June 2024 in Montenegro. [DOI : 10.1109/MECO62516.2024.10577802]
https://mecoconference.me/meco2024-cpsiot2024-conference-the-best-papers-awards/