The 2021 winner paper of the 2nd BIMAL KRISHNA MATILAL LOGIC PRIZE (2021) has just be announced:
“A formalism to specify unambiguous instructions inspired by Mimamsa in computational settings”
The authors of this paper are two ladies, Bama Srinivasan and Ranjani Parthasarathi, from Anna University, Chennai, India.
The paper will be presented at the 2nd World Logic Prizes Contest (7th UNILOG, Crete, 2022)
and the it will be published in Logica Universalis,
as this was done for all papers presented at the 1st World Logic Prizes Contest (6th UNILOG, Vichy 2018)
JYB