School of Technology and Computer Science

Events: STCS Seminar

Towards Verifying AI Systems: Testing of Samplers
Speaker:
Kuldeep S. Meel (Computer Science Department School of Computing National University of Singapore Singapore)
Organiser:
Umang Bhaskar
Date:
Thursday, 20 Jun 2019, 11:00 to 12:00
Venue:
A-201 Seminar Room
Category:
STCS Seminar

New Algorithmic Guarantees for Searching in Large Datasets
Speaker:
Samuel McCauley (Bar-Ilan University Tel Aviv District, Israel.)
Organiser:
Umang Bhaskar
Date:
Monday, 20 May 2019, 14:00 to 15:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Independence Results in Propositional Proof Complexity
Speaker:
Rahul Santhanam (University of Oxford)
Organiser:
Arkadev Chattopadhyay
Date:
Thursday, 11 Apr 2019, 16:30 to 17:30
Venue:
A-201 Seminar Room
Category:
STCS Seminar

k-means clustering, stability and outliers
Speaker:
Amit Deshpande (Microsoft Research India Bangalore)
Organiser:
Prahladh Harsha
Date:
Tuesday, 19 Mar 2019, 11:30 to 12:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Two unsolved problems: Birkhoff-von Neumann graphs and PM-compact graphs
Speaker:
Nishad Kothari (The University of Campinas SP, Brazil)
Organiser:
Umang Bhaskar
Date:
Tuesday, 19 Feb 2019, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar