Events: STCS Seminar

Catalytic Computing: A Primer

Speaker:
Ian Mertz (Charles University)
Organiser:
Raghuvansh Saxena
Date:
Friday, 28 Nov 2025, 11:30 to 12:30
Venue:
A-201 (STCS Seminar Room)
Category:

Almost Tight Additive Guarantees for k-Edge-Connectivity

Speaker:
Nikhil Kumar (TIFR)
Organiser:
Raghuvansh Saxena
Date:
Wednesday, 26 Nov 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

Boolean Observation Games

Speaker:
Sunil Simon (IIT Kanpur)
Organiser:
Shibashis Guha
Date:
Tuesday, 25 Nov 2025, 10:00 to 11:00
Venue:
A-201 (STCS Seminar Room)
Category:

Analytic Insights into the Zig-Zag Product and Its Friends

Speaker:
Gil Cohen (Tel Aviv University)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 18 Nov 2025, 14:30 to 15:30
Venue:
via Zoom in A201
Category:

Inductive Functional Proofs for Trustworthy Autonomy

Speaker:
Vishnu Murali (University of Colorado, Boulder)
Organiser:
Shibashis Guha
Date:
Tuesday, 11 Nov 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category: