School of Technology and Computer Science

Past events

Model Checking for Real-time Systems using Generalized Timed Automata
Speaker:
Govind Rajanbabu (Uppsala University, Sweden)
Organiser:
Shibashis Guha
Date:
Tuesday, 18 Feb 2025, 16:00 to 17:00
Venue:
via Zoom in A201
Category:
STCS Seminar

The Canadian traveller problem
Speaker:
Pranshu Gaba (TIFR)
Organiser:
Soham Chatterjee
Date:
Friday, 14 Feb 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Student Seminar

Group testing: A survey
Speaker:
Sidharth Jaggi (University of Bristol)
Organiser:
Vinod M. Prabhakaran
Date:
Tuesday, 11 Feb 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Resolving Nondeterminism with Randomness
Speaker:
K. S. Thejaswini (Institute of Science and Technology Austria (ISTA))
Organiser:
Shibashis Guha
Date:
Friday, 7 Feb 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Bipartite Perfect Matching is in Quasi-NC
Speaker:
Soham Chatterjee (TIFR)
Organiser:
Varun Ramanathan
Date:
Friday, 31 Jan 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Student Seminar

Spread regularity and applications
Speaker:
Shachar Lovett (University of California, San Diego)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 28 Jan 2025, 09:30 to 10:30
Venue:
via Zoom in A201
Category:
STCS Seminar

Roman {3}-Domination on Chain Graphs and Cographs
Speaker:
Juhi Chaudhary (TIFR)
Organiser:
Soumyajit Pyne
Date:
Friday, 24 Jan 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Student Seminar

Polynomial Calculus sizes over the Boolean and Fourier basis are incomparable
Speaker:
Sasank Mouli (IIT Indore)
Organiser:
Shibashis Guha
Date:
Tuesday, 21 Jan 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

A simpler proof of the Chernoff bound
Speaker:
Ashutosh Shankar (TIFR)
Organiser:
Varun Ramanathan
Date:
Friday, 17 Jan 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Student Seminar

Constant-Factor EFX Exists for Chores
Speaker:
Jugal Garg (Univ. of Illinois at Urbana-Champaign)
Organiser:
Kavitha Telikepalli, Raghuvansh Saxena
Date:
Tuesday, 14 Jan 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar