The main purpose of International Conference on Mathematical Logic and Proof Theory is to bring industry professionals, experts, academicians, and scholars to discuss their expertise for better collaboration in the field