IMPECS Workshop on Program Analysis September 17-20, 2012 Department of Computer Science and Automation Indian Institute of Science, Bangalore

The confirmed speakers include:

• Supratik Chakraborty (IIT Bombay)
• Bernd Finkbeiner (University of Saarland, Saarbreucken)
• Aditya Kanade (IISc, Bangalore)
• Uday Khedker (IIT Bombay)
• Rupak Mazumdar (MPI-SWS, Kaiserslautern)
• K Narayan Kumar (Chennai Mathematical Institute)
• Aditya Nori (Microsoft Research, Bangalore)
• Ruzica Piskac (MPI-SWS, Kaiserslautern)
• Andreas Podelski (University of Freiburg, Freiburg)
• Jan Reineke (University of Saarland, Saarbreucken)
• Helmut Seidl (Technical University of Munich)
• Nishant Sinha (IBM Research, Bangalore)
• R Venkatesh (TRDDC, Pune)
• Satish Chandra (IBM Research)