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
About
Objectives
Featured Highlight
History
Gender Equality and Ethics
News & Events
Events
Weekly Seminar
Receent Events
Event Videos
Event Archives
Recent Publications
Innovation and Outreach
People
Faculty
Faculty
Research Engineers
New Faculty
Faculty Orientation
Prospective Faculty
Former Faculty
Tea Room
Visiting Faculty
Adjunct Faculty
Students
Prospective Students
Placement Highlights
Meet our Students
International Students
Financial Aid
Staff
Post Docs
Alumni
Lifelong Learning
Networking
Volunteer Opportunities
Alumni Impact
Giving Back
Distinguished Alumni
Accreditation Info
Recent Visitors
Academic
Under Graduate Programme
Postgraduate Programme
M.Tech
Ph.d
CSE Minor Programme
Teaching Labs
Association of Computing Activities
Course
Facilities
Computing Facilities
Library
Physical Space
Research
Research Areas
Innovation & Outreach
Startup Incubation
Incubated Projects
Prabhu Goel Security Centre
Online courses
Get in Touch
Theory of Computing Journal
Industry Collaboration
Technologies Developed
Mathematical Sciences Initiative
Research Day
Reports & Thesis
Technical Reports
Theses
Interdisciplinary Research
SESRes
SIGDATA
SURGE
SIGTACS
Research Groups
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
Research I foundation
About
Objectives
Activities
Overview
Workshops
Hari Sahasrabuddhe Lecture Series
Visitors Program
Research-I Seminar Series
Annual Reports
Contact
The Founder
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
