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. http://www.uni-log.org/logic-prize-india
The paper will be presented at the 2nd World Logic Prizes Contest (7th UNILOG, Crete, 2022) https://sites.google.com/view/unilog-2021/welcome 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) https://link.springer.com/article/10.1007/s11787-018-0215-6 JYB -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBKG3UD0KXyMx_fXxtTUe%2Bt5bM3orxEybMQfsy_iTNW0g%40mail.gmail.com.
