Presentations

• Verification of Message Sequence Charts,
  Survey talk, Formal Methods Update Meeting '05,
  IIT Bombay, 18-20 Jul 2005.

• Infinite graphs with decidable MSO theories,
  Survey talk, Update meeting on Automata and Verification,
  IMSc, Chennai, 29 Feb-2 Mar 2004.

• Two lectures on Functional Programming in Haskell,
  Madras Christian College, December 2003.
  • Part 1 : Basics
  • Part 2 : Abstract dataypes and ``infinite'' structures

• Temporal Logics over Mazurkiewicz Traces: A Quick Tour,
  Workshop on Complexity, Databases and Finite Model Theory,
  Arcachon, France, May 2002.