Events: 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:

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:

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:

Near-Optimal Private Learning with Correlated Noise Mechanisms

Speaker:
Krishna Pillutla (IIT Madras)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 15 Jul 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

Mixing Times for Countable State Markov Chains: A case study of the Erlang-C queue

Speaker:
Siva Theja Maguluri (Georgia Institute of Technology)
Organiser:
Piyush Srivastava
Date:
Monday, 14 Jul 2025, 11:00 to 12:00
Venue:
A-201 (STCS Seminar Room)
Category: