★   BIMAL KRISHNA MATILAL LOGIC PRIZE 2025    ★

Bimal Krishna Matilal Logic Prize for India

1) Every three years is attributed a prize

2) Each contender should submit a non published paper (between 10 to 30 pages) in any area of logic, written in English only

3) The jury is formed by Indian researchers representative of all areas of logic and the geography of the country

4) The prize, besides being honorific, supports the participation (housing + registration fee) of the winner in the World Congress of Universal Logic and the publication of the paper in the Springer journal Logica Universalis

5) There is no restriction of age, gender, position, race, nationality. The contender only needs to live in India and be affiliated with a University (or other educational institution) in India.

Bimal Krishna Matilal Logic Prize 2025

i) Participation in UNILOG'2025 in Cusco, Peru: housing + registration fees will be provided to the winner (winners in case of joint authorship) and the paper will be published in the Srpinger journal Logica Universalis. The awarded person will present his/her work at the 3rd World Logic Prizes Contest competing with the corresponding award winners from other countries.

ii) Submit your paper by May 31st, 2025, using Easy Chair Logic Prize 2025

iii) Jury 2025

Mohua Banerjee, IIT Kanpur - Rough set theory and generated logics, Modal logics

Sankha S. Basu, IIIT Delhi - Mathematical logic, Paraconsistency, Universal logic

Mihir K. Chakraborty, Jadavpur University, Kolkata - Non-classical logics, Foundations of Mathematics, Logical Diagrams

Amita Chatterjee, Jadavpur University, Kolkata - Philosophical Logic, Indian Logic and Cognitive Science

Raja Natarajan, Tata Institute of Fundamental Research, Mumbai - Logic for Computer Science, Type Theory, Foundations of Mathematics, Interactive Theorem Proving

Rohit Parikh, City University of New York - Mathematical Logic, Logic for Computer Science, Social Software

Organizer of the Prize:
Calcutta Logic Circle

This prize is part of the project A PRIZE OF LOGIC IN EVERY COUNTRY.


 


Bimal Krishna Matilal

Bimal Krishna Matilal (1935–1991) was at the same time an exponent of Indian logic and well conversant with modern/Western logical theories. He studied with Quine in the early 1960s and from 1977 to 1991 he was the Spalding Professor of Eastern Religion and Ethics at University of Oxford. He was the founder editor of the Journal of Indian Philosophy


The 2021 Winner Paper was:
“A formalism to specify unambiguous instructions inspired by Mimamsa in computational settings”
authored by Bama Srinivasan and Ranjani Parthasarathi
Anna University, Chennai, India.

Here the 2018 Winner Paper