L. Kovacs: "Symbol Elimination and Interpolation for Software Verification"; Keynote Lecture: Intel Haifa, Haifa, Israel (invited); 2010-12-17 - 2010-12-23.