TCS Courses

Courses offered by the theoretical computer science group at IMSc

Graduate level courses covering various aspects of theoretical computer science are offered at IMSc in various formats: lecture-based courses, seminar-based courses, reading courses, etc. Here is a list of courses that have been offered in the last few years. Current courses (Jan-May2017 semester) are marked with an asterisk.

Discrete Mathematics Programming Languages Theory
Algorithms and Data Structures Advanced Data Structures*
Automata Theory and Computability Theory of Computation - 2*
Introduction to Logic Logic-2*
Introduction to Computational Complexity* Computational Complexity-2
Randomized Algorithms Computational Geometry
Algebra and Computation Algebra and Computation - 2
Distributed Algorithms Games and Computation
Automata and Concurrency Verification
Randomness and Computation Algebraic Theory of Automata
Circuit Complexity Parameterized Complexity*
Kernelization Infinite Discrete Structures
Concurrency Communication Complexity
Linear Programming and Combinatorial Optimization Mathematical Foundations of Computer Science
Graph Theory Algorithms for solving polynomial equations
Algorithms for special classes of graphs  Advanced Graph Agorithms
Approximation and Online Algorithms Dynamic Graph Algorithms
Concrete Lower Bounds Lower Bounds for Data Structures
Advanced Parameterized Complexity* The Polynomial Method*








Aug 17 - Room 217 - PhenoLunch by PhenoSpeaker
Aug 17 - Alladi Ramakrishnan Hall - Knot invariants, topological strings, and 3d/3d correspondence - IV by Satoshi Nawata
Aug 17 - Hall 123 - Pheno Journal Club by Pheno Journal Club
Aug 17 - Room 327 - Lindstrom's Theorem by Ramanathan S Thinniyam
Aug 17 - Room 117 - Indefinite causal structure -- a quantum outlook by Manik Banik
Aug 17 - Alladi Ramakrishnan Hall - Points of small height on elliptic curves by Sinnou David

More Seminars