Alexander Bolotov's recent activities on conferences

organisation/programme committees


·        International Advisory Committee, International Conference on Information Communication and Embedded Systems, ICICES-2012, S.A. Engineering College, Chennai, February 2012

·        3d Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012 ) affiliated with 7th International Computer Science Symposium in Russia (CSR-2012), July 1-2, 2012 in Nizhni Novgorod, Russia 

·        2d Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 20121) affiliated with 7th International Computer Science Symposium in Russia (CSR-2011), Russia  

·        2011 President of the International Conference on Information Communication and Embedded Systems, ICICES-2011, S.A. Engineering College, Chennai, 23-24 February 2011

·        Programme Committee of the 5th Indian International Conference on Artificial Intelligence (IICAI), December 2011.

·        I am chairing the UK Automated Reasoning Workshop (ARW) since April 2009 and organised ARW-2010 at the University of Westminster.

·        Local Chair for Mobilware 2011, June 22-24, 2011 - London, UK.

·        Organiser of the Automated Reasoning for Security, Software Integration and Reliability Workshop (ARSSIR) in conjunction with SSIRI 2011 the 5th IEEE International Conference on Secure Software Integration and Reliability Improvement, Korea, June, 2011.

·        Member of the organising committee of MVV-2010, 2d Workshop on Model-Based Verification & Validation From Research to Practice, in conjunction with SSIRI 2010

     4th IEEE International Conference on Secure Software Integration and Reliability Improvement, Singapore, June, 2010.