Second Indian Winter School on Logic
January 14-26, 2008, IIT Kanpur



sponsored by

      Research I Foundation

      Dept. of Computer Sc. & Engg.

      IIT Kanpur

under the aegis of


Association for Logic in India

supported by


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




Programme Committee



Kanpur and around

Reaching Kanpur and IIT

Kanpur weather