Past events

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:

Determinacy of Two-Player Games with Perfect Information

Speaker:
Pranshu Gaba
Date:
Friday, 25 Mar 2022, 16:15 to 17:15

Hardness and Independence of Polynomials

Speaker:
Prerona Chatterjee
Organiser:
Ramprasad Saptharishi
Date:
Thursday, 17 Mar 2022, 14:30 to 15:30
Venue:
in person @ R.No. AG-66 and also via Zoom
Category:

Further Collapses in TFNP

Speaker:
Siddhartha Jain (EPFL, Switzerland)
Organiser:
Varun Ramanathan
Date:
Friday, 11 Mar 2022, 16:15 to 17:15
Venue:
Via Zoom

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:

Reconfiguring Shortest Paths in Graphs

Speaker:
Kshitij Gajjar (National University of Singapore)
Organiser:
Hari Krishnan P A
Date:
Friday, 4 Mar 2022, 16:15 to 17:15
Venue:
Via Zoom

Measurement Compression

Speaker:
Sayantan Chakraborty
Organiser:
Sushant Vijayan
Date:
Friday, 25 Feb 2022, 16:00 to 17:00
Venue:
Via Zoom

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:

Fano's method for lower bounds in machine learning

Speaker:
Neha Sangwan
Organiser:
Sushant Vijayan
Date:
Friday, 18 Feb 2022, 16:00 to 17:00
Venue:
Via Zoom