School of Technology and Computer Science

Past events

Fusing AI and Formal Methods for Automated Synthesis
Speaker:
Priyanka Golia (IIT, Delhi)
Organiser:
Shibashis Guha
Date:
Tuesday, 10 Sep 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Fast Algorithms and Data Structures for Regression
Speaker:
Deeksha Adil (Institute for Theoretical Studies in ETH Zurich)
Organiser:
Jatin Batra
Date:
Monday, 9 Sep 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Space-width trade-offs for Resolution
Speaker:
Sreejata Kishor Bhattacharya (TIFR)
Organiser:
Varun Ramanathan
Date:
Friday, 6 Sep 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Student Seminar

An introduction to fairness in reinforcement learning.
Speaker:
Vishakha Patil (Indian Institute of Science, Bangalore)
Organiser:
Umang Bhaskar
Date:
Thursday, 5 Sep 2024, 14:00 to 15:00
Venue:
A-238
Category:
STCS Seminar

Presburger Arithmetic : Quantifier Elimination and Some Applications
Speaker:
Khushraj Madnani (Max Planck Institute for Software Systems, Germany)
Organiser:
Shibashis Guha
Date:
Thursday, 5 Sep 2024, 11:30 to 12:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Markov Decision Processes as Distribution Transformers: Certified Policy Verification and Synthesis
Speaker:
S. Akshay (Indian Institute of Technology, Bombay)
Organiser:
Shibashis Guha
Date:
Tuesday, 3 Sep 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Performativity in Reinforcement Learning
Speaker:
Debmalya Mandal (University of Warwick)
Organiser:
Umang Bhaskar
Date:
Tuesday, 3 Sep 2024, 10:00 to 11:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Public Quantum Network: The First Node
Speaker:
Keshav Kapoor (University of Illinois Urbana-Champaign)
Organiser:
Raghuvansh Saxena
Date:
Monday, 2 Sep 2024, 10:00 to 11:00
Venue:
H.B.A. Foyer
Category:
STCS Seminar

Adversarial Multi-Armed Bandit and the EXP3 Algorithm.
Speaker:
Vishakha Patil (Indian Institute of Science, Bangalore)
Organiser:
Yeshwant Chandrakant Pandit
Date:
Friday, 30 Aug 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Student Seminar

An introduction to fairness in reinforcement learning.
Speaker:
Vishakha Patil (Indian Institute of Science, Bangalore)
Organiser:
Umang Bhaskar
Date:
Thursday, 29 Aug 2024, 14:00 to 15:00
Venue:
A-238
Category:
STCS Seminar