3rd Indian Conference on Logic and its Applications, 7-11 January (The Reasoner, 2009)