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

The Computer Science and Automation Department, IISc, will host an IMPECS-sponsored workshop on Program Analysis, during September 17-20, 2012. The purpose of the workshop is to bring together researchers and students from Germany and India who are actively working in the area of Program Analysis and its applications. The topics of the workshop include applications of program analysis such as in verification, model checking, worst case execution time estimation, debugging, and parallelization.

Students and researchers from academia and industry interested in participating in the workshop may apply on the application page. The deadline for receiving applications is 10th August 2012. Accepted applications will be notified soon after this deadline.

There are no fees for attending the workshop. In addition, a limited accommodation and support for travel (by train) is available to academic participants within India.

Organizers: Y.N. Srikant (srikant@csa.iisc.ernet.in) and Deepak D'Souza (deepakd@csa.iisc.ernet.in), Department of Computer Science and Automation, IISc.

Sponsors: Indo - Max Planck Centre for Computer Science (IMPECS), IIT Delhi.