School of Technology and Computer Science

Events: STCS Seminar

Statistically Near-Optimal Hypothesis Selection
Speaker:
Klim Efremenko (Ben-Gurion University of the Negev)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 31 Oct 2023, 16:00 to 17:30
Venue:
via Zoom in A201
Category:
STCS Seminar

Topology of Omics Data
Speaker:
Laxmi Parida (IBM, NYU Tandon)
Organiser:
N Raja
Date:
Friday, 20 Oct 2023, 16:00 to 17:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Harnessing Multiple BMC Engines Together for Efficient Formal Verification
Speaker:
Ansuman Banerjee (Indian Statistical Institute, Kolkata)
Organiser:
Shibashis Guha
Date:
Tuesday, 17 Oct 2023, 16:00 to 17:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Inspiring Trust in Outsourced Computations: From Verifiable Chip Fabrication to Secure Deep Learning in the Cloud
Speaker:
Siddharth Garg (NYU Tandon)
Organiser:
Prahladh Harsha
Date:
Friday, 13 Oct 2023, 11:00 to 12:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

A Polynomial time Algorithm for the Minimum Generating set Problem for Groups
Speaker:
Dhara Thakkar (IIT Gandhinagar)
Organiser:
Varun Ramanathan
Date:
Tuesday, 3 Oct 2023, 16:00 to 17:30
Venue:
via Zoom in A201
Category:
STCS Seminar