Collaborations between Sergey Voronkov and Velta Line