Je donnerai un exposé invité à
SIROCCO 2022
à propos de certification locale et de model checking.
Notre article What can be
certified compactly?, avec Nicolas Bousquet et Théo Pierron sera
présenté à PODC 2022. Merci aux
reviewers pour leurs travail.
Notre article
Error-sensitive
proof-labeling schemes avec Pierre Fraigniaud parait à
JPDC.
(Version conférence à DISC 2017.) Merci aux reviewers pour leurs
travail.
Je fais partie des comités de programme de
DISC 2022 et
d'Algotel 2022.
Je co-organise la seconde édition du workshop
Distributed algorithms on Realistic Network Models (DARe), satelite de
PODC 2022. (Vous pouvez
consultez la page web de la première édition ici.)
Une occasion de plus d'entendre parler de notre
papier sur le problème des
secrétaires :
Tim le présentera au
workshop MAPSP en juin !
Pour des nouvelles plus anciennes, voir
cette page.