IOITC 2018 Workshop on Topics in Theoretical Computer Science

9–10 May 2018

Wednesday, 9 May

• Finite Automata, N Narayanaswami (IIT Madras)

• Turing Machines and the Halting Problem, N Narayanaswami (IIT Madras)

• Concurrency, Madhavan Mukund (CMI)

• Blockchain and Bitcoin, S P Suresh (CMI)

Thursday, 10 May

• Complexity Theory, Jayalal Sarma (IIT Madras)

• Beyond NP-Completeness, Venkatesh Raman (IMSc)

• Online and Streaming Algorithms, Prajakta Nimbhorkar (CMI)

• Zero Knowledge Proofs, Meena Mahajan (IMSc)

• Verification and Games, Madhavan Mukund (CMI)