Research I Foundation
Dept. of Computer Sc. & Engg.
under the aegis of
Association for Logic in India
The Indian winter school on Logic is a biennial event. The first school was held during January 3-18, 2006, at IIT Bombay. The objective is to present before students and researchers of the country, some basics as well as active research areas in Logic.
The school will concentrate on some themes this time. A theme may involve more than one speaker, and will range from an introduction to the state-of-the-art for some topic(s) under it. In addition, there will be time for tutorials/discussion hours.
The schedule may be found here.
The venue of the lectures is the Outreach Auditorium, near the Visitors' Hostel (VH). All accommodation is arranged at the VH
● Final List of Participants
● Published Reports on the School: The Bulletin of Symbolic Logic, December 2008 The Reasoner, March 2008
● Themes and Speakers Course Outlines and Notes
● Reaching Kanpur and IIT