School of Technology and Computer Science

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

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