School of Technology and Computer Science

Events: STCS Seminar

Context-Bounded Verification of Multithreaded Shared Memory Programs
Speaker:
Ramanathan Thinniyam (Max Planck Institute for Software Systems)
Organiser:
Shibashis Guha
Date:
Tuesday, 5 Apr 2022, 16:00 to 17:00
Venue:
Via Zoom
Category:
STCS Seminar

Spectral Methods in Modern Graph Algorithms
Speaker:
Akash Kumar (EPFL, Lausanne, CH)
Organiser:
Umang Bhaskar
Date:
Tuesday, 8 Mar 2022, 16:00 to 17:00
Venue:
Via Zoom
Category:
STCS Seminar

Extension Preservation in the Finite and Prefix Classes of First Order Logic
Speaker:
Abhisekh Sankaran (University of Cambridge)
Organiser:
Shibashis Guha
Date:
Tuesday, 22 Feb 2022, 16:00 to 17:00
Venue:
Via Zoom
Category:
STCS Seminar

Designing Service Menus for Bipartite Queueing Systems
Speaker:
Varun Gupta (University of Chicago)
Organiser:
Sandeep K Juneja
Date:
Tuesday, 18 Jan 2022, 18:30 to 19:30
Venue:
Via Zoom
Category:
STCS Seminar

Online Bipartite Matching and Adwords
Speaker:
Vijay V. Vazirani (University of California, Irvine)
Organiser:
Jaikumar Radhakrishnan
Date:
Tuesday, 7 Dec 2021, 16:00 to 17:00
Venue:
in person @ R.No. AG-69 and also via Zoom
Category:
STCS Seminar