Ivan Varzinczak, winner of the universal logic prize at UNILOG'2018