Second Indian winter school on logic, 14-16 January (The Reasoner, 2008)