Events: STCS Seminar

Power-laws and weak convergence of the Kingman coalescent

Speaker:
Henrik Hult (KTH Royal Institute of Technology)
Organiser:
Sandeep K Juneja
Date:
Friday, 29 Apr 2022, 16:00 to 17:00
Venue:
A-201 Seminar Room
Category:

An Algorithmic Approach to Uniform Lower Bound Conjectures

Speaker:
Rahul Santhanam (Department of Computer Science University of Oxford)
Organiser:
Arkadev Chattopadhyay
Date:
Friday, 8 Apr 2022, 16:00 to 17:00
Venue:
AG-69
Category:

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:

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:

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: