Talks

M. Praveen

(With Kamal Lodaya) Petri nets with small paths property, In Workshop on Automata, Concurrency and Timed Systems, January 2009 at Chennai Mathematical Institute, India.

(With Kamal Lodaya) A tutorial on the proof of decidability of the Petri net reachability problem, In Formal Methods Update Meeting, July 2009 at IIT Roorkee, India.

Logic, Courcelle's theorem and Applications, In IMPECS school on Parameterized and Exact Computation, December 2010 at IMSc, India.