School of Technology and Computer Science

Events: Seminar

Lower Bound Techniques in Property Testing
Speaker:
Sagnik Mukhopadhyay
Organiser:
Deepesh Data
Date:
Friday, 7 Jun 2013, 14:30 to 16:00
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

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:
Seminar

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:
Seminar

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:
Seminar

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:
Seminar