Report on PPDP/LOPSTR 2021Veltri, NiccoloACM SIGLOW News2022 / p. 23-24 https://doi.org/10.1145/3527540.3527544