School of Technology and Computer Science

Events: STCS Seminar

A Theory for Computing with SAT Solvers: What's the Power of a Satisfying Assignment?
Speaker:
Kuldeep Meel (Georgia Tech)
Organiser:
Umang Bhaskar
Date:
Wednesday, 16 Apr 2025, 10:00 to 11:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Geometry in Optimization: To Choose or Not to Choose
Speaker:
Sujoy Bhore (IIT Bombay)
Organiser:
Shibashis Guha
Date:
Tuesday, 15 Apr 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Greybox Learning of Languages Recognizable by Event-Recording Automata
Speaker:
Anirban Majumdar
Organiser:
Shibashis Guha
Date:
Tuesday, 1 Apr 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Incompressible Encryption - Advanced Functionalities, Stronger Security and Lower Bounds
Speaker:
Venkata Koppula (IIT Delhi)
Organiser:
Mrinal Kumar
Date:
Tuesday, 25 Mar 2025, 11:30 to 12:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Semi-Bandit Learning for Monotone Stochastic Optimization
Speaker:
Arpit Agarwal (IIT Bombay)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 18 Mar 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar