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. Invited Talk, Jahrestreffen des Beirates der Universitätsprofessoren in der Gesselschaft für Informatik (GIBU), Schloss Dagstuhl, (April 2011)