Конференции

Год Конференция Роль Лого
2016 Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2016) Член ПК PSSV-2016
2016 Software Engineering Conference Russia 2016 (CEE-SECR 2016) Член ПК SECR2016
2016 Software Engineering & Information Management 2016 (SEIM-2016) Сопредседатель ПК SEIM-2016
2016 The Second International Conference on Fundamentals and Advances in Software Systems Integration (FASSI 2016 ) Член ПК FASSI-2015 banner
2016 2nd International Conference on Applications in Information Technology (ICAIT-2016) Член ПК ICAIT-2016 banner
2015 The First International Conference on Fundamentals and Advances in Software Systems Integration (FASSI 2015 ) Член ПК FASSI-2015 banner
2015 Инструменты и методы анализа программ (TMPA-2015) Сопредседатель ПК TMPA-2015 banner 2015
2015 Software Engineering Conference Russia 2015 (CEE-SECR 2015) Член ПК SECR2015
2015 International Workshop on Applications in Information Technology (IWAIT-2015) Член ПК IWAIT-2015 banner
2015 Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2015) Член ПК PSSV-2015
2014 Инструменты и методы анализа программ (TMPA-2014) Сопредседатель ПК TMPA-2014 banner 2014
2014 Software Engineering Conference Russia 2014 (CEE-SECR 2014) Член ПК SECR2014
2014 Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2014) Член ПК PSSV-2014
2014 2nd International Workshop "Fun With Formal Methods" (FWFM 2014) Член ПК FWFM 2014
2013 Application Developer Days (ADD-4) Член ПК ADD-4
2013 Software Engineering Conference Russia 2013 (CEE-SECR 2013) Член ПК SECR2013
2013 Инструменты и методы анализа программ (TMPA-2013) Сопредседатель ПК TMPA-2013
2013 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE-2013) Член ПК ESEC/FSE-2013
2013 Doctoral Symposium of CSE/FSE-2013 Член ПК DS-FSE13
2013 International Workshop on Verification of Embedded Systems 2013 (VES 2013) Член ПК
2013 Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2013) Член ПК PSSV-2013
2013 International Workshop "Fun With Formal Methods" (FWFM 2013) Член ПК FWFM 2013
2012 Summer School on Concurrency (RSS2012) Член ПК
2012 Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012) Член ПК PSSV-2012
2012 Software Engineering Conference Russia 2012 (CEE-SECR 2012) Член ПК SECR2012
2012 Application Developer Days (ADD-3) Член ПК ADD-3
2012 Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011) Член ПК PSSV-2011
2011 Software Engineering Conference Russia 2011 (CEE-SECR 2011) Член ПК SECR2011
2011 Summer School in Software Engineering and Verification 2011 (SSSEV 2011) Член ПК SSSEV2001
2010 CSEDays.Application 2010. Слайды и видео со школы доступны здесь Член ПК CSEDAYS