J. Knoop, L. Kovacs, J. Zwirchmayr:
"Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinaus";
Keynote Lecture: Festkolloquium zum 80. Geburtstag von Prof. Dr. Dr.h.c. Hans Langmaack, Christian-Albrechts-Universität zu Kiel, Deutschland (invited); 2014-05-09.