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

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:

Topology of Some Random Complexes

Speaker:
D. Yogeshwaran (Technion - Israel Institute of Technology Faculty of Electrical Engineering Haifa Israel 32000)
Organiser:
Rahul Vaze
Date:
Tuesday, 14 May 2013, 11:00 to 12:00
Venue:
A-212 (STCS Seminar Room)
Category: