School of Technology and Computer Science

Events: STCS Seminar

Sketching and Streaming Complexity of Constraint Satisfaction Problems
Speaker:
Madhu Sudan (Harvard John A. Paulson School of Engineering and Applied Sciences)
Organiser:
Jaikumar Radhakrishnan
Date:
Friday, 8 Apr 2022, 10:00 to 11:00
Venue:
A-201 (STCS Seminar Room)
Category:
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