L. Kovacs: "Symbol Elimination for Program Analysis"; Keynote Lecture: ETH Workshop on Software Correctness and Reliability, Zürich, Switzerland (invited); 2017-10-13 - 2017-10-14.