School of Technology and Computer Science

Events: STCS Seminar

Late Interaction: What, When and Why
Speaker:
Sabyasachi Basu (Microsoft Research, Bangalore)
Organiser:
Umang Bhaskar
Date:
Friday, 25 Sep 2026, 11:30 to 12:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Designing formally proven Hardware: A rocq+clash based approach.
Speaker:
Piyush Kurur (IIT Palakkad)
Organiser:
Shibashis Guha
Date:
Tuesday, 15 Sep 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Matching in general graphs is in catalytic logspace
Speaker:
Amit Kumar Sinhababu (Chennai Mathematical Institute)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 8 Sep 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Exponential Lower Bounds for the Pfaffian Number of Graphs
Speaker:
Ranveer Singh (IIT Indore)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 1 Sep 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Shortest Paths with Linear Edge Weights
Speaker:
Suryajith Chillara (IIIT Hyderabad)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 25 Aug 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar