Past events

Security in the Presence of Quantum Adversaries: Extraction and Tamper Resilience

Speaker:
B. Naresh Goud (National University of Singapore)
Organiser:
Piyush Srivastava
Date:
Wednesday, 22 Jul 2026, 11:00 to 12:00
Venue:
A-201 (STCS Seminar Room)
Category:

Balancing Columns to Solve Combinatorial n-fold ILPs

Speaker:
Sushmita Gupta (The Institute of Mathematical Sciences)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 21 Jul 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

Formal Verification for the Real World

Speaker:
Arnav Mehta (Pramaana Labs & UC Berkeley)
Organiser:
Jatin Batra
Date:
Monday, 20 Jul 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

On the Existence of Fair and Stable Data Exchanges

Speaker:
Bhaskar Ray Chaudhury (University of Illinois Urbana-Champaign)
Organiser:
Kavitha Telikepalli
Date:
Friday, 17 Jul 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

Beyond Correlation: A Primer on Identification, Confounding, and Generalizing Causal Claims

Speaker:
Spandan Poddar (TIFR)
Organiser:
Soham Chatterjee
Date:
Friday, 17 Jul 2026, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)

Some randomness and algebraic structures in secure multi-party computation

Speaker:
Hari Krishnan P A
Organiser:
Vinod M. Prabhakaran
Date:
Friday, 17 Jul 2026, 11:00 to 12:00
Venue:
A-201 (STCS Seminar Room)
Category:

From Proof to Perception: How Ideas Travel

Speaker:
Uzma Shaikh (TIFR Mumbai)
Organiser:
Mrinal Kumar, Ramprasad Saptharishi, Raghuvansh Saxena
Date:
Wednesday, 15 Jul 2026, 16:00 to 17:00
Venue:
AG-69

Some Magical Cryptographic Primitives

Speaker:
Sruthi Sekar (IIT Bombay)
Organiser:
Mrinal Kumar, Ramprasad Saptharishi, Raghuvansh Saxena
Date:
Monday, 13 Jul 2026, 16:00 to 17:00
Venue:
AG-69

Hard CNF Instances for Ideal Proof Systems

Speaker:
Shubham Bhardwaj (TIFR)
Organiser:
Spandan Poddar
Date:
Friday, 10 Jul 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)

HCI: Going from Technology-Centeredness to Human-Centeredness in CS

Speaker:
Sruti S Ragavan (IIT Kanpur)
Organiser:
Mrinal Kumar, Ramprasad Saptharishi, Raghuvansh Saxena
Date:
Friday, 10 Jul 2026, 16:00 to 17:00
Venue:
AG-80