Second Indian winter school on logic, 14-16 January