ICLA 2013 - Indian Conference on Logic and its Applications