I was attending ACM India Launch at Taj Residency today.   ACM India was formally announced today though ACM India was active for over 3 years now.  The program started with a brief introduction by Dr. Anand Deshpande. Co-Chair, ACM India,
Prof Dame Wendy Hall, FRS. President, ACM  and Dr. John White CEO, ACM.  Dr. Rick Rashid, Sr. VP Microsoft Research presented various activities they do in the research area.  I must say that we all enjoyed the talk by Prof. Barabara Liskov about her work on CLU and Abstract Data Types.  She mentioned a number of papers that I liked particularly.  A few of them are:

There were a few more.  She also explained liskov substitution principle.  The next talk was by Dr. Raj Reddy.  I liked his knowledge navigator video very much.  After this, Sir Tony Hoare talked about the international verified software initiative.   Today’s programs were concluded with a panel discussion on lack of research initiatives in Indian education institutions. Various reasons and possible remedies were discussed. 

ACM Bangalore chapter is organizing compute-2010 tomorrow and day after.  I’m planning to attend the morning session where they talk about cloud computing.