2005, май-июнь, грант международной программы "Разработка дискретных процессов и систем с помощью операционных моделей и математической логики", Технический Университет Дрездена, Германия (PhD student of the Postgraduate Programme "Specification of Discrete Processes and Systems of Processes by Operational Models and Logics", Department of Computer Science, Dresden University of Technology)