• Automata, Logic and Games
• Formal Methods

• Association for Logic in India (ALI)
• European Association for Theoretical Computer Science (EATCS)
• Indian Society for Technical Education (ISTE)

• CMC13 Budapest, Hungary, August 28-31, 2012. (PC Member)
• ICDCIT 2012 Bhubaneswar, India, February 2-4, 2012. (PC Member)
• MeCBIC 2011 Paris, France, August 23-24, 2011. (PC Member)
• Formal Methods Update Meeting 2011 VIT, Vellore, July 12-14, 2011. (Speaker)
• Workshop on Modelling and Verification (WMV'11), BARC, April 20-21, 2011. (Speaker)
• ICDCIT 2011Bhubaneshwar, India, February 9-12, 2011. (Invited Speaker)
• WMC10 Curta De Arges, Romania, August 24-27, 2009. (PC Member)
• Third Indian Conference on Logic and its Applications, The Institute of Mathematical Sciences, Chennai, Jan 7-11, 2009 (Organizing committee member)
• Second Indian Winter School on Logic, IIT Kanpur, Jan 2008. (PC Member)
• Second Indian Conference on Logic and its relationship with other disciplines IIT Bombay, Jan 9-11, 2007. (PC Member)
• First Indian Winter School on Logic IIT Bombay, Jan 3-18, 2006. (Co-Convener)
• IRISS 2006 IIT Madras, Jan 19-21, 2006. (Co-ordinator)
• WMC7 Leiden, July 17-21, 2006. (PC Member)

Home |  Research |  Publications |  Courses |