S. Kounev. Invited Talk (Kolloquiumsvortrag), University of Edinburgh, Laboratory for Foundations of Computer Science, School of Informatics, Edinburgh, UK, (May 2007)
S. Kounev. Invited Talk, Department of Software Engineering, Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic, (January 2008)