IOITC 2017 Workshop on Topics in Theoretical Computer Science

9–10 May 2017

Tuesday, 9 May

• Finite Automata, Madhavan Mukund (CMI)

• Turing Machines and the Halting Problem, Madhavan Mukund (CMI)

• Complexity Theory, Prajakta Nimbhorkar (CMI)

• Lower Bounds, N Narayanaswami (IIT Madras)

• Blockchain and Bitcoin, S P Suresh (CMI)

Wednesday, 10 May

• Randomized Algorithms, K V Subrahmanyam (CMI)

• Fixed Parameter Tractability, Venkatesh Raman (IMSc)

• Interactive Proofs and Zero Knowledge, Meena Mahajan (IMSc)

• Logic Automata and Games, B Srivathsan (CMI)

• Data Structures, Venkatesh Raman (IMSc)