Home
Admissions
PG Admissions
JEE
Admission to B.Tech. Program
UG Admissions
Admission to M.Tech. Program
Admissions Website
GATE
Chairs
N. Rama Rao Chair
Poonam and Prabhu Goel Chair
Time Tables
Course Timetable
Summer Course Timetable
Exam Timetable
EXAM Scheluler
Publications
Miscellaneous
Conferences
Other CS Departments
Popular links
Contact Us
Quick Links
Faculty
Committees
ACA
Visitors
Quick Link 3
Quick Link 4
Students
Quick Link 5
Quick Link 6
Alumni
Quick Link 7
Quick Link 8
Staff
Quick Link 9
Quick Link 10
A to Z
Under Construction
Department
News & Events
People
Academic
Facilities
Research
Research Groups
Research I foundation
You are here:
Home
Logic in Computer Science
Search by Category
Course Name
Faculty
Faculty Overview
Uncategorised
Search by Author
Super User
Search by Language
*
Search by Type
Article
Category
Webmail
|
Library
|
IITK Home
Logic in Computer Science
Anil Seth
Harish Karnick
Somenath Biswas
Sunil Simon
About
Objectives
Featured Highlight
History
Gender Equality and Ethics
Events
Innovation and Outreach
Weekly Seminar
Receent Events
Event Videos
Event Archives
Recent Publications
Faculty
Students
Staff
Post Docs
Alumni
Recent Visitors
Faculty
Research Engineers
New Faculty
Faculty Orientation
Prospective Faculty
Former Faculty
Tea Room
Visiting Faculty
Adjunct Faculty
Prospective Students
Placement Highlights
Meet our Students
International Students
Financial Aid
Lifelong Learning
Networking
Volunteer Opportunities
Alumni Impact
Giving Back
Distinguished Alumni
Accreditation Info
Under Graduate Programme
Postgraduate Programme
CSE Minor Programme
Teaching Labs
Association of Computing Activities
Course
M.Tech
Ph.d
Computing Facilities
Library
Physical Space
Research Areas
Innovation & Outreach
Industry Collaboration
Technologies Developed
Mathematical Sciences Initiative
Research Day
Reports & Thesis
Interdisciplinary Research
SESRes
SIGDATA
SURGE
SIGTACS
Startup Incubation
Incubated Projects
Prabhu Goel Security Centre
Online courses
Get in Touch
Theory of Computing Journal
Technical Reports
Theses
Algorithms
Logic in Computer Science
Machine Learning and Artificial Intelligence
Databases and Data Mining
Complexity Theory
Compilers and Programming Languages
Computer Vision
Software Engineering and Web Technologies
About
Objectives
Activities
Contact
The Founder
Overview
Workshops
Hari Sahasrabuddhe Lecture Series
Visitors Program
Research-I Seminar Series
Annual Reports
