Upcoming events

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

Category:

STCS Vigyan Vidushi 2026

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:

Synopsis Seminar

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:

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

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