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