School of Technology and Computer Science

Events: STCS Seminar

Black-Box Identity Testing of Noncommutative Rational Formulas in Deterministic Quasipolynomial Time
Speaker:
Abhranil Chatterjee (Indian Statistical Institute, Kolkata)
Organiser:
Ramprasad Saptharishi
Date:
Tuesday, 7 Nov 2023, 16:00 to 17:30
Venue:
via Zoom in A201
Category:
STCS Seminar

SGD from the Lens of Markov process: An Algorithmic Stability Perspective
Speaker:
Anant Raj (University of Illinois at Urbana-Champaign)
Organiser:
Jatin Batra
Date:
Wednesday, 1 Nov 2023, 20:30 to 22:00
Venue:
via Zoom in A201
Category:
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