Lecture 1 - Inauguration - Meenakshi D'Souza, Hirendra Nath Ghosh
Lecture 2 - ACM: Goals, Priorities, Initiatives - Yannis Ioannidis
Lecture 3 - ACM India at a Glance - Venkatesh Raman
Lecture 4 - Fireside Chat with Robert Metcalfe - Robert Metcalfe, Pravin Bhagwat
Lecture 5 - Human Factors of Formal Methods - Shriram Krishnamurthi
Lecture 6 - ACM India Awards Ceremony 1 - Hemant Pande
Lecture 7 - ACM India Awards Ceremony 2 - Hemant Pande
Lecture 8 - Efficient Verification of Computation on Untrusted Platforms - Yael Kalai
Lecture 9 - The Story of 14Trees - Pravin Bhagwat
