School of Technology and Computer Science

Events: STCS Seminar

Truthful-in-Expectation Mechanisms for MMS Approximation
Speaker:
Moshe Babaioff (Hebrew University of Jerusalem)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 16 Jun 2026, 16:00 to 17:00
Venue:
via Zoom in A201
Category:
STCS Seminar

Set automata and limits of decidability of two-variable logic on data words
Speaker:
Rishal S P (Sarva Labs Inc.)
Organiser:
Shibashis Guha
Date:
Friday, 12 Jun 2026, 11:30 to 12:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Recovering planted r-colorable subgraphs
Speaker:
Anand Louis (Indian Institute of Science, Bengaluru)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 9 Jun 2026, 16:00 to 17:00
Venue:
A201
Category:
STCS Seminar

Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning
Speaker:
Anirban Majumdar (TIFR)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 2 Jun 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

FPT-Approximation via Random Walks
Speaker:
Tanmay Inamdar (IIT Jodhpur)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 26 May 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar