IOITC 2023 Workshop on Topics in Theoretical Computer Science

12–13 June 2023

Monday, 12 June

• NP-completeness, Prajakta Nimbhorkar (CMI) (slides)

• Hilbert's tenth problem, S P Suresh (CMI) (slides)

• SAT solvers, Meena Mahajan (IMSc) (slides)

Tuesday, 13 June

• Polynomial identity testing, Amit Kumar Sinhababu (CMI) (slides)

• Finite graphs for infinite functions, C Aiswarya (CMI) (slides)

• A panorama of computational problems, C Ramya (IMSc) (slides)