The Second Indian SAT+SMT School, organized by Supratik Chakraborty, Ashutosh Gupta, and Subodh Sharma, December 6-8, 2017.
Vision, Language, and AI, organized by Pushmeet Kohli, C.V. Jawahar, and Vinay P. Namboodiri December, 2016.
Recent Trends in Algorithms and Complexity, organized by Deeparnab Chakrabarty, Sourav Chakraborty, and Neeraj Kayal, August 14-17, 2016.
Trends and Challenges in Quantitative Verfication, organized by S. Akshay, Joost-Pieter Katoen, B. Srivathsan, and Igor Walukiewicz, February 1-4, 2016. (Workshop report.)
Distributed Computing For Machine Learning and Optimization, organized by Chih-Jen Lin, Dhruv Mahajan and Vikas Sindhwani, December 18-20, 2013.
Recent Trends in Algorithms and Complexity, organized by Amit Deshpande, Prahladh Harsha and Saket Saurabh, August 15-18, 2013.
Understanding Big Data Analytics, organized by Gautam Shroff, B. Ravindran, Kamal Karlapalem and Lokendra Shastri, February 15-17, 2013.
Recent Trends in Algorithms and Complexity, organized by Amit Deshpande, Prahladh Harsha and Saket Saurabh, August 10-12, 2012. (Workshop report.)
Machine Learning, organized by Inderjit S. Dhillon, Prateek Jain and Lek-Heng Lim, August 1-5, 2012.
The Future of Debugging, organized by Satish Chandra, Komondoor V Raghavan, Abhik Roychoudhury and Saurabh Sinha, February 28-March 2, 2012. (Workshop report. )
Computer Vision, organized by Andrew Zisserman, Manik Varma, P. J. Narayanan and Sharat Chandran, December 20-23, 2011.
Recent Trends in Algorithms and Complexity, organized by Amit Deshpande, Prahladh Harsha and Saket Saurabh, May 5-9, 2011.
The Chemistry of Concurrent and Distributed Programming, organized by Madhavan Mukund, Madan Musuvathi and G Ramalingam, February 16-19, 2011.
Recent Advances in Algorithms and Complexity, organized by Kavitha Telikapalli, October 21-24, 2010.
Building and Programming the Cloud, organized by Ram Ramjee and Sriram Rajamani, January 13-16, 2010.