Past events

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:

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:

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:

Is it associative?

Speaker:
Shanthanu Suresh Rai (TIFR)
Organiser:
Varun Ramanathan
Date:
Friday, 6 Oct 2023, 15:45 to 17:15
Venue:
A-201 (STCS Seminar Room)

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:

Construction of explicit lossless bipartite expanders

Speaker:
Sreejata Kishor Bhattacharya (TIFR)
Organiser:
Varun Ramanathan
Date:
Friday, 29 Sep 2023, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

Conditional Disclosure of Secrets via Non-Linear Reconstruction

Speaker:
Ratnakar Medepalli (TIFR)
Organiser:
Varun Ramanathan
Date:
Friday, 22 Sep 2023, 16:00 to 17:00
Venue:
A201

Quantum Pseudoentanglement

Speaker:
Soumik Ghosh (University of Chicago)
Organiser:
Jaikumar Radhakrishnan
Date:
Wednesday, 20 Sep 2023, 10:00 to 11:00
Venue:
A201
Category:

A Parameterized View on P-matchings

Speaker:
Juhi Chaudhary (Ben-Gurion University of the Negev, Israel)
Organiser:
Umang Bhaskar
Date:
Tuesday, 12 Sep 2023, 16:00 to 17:00
Venue:
via Zoom in A201
Category:

Courcelle's theorem

Speaker:
Pranshu Gaba
Organiser:
Varun Ramanathan
Date:
Friday, 8 Sep 2023, 16:00 to 17:00
Venue:
A-201