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

    



http://ali.cmi.ac.in/

    

    supported by 

    



    

http://www.aslonline.org/

  





  



 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


 
 



 



  

    
    


    
 
●  
 Participation   

●  
Programme Committee

    
    

●  
Contact

    

 

    


●  
    
Kanpur and around



●   
    

    Reaching Kanpur


and IIT

● 

Kanpur weather