A Lecture Series

We announce a series of lectures every Saturday at IIT(Madras) the aim of which is to invite the general computer science and mathematics students to the exciting world of theoretical computer science.

Typically while undergraduate curricula include some topics from mathematical foundations of computer science, they stand pretty much alone by themselves in students' minds, forming few connections with all the rest they study. More often than not, definitions are unmotivated and some recipes are learnt for solving specific problems. We suggest that exploring motivation for why we study certain topics as well as engagement with the tools and techniques will not only help make sense of it all, but also expose students to the exciting developments in this subject.

Though the material is based on undergraduate computer science our discussions frequently lead us to many unsolved problems as well. The lectures themselves are open to all, including teachers.

The topics covered in the lectures include Design and Analysis of Algorithms, Complexity of Combinatorial Problems, Theory of Computation and Program Correctness .

Please bookmark this page for easy reference. As the lectures progress, the information here will be updated regularly.

 

The Speakers

Remarks Corner

"If you find that you're spending almost all your time on theory, start turning some attention to practical things; it will improve your theories. If you find that you're spending almost all your time on practice, start turning some attention to theoretical matters; it will improve your practice."

- Knuth

The Next Lecture

Program Correctness

Kamal Lodaya on Saturday the 17th of April 2010 at 9-30 AM and 11 AM.

The Venue

Lecture Theatre 1 on the third floor of the IC and SR building at IIT Madras.

Past Lectures

Algorithms and Complexity

Venkatesh Raman on December 5 and 12, 2009, February 6 and 13, 2010, and March 6 and 13, 2010.

Introduction to Graph Algorithms

Saket Saurabh on the 6th and 13th of February 2010 at 11:00 AM, and March 6, 2010.

Program Correctness

Kamal Lodaya on 5th of December 2009, 2nd and 9th of January, 27th of March and 3rd and 10th of April, 2010.

Theory of Computation

R. Ramanujam on 19th and 26th of December 2009, and 16th, 23rd and 30th of January 2010. S. P. Suresh on 27th of March and 3rd and 10th of April, 2010.

Lecture Videos

The lectures are being videographed; online versions will be made available.