Golden Jubilee Thematic Lectures in Theoretical Computer Science

In celebration of IMSc's 50th year, the theoretical computer science group is planning to have thematic lectures aimed at college teachers and students, one Saturday every month.

The topic for July is 'Automata in the real world' and is scheduled for July 21, 2012 at Alladi Ramakrishnan Hall, IMSc.

Automata theory is a standard undergraduate subject in computer science, coming under Theory of Computation as well as Discrete Mathematics. It has wide applications, and some of these will be surveyed in these lectures.

Detailed schedule below. All are welcome.

Time Title Speaker
10:00 - 11:00
An introduction to verification
  abstract
K. Narayan Kumar, Chennai Mathematical Institute, Chennai
11:00 - 11:30 Tea/Coffee Break
11:30 - 12:30
Timed Automata
  abstract
Madhavan Mukund, Chennai Mathematical Institute, Chennai
12:30 - 13:30 Lunch
13:30 - 14:30
Analyzing Heap Manipulating Programs
 abstract
Supratik Chakraborty, IIT Bombay
14:30 - 15:00 Tea/Coffee Break
15:00 - 16:00
Automata for XML
  abstract
R. Ramanujam, IMSc Chennai

Those interested in the subject may want to check out the schedule of The update meeting on formal methods to be held at Chennai Mathematical Institute during 19-20 July.

Earlier thematic Lectures
The first of these was on Saturday, March 17th on the theme Aha! Divide and Conquer.
The second of these was on Saturday, April 21st on the theme Randomization in Computer Science.
The third of these was on Saturday, May 19th on the theme Graphs: Explorations and Algorithms.
The fourth of these was on Saturday, June 23rd on the theme Concurrency in the Multicore Age.

The next event is being planned as an event in celebration of the hundredth birth year of Alan Turing and it is scheduled for Saturday August 25th (Note the recent change in the date) . Stay tuned for further details.