The CSE department at IIT Kanpur is organizing the following series of lectures, related to Theoretical Computer Science. The series is aimed to provide a window into the current areas of research in theory.
All of the lectures are aimed to be accessible to first-year postgraduate students and advanced undergraduate students who have an interest in pursuing theory as their research area, and should benefit everyone with an interest in theory!
Venue: Rajeev Motwani building, Room 101
| Oct 3 | |||
|---|---|---|---|
| 9:00am-9:45am RM 101 |
Surender Baswana | The Amazing World of Data Structures | |
| 10:00am-10:45am RM 101 |
Nitin Saxena | Diagonal Circuits | |
| 11:00am-11:45am RM 101 |
Piyush P. Kurur | An Introduction to Homotopy Type Theory | |
| Oct 10 | |||
| 9:00am-9:45am RM 101 |
Rajat Mittal | Quantum Games | |
| 10:00am-10:45am RM 101 |
Raghunath Tewari | Simultaneous Time-Space complexity of the graph reachability problem | |
| 11:00am-11:45am RM 101 |
Sandeep Shukla | HORNSAT: A Uniform Approach to the Verification of Finite State Branching Time Systems [Abstract] | |
| Nov 6 | |||
| 12:00-12:30 RM 301 |
Arpita Korwar | An impossibility result for width-2 Arithmetic Branching Programs. | |
| 12:45-1:15 RM 301 |
Amit Kumar Sinhababu | Testing algebraic independence of polynomials over small characteristic: Higher derivation based criterion | |
| Lunch break | |||
| 2:30-3:15, 3:15-4:00 RM 301 |
Sayan Bhattacharya (IMSc) | Dynamic Graph Algorithms | |
| 4:15pm-4:45pm RM 301 |
Shahbaz Khan | Dynamic DFS in Undirected Graphs: breaking the O(m) barrier | |
| 5:00-6:00pm RM 301 |
Rump Session | ||
| Nov 7 | |||
| 9:45-10:30, 10:45-11:30 RM 301 |
Sourav Chakraborty (CMI) | An Introduction to Property-Testing | |
| 12:00-12:30 RM 301 |
Diptarka Chakraborty | Streaming algorithms for embedding and computing edit distance in the low distance regime | |
| 12:45-1:15 RM 301 |
Tejas Gandhi | Quantum Error-Correcting Codes | |
| Lunch break | |||
| 2:30-3:15, 3:15-4:00 RM 301 |
Deeparnab Chakraborty (Microsoft Research) | Approximation Algorithms | |
Please email your suggestions to satyadev-AT-cse-DOT-iitk-DOT-in, after replacing -AT- with @ and -DOT- with . ;)