S. Kounev. Keynote Talk, 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA @ ETAPS 2012), Tallinn, Estonia, (March 2012)
S. Kounev. Keynote Talk at the 24th International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASMTA 2017), Newcastle-upon-Tyne, UK, July 10-12, 2017, (July 2017)
S. Kounev. Invited Talk (Kolloquiumsvortrag), University of Edinburgh, Laboratory for Foundations of Computer Science, School of Informatics, Edinburgh, UK, (May 2007)