Postdoc Clement Allain received an award for his PhD thesis, Verification of Fine-Grained Concurrent OCaml 5 Algorithms using Separation Logic. Congratulations on the accessit (the runner-up prize) of the Prix de thèse du GdR SciLog for his PhD thesis.