Flat View
See by year
Monthly View
See by month
Weekly View
See by week
Daily View
See Today
See by categories
Workshop on Program Analysis
From Monday, 17 September 2012
To Thursday, 20 September 2012

The Computer Science and Automation Department, IISc, will host a 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. Some of the confirmed speakers at the workshop 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)
* K V Raghavan (IISc, Bangalore)
* Jan Reineke (University of Saarland, Saarbreucken)
* Andrey Rybalchenko (Technical University of Munich)
* Helmut Seidl (Technical University of Munich)
* Nishant Sinha (IBM Research, Bangalore)
* R Venkatesh (TRDDC, Pune)
* Andreas Zeller (University of Saarland, Saarbreucken)

Students and researchers from academia and industry interested in participating in the workshop may apply on the application page at the workshop website

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, limited accommodation on campus and support for travel (by train) is available to academic participants within India.

Location : IISc Bangalore
Contact : Y.N. Srikant ( This e-mail address is being protected from spambots. You need JavaScript enabled to view it ) and Deepak D'Souza ( This e-mail address is being protected from spambots. You need JavaScript enabled to view it )


JEvents v1.5.4   Copyright © 2006-2010


No events


  • The deadline for applying for student exchange is March 30, 2015. Students enrolled in a Ph.D. programme at any Indian…
Copyright © 2018 Joomla! demo site. All Rights Reserved.
Joomla! is Free Software released under the GNU/GPL License.