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