L. Kovacs: "First Order Interpolation"; Keynote Lecture: SAT/SMT/AR Summer School 2019, Lisbon, Portugal (invited); 2019-07-03 - 2019-07-06.