J. Knoop:
"Symbolic Program Analysis in Optimizing and Verifying Compilation: Opportunities, Perspectives, Challenges";
Keynote Lecture: 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2004), Timisoara, Romania (invited); 2004-09-26 - 2004-09-30.