20/07/2020: Josef Schicho elected editor-in-chief of the Journal of Symbolic Computation