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

Data Structures

Venkatesh Raman on Saturday the 13th of March 2010 at 9:30 AM and 11:00 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, 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 and 2nd and 9th of January 2010.

Theory of Computation

R. Ramanujam on 19th and 26th of December 2009, and 16th, 23rd and 30th of January 2010.

Lecture Videos

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