[ALI] Bimal Krishna Matilal Logic Prize 2025

[Association for Logic in India]

Bimal Krishna Matilal Logic Prize 2025

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.

Submissions are invited for the Bimal Krishna Matilal Logic Prize 2025.
Submissions should be unpublished papers, 10 to 30 pages in length, in any area of logic, written in English only.

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

Webpage: https://www.uni-log.org/logic-prize-india

Papers should be submitted by
               ***** May 31st 2025 *****
on Easychair at : https://easychair.org/conferences/?conf=logicprize2025

The Bimal Krishna Matilal Prize in Logic is awarded once every three years.
The prize besides being honorific, supports the participation (housing + registration fee) of the winner (winners in case of joint authorship) in the 8th World Congress of Universal Logic (UNILOG'2025) in Cusco, Peru and the publication of the paper in the journal Logica Universalis, Birkhauser.


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