Past events

50 Years of the Krohn-Rhodes Theorem

Speaker:
Kamal Lodaya (Institute of Mathematical Sciences Department of Computer Science CIT Campus Chennai 600113)
Organiser:
Paritosh K Pandya
Date:
Wednesday, 12 Jun 2013, 11:00 to 12:00
Venue:
A-212 (STCS Seminar Room)
Category:

Lower Bound Techniques in Property Testing

Organiser:
Deepesh Data
Date:
Friday, 7 Jun 2013, 14:30 to 16:00
Venue:
A-212 (STCS Seminar Room)
Category:

Navigating the Deletion Channel

Speaker:
Ankur Kulkarni (Indian Institute of Technology Systems and Control Engineering Group Indian Institute of Technology Powai Mumbai 400076)
Organiser:
Vinod M. Prabhakaran
Date:
Thursday, 6 Jun 2013, 11:00 to 12:00
Venue:
AG-80
Category:

Persistence of Useful Memory: What do You See and What Can You Remember?

Speaker:
Shobo Bhattacharya (Department of Condensed Matter Physics and Materials Science Tata Institute of Fundamental Research Homi Bhabha Road Navy Nagar Mumbai 400005)
Date:
Friday, 24 May 2013, 16:00 to 17:00
Venue:
AG-66 (Lecture Theatre)
Category:

How Easy/Hard it is to Schedule in Networks?

Organiser:
Sagnik Mukhopadhyay
Date:
Friday, 24 May 2013, 14:30 to 16:00
Venue:
A-212 (STCS Seminar Room)
Category:

Correctness of Closed Nesting in Software Transactional Memory Systems

Speaker:
Sathya Peri (Indian Institute of Technology Department of Computer Science and Engineering Navin Government Polytechnic Campus Patliputra Colony Patna 800 013  )
Organiser:
Sagnik Mukhopadhyay
Date:
Wednesday, 22 May 2013, 16:00 to 17:00
Venue:
A-212 (STCS Seminar Room)
Category:

Synergistic Challenges in Data-Intensive Science and Exascale Computing

Speaker:
Vivek Sarkar (Rice University Department of Computer Science P.O. Box 1892 Houston, TX 77251 United States of America)
Organiser:
Paritosh K Pandya
Date:
Wednesday, 22 May 2013, 11:00 to 12:00
Venue:
A-212 (STCS Seminar Room)
Category:

Probabilistic Programming: A Program Analysis Perspective

Speaker:
Sriram Rajamani (Microsoft India (R&D) Pvt. Ltd. "Vigyan" #9, Lavelle Road Bangalore 560 001)
Organiser:
Paritosh K Pandya
Date:
Tuesday, 21 May 2013, 11:30 to 12:30
Venue:
A-212 (STCS Seminar Room)
Category:

Smart Electric Grids – the Vision, the Opportunities, the Challenges

Speaker:
Krithi Ramamritham (Indian Institute of Technology Department of Computer Science and Engineering Powai Mumbai 400076)
Date:
Friday, 17 May 2013, 16:00 to 17:00
Venue:
Main Lecture Theatre (AG-66)
Category:

Probabilistic Approximation of Metrics by Tree Metrics

Speaker:
Organiser:
Sagnik Mukhopadhyay
Date:
Friday, 17 May 2013, 14:30 to 16:00
Venue:
A-212 (STCS Seminar Room)
Category: