Recent talks
-
Here are some of the talks I have given recently (since December 2010).
-- Seminar at Indian Institute of Science, Bangalore, India - October 2012.
-- Verification Seminar at University of Oxford, United Kingdom - September 2012.
-- Talk at Logic in Computer Science (LICS 2012), Conference in Dubrovnik, Croatia - June 2012.
-- Talk at FORMATS 2012, Conference in Imperial College London, United Kingdom - September 2012.
-- Talk at ICTAC 2012, Conference in International Institute of Information Technology, Bangalore, India - September 2012.
-- Seminar at the Laboratoire d’Informatique Fondamentale (LIF), Marseille, France - February 2012
-- Tutorial at Ecole Normale Superieure de Cachan - Antenne de Bretagne, Ker Lann, France. - January 2012
-- 68NQRT Seminar at IRISA, Rennes, France - December 2011
-- Seminar at University of Saarland, Saarbrucken, Germany - September 2011
-- Seminar at Indian Institute of Technology-Bombay (IIT-B), India - August 2011.
-- Seminar at Institute of Science and Technology (IST), Austria - June 2011
-- ACTS III Workshop at Chennai Mathematical Institute (CMI), Chennai, India - January 2011.
-- Seminar at University of Saarland, Saarbrucken, Germany - September 2011.
-- Seminar at Indian Institute of Technology-Bombay (IIT-B), India - August 2011.
-- Talk at FSTTCS 2010, Conference in Chennai, India - December 2010.