L. Kovacs: "Interpolation in the Grey Area of Proofs"; Talk: Helmut Veith Memorial Workshop 2019, Turracher Höhe; 2019-03-17 - 2019-03-20.