School of Technology and Computer Science

Events: STCS Seminar

Wegner's conjecture is false
Speaker:
Rajiv Raman (IIIT-Delhi)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 4 Aug 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Making Quantum Query Algorithms Robust to a Faulty Oracle
Speaker:
Manaswi Paraashar (IIT Hyderabad)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 28 Jul 2026, 16:00 to 17:00
Venue:
via Zoom in A201
Category:
STCS Seminar

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:
STCS Seminar

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:
STCS Seminar

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:
STCS Seminar