Text Size

  • Increase
  • Decrease
  • Normal

Current Size: 100%

Printer-friendly version

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-May 2015 semester) are marked with an asterisk.

Discrete Mathematics Programming Languages Theory
Algorithms and Data Structures Advanced Topics in Algorithms
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
Probability and Randomness 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 Algorithms Dynamic Graph Algorithms*

 

 

 

 

 

 

Seminars

Jul 28 - Alladi Ramakrishnan Hall Weighted $L^2$-Extension of holomorphic functions from singular hypersurfaces by Vamsi Pritham Pingali
Jul 29 - Room 327 2 DC talks and Project talk by Narayan Rana, Taushif Ahmed and Shibasis Roy
Jul 29 - Alladi Ramakrishnan Hall Application of cosmogenic radionuclides $^{10}$Be and $^{26}$Al in the field of Earth sciences by Jitendra Pattanaik
Jul 30 - Alladi Ramakrishnan Hall Labelled free choice petri nets, finite product automata and expressions by Ramchandra Phawade
Jul 30 - Room 117 Quantum Thermodynamics by Sagnik Chakraborty
Jul 30 - Alladi Ramakrishnan Hall Mechanising Mathematics: Excursions in Interactive Theorem Proving by T V H Prathamesh