School of Technology and Computer Science

Past events

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

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:
Asset Colloquium

Probabilistic Approximation of Metrics by Tree Metrics
Speaker:
Nithin M. Varma
Organiser:
Sagnik Mukhopadhyay
Date:
Friday, 17 May 2013, 14:30 to 16:00
Venue:
A-212 (STCS Seminar Room)
Category:
Student Seminar

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

Automated Analysis of Probabilistic Infinite-state Systems
Speaker:
Dominik Wojtczak (University of Liverpool Department of Computer Science Ashton Building Ashton Street Liverpool, L69 3BX United Kingdom  )
Organiser:
Paritosh K Pandya
Date:
Friday, 10 May 2013, 14:30 to 15:30
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Ramanujan Graphs of All Degrees
Speaker:
Nikhil Srivastava (Microsoft Research, India #9, Lavelle Road Bangalore Karnataka 560025  )
Organiser:
Prahladh Harsha
Date:
Monday, 6 May 2013, 16:30 to 17:30
Venue:
AG-80
Category:
Seminar

Workshop on Applications of Game Theory
Date:
Friday, 3 May 2013 14:30 to Saturday, 4 May 2013 17:15
Venue:
AG-66 (Lecture Theatre)
Category:
Workshop

Boolean Monotonicity Testing via an Isoperimetry Result on the Directed Hypercube
Speaker:
Deeparnab Chakrabarty (Microsoft Research, India #9, Lavelle Road Bangalore, Karnataka 560025  )
Organiser:
Prahladh Harsha
Date:
Thursday, 2 May 2013, 15:30 to 16:30
Venue:
AG-80
Category:
Seminar