24/06/2020: Distinguished Paper Award of ISSAC’2020 to Sebastian Falkensteiner