School of Technology and Computer Science

Events: STCS Seminar

Quality Control on Random Graphs in Sublinear Time
Speaker:
Madhu Sudan (Harvard John A. Poulson School of Engineering and Applied Sciences)
Organiser:
Mrinal Kumar
Date:
Tuesday, 5 Aug 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Hardness of Computing Graph State Distance
Speaker:
Vatsal Jha (Purdue University)
Organiser:
Raghuvansh Saxena
Date:
Thursday, 31 Jul 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Dynamic optimality conjecture and related open problems
Speaker:
Manoj Gupta (IIT Gandhinagar)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 22 Jul 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Specification-Guided Reinforcement Learning
Speaker:
Suguman Bansal (Georgia Institute of Technology)
Organiser:
Shibashis Guha
Date:
Friday, 18 Jul 2025, 11:00 to 12:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

A Theory for Computing with SAT Solvers: What's the Power of a Satisfying Assignment?
Speaker:
Kuldeep Meel (Georgia Institute of Technology)
Organiser:
Shibashis Guha
Date:
Thursday, 17 Jul 2025, 11:00 to 12:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar