Sketching and Streaming Complexity of Constraint Satisfaction Problems STCS Seminar Speaker: Madhu SudanOrganisers: Jaikumar RadhakrishnanTime: Friday, 8 April 2022, 10:00 to 11:00 Venue: A-201 (STCS Seminar Room) Read more about Sketching and Streaming Complexity of Constraint Satisfaction Problems
Context-Bounded Verification of Multithreaded Shared Memory Programs STCS Seminar Speaker: Ramanathan Thinniyam Organisers: Shibashis GuhaTime: Tuesday, 5 April 2022, 16:00 to 17:00 Venue: Via Zoom Read more about Context-Bounded Verification of Multithreaded Shared Memory Programs
Determinacy of Two-Player Games with Perfect Information STCS Student Seminar Speaker: Pranshu Gaba, TIFR Time: Friday, 25 March 2022, 16:15 to 17:15 Read more about Determinacy of Two-Player Games with Perfect Information
Hardness and Independence of Polynomials PhD Thesis Seminar Speaker: Prerona Chatterjee, TIFR Organisers: Ramprasad SaptharishiTime: Thursday, 17 March 2022, 14:30 to 15:30 Venue: in person @ R.No. AG-66 and also via Zoom Algebraic Complexity Theory is a field in which one studies complexity theoretic questions surrounding algebraic objects. In this talk we will be broadly discussing two such problems. Read more about Hardness and Independence of Polynomials
Further Collapses in TFNP STCS Student Seminar Speaker: Siddhartha JainOrganisers: Varun RamanathanTime: Friday, 11 March 2022, 16:15 to 17:15 Venue: Via Zoom Read more about Further Collapses in TFNP
Spectral Methods in Modern Graph Algorithms STCS Seminar Speaker: Akash Kumar Organisers: Umang BhaskarTime: Tuesday, 8 March 2022, 16:00 to 17:00 Venue: Via Zoom Read more about Spectral Methods in Modern Graph Algorithms
Reconfiguring Shortest Paths in Graphs STCS Student Seminar Speaker: Kshitij GajjarOrganisers: Hari Krishnan P ATime: Friday, 4 March 2022, 16:15 to 17:15 Venue: Via Zoom Read more about Reconfiguring Shortest Paths in Graphs
Measurement Compression STCS Student Seminar Speaker: Sayantan Chakraborty, TIFR Organisers: Sushant VijayanTime: Friday, 25 February 2022, 16:00 to 17:00 Venue: Via Zoom Read more about Measurement Compression
Extension Preservation in the Finite and Prefix Classes of First Order Logic STCS Seminar Speaker: Abhisekh Sankaran Organisers: Shibashis GuhaTime: Tuesday, 22 February 2022, 16:00 to 17:00 Venue: Via Zoom Read more about Extension Preservation in the Finite and Prefix Classes of First Order Logic
Fano's method for lower bounds in machine learning STCS Student Seminar Speaker: Neha Sangwan, TIFR Organisers: Sushant VijayanTime: Friday, 18 February 2022, 16:00 to 17:00 Venue: Via Zoom Read more about Fano's method for lower bounds in machine learning