School of Technology and Computer Science

Past events

Lightweight Formal Methods for LLVM Verification
Speaker:
Santosh Nagarakatte (Rutgers University Department of Computer Science New Brunswick United States of America)
Organiser:
Ashutosh Gupta
Date:
Friday, 5 Aug 2016, 15:00 to 16:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

The Bit-probe Complexity of Set Membership
Speaker:
Mohit Garg
Date:
Wednesday, 3 Aug 2016, 11:30 to 12:30
Venue:
AG-66 (Lecture Theatre)
Category:
PhD Thesis Seminar

Randomized Sabotage Complexity
Speaker:
Suhail Sherif
Organiser:
Varun Narayanan
Date:
Friday, 29 Jul 2016, 16:00 to 17:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Student Seminar

Weierstrass Polynomial Approximation Theorem for $C[0,1]$ via Weak Law of Large Numbers
Speaker:
Krishna Athreya (Iowa State University Department of Statistics 2438 Osborn Dr. Ames Iowa 50011-4040 United States of America)
Organiser:
Sandeep K Juneja
Date:
Monday, 25 Jul 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Progression-Free Sets in $Z_p^n$, and Applications
Speaker:
Aditya Potukuchi (Rutgers University Department of Computer Science United States of America)
Organiser:
Tulasi mohan Molli
Date:
Friday, 22 Jul 2016, 16:00 to 17:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Student Seminar

Subcubic Equivalences Between Matrix, Path and Triangle Problems
Speaker:
Anamay Tengse
Organiser:
Nikhil S Mande
Date:
Friday, 15 Jul 2016, 16:00 to 17:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Student Seminar

New Parallel Algorithm for Bipartite Matching
Speaker:
Tulasi mohan Molli
Organiser:
Nikhil S Mande
Date:
Friday, 8 Jul 2016, 16:00 to 17:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Student Seminar

Hoeffding's Inequality for Sums of Weakly Dependent andom Variables
Speaker:
Sarat Babu Moka
Organiser:
Nikhil S Mande
Date:
Friday, 24 Jun 2016, 16:00 to 17:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Student Seminar

ComputerVaadan: On Understanding and Making Indian Classical Music Using Computers
Speaker:
Paritosh K Pandya
Organiser:
Umang Bhaskar
Date:
Thursday, 23 Jun 2016, 14:30 to 15:30
Venue:
AG-80
Category:
VSRP Talk

The Quest for Optimal Solutions for the Art Gallery Problem: A Practical Iterative Algorithm
Speaker:
Pritam Bhattacharya (Indian Institute of Technology Department of Computer Science and Engineering Kharagpur 721302  )
Organiser:
Phani Raj Lolakapuri
Date:
Friday, 17 Jun 2016, 16:00 to 17:30
Venue:
AG-80
Category:
STCS Student Seminar