Past events

Verification of Concurrent Programs under Release Acquire

Speaker:
Krishna S. (Indian Institute of Technology, Bombay)
Organiser:
Shibashis Guha
Date:
Tuesday, 5 Mar 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

Proofs from X

Speaker:
Organiser:
Varun Ramanathan
Date:
Friday, 1 Mar 2024, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)

Towards Robust and Reliable Machine Learning: Adversaries and Fundamental Limits

Speaker:
Arjun Bhagoji (University of Chicago)
Organiser:
Jatin Batra
Date:
Thursday, 29 Feb 2024, 11:30 to 12:30
Venue:
A-201 (STCS Seminar Room)
Category:

Bidding Games on Graphs : in Theory and in Practice

Speaker:
Dr. Suman Sadhukhan (University of Haifa)
Organiser:
Shibashis Guha
Date:
Tuesday, 27 Feb 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

Exponential Separation Between Powers of Regular and General Resolution Over Parities

Speaker:
Sreejata Kishor Bhattacharya (TIFR)
Organiser:
Varun Ramanathan
Date:
Friday, 23 Feb 2024, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)

The complexity of solving simple stochastic games

Speaker:
Pranshu Gaba (TIFR)
Organiser:
Varun Ramanathan
Date:
Friday, 16 Feb 2024, 17:30 to 18:30
Venue:
A-201 (STCS Seminar Room)

Outlier Oblivious Robust Online Optimization

Speaker:
Dr. Adarsh Barik (National University of Singapore (NUS))
Organiser:
Mrinal Kumar
Date:
Thursday, 15 Feb 2024, 11:15 to 12:15
Venue:
A-201 (STCS Seminar Room)
Category:

Competing Bandits in Non-Stationary Matching Markets

Speaker:
Prof. Avishek Ghosh (Indian Institute of Technology, Bombay (IITB))
Organiser:
Abhishek Sinha
Date:
Tuesday, 13 Feb 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

New Lower Bounds for Set-Multilinear Branching Programs

Speaker:
Mr. Deepanshu Kush (University of Toronto)
Organiser:
Mrinal Kumar
Date:
Monday, 12 Feb 2024, 11:30 to 12:30
Venue:
A-201 (STCS Seminar Room)
Category:

Wyner's common Information

Speaker:
Malhar Ajit Managoli (TIFR)
Organiser:
Varun Ramanathan
Date:
Friday, 9 Feb 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)