3rd Indian Conference on Logic and its Applications, 7-11 January