S. Kounev. Invited Talk (Kolloquiumsvortrag), Faculty of Computer Science, Electrical Engineering and Information Technology, University of Stuttgart, Stuttgart, Germany, (июля 2012)
S. Kounev. Keynote Talk, 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA @ ETAPS 2012), Tallinn, Estonia, (марта 2012)
S. Kounev. Invited Talk, Jahrestreffen des Beirates der Universitätsprofessoren in der Gesselschaft für Informatik (GIBU), Schloss Dagstuhl, (апреля 2011)