ICMLCS 2025 Highlights | Bridging Mathematics, Logic & Computer Science

The 2nd International Conference on Mathematics & Logics in Computer Science (ICMLCS 2025) was successfully organized at Allenhouse Institute of Technology, Kanpur on July 26–27, 2025.

The two-day conference brought together eminent scholars and researchers from prestigious institutions such as IITs, DRDO, ISI, IISc, JNU, MNNIT, and others, fostering meaningful discussions at the intersection of mathematics, logic, and computer science.

Covering a wide range of contemporary topics—from cybersecurity and digital signatures to tensor computation and the philosophy of mathematics—the event offered a rich blend of academic depth and future-oriented perspectives.

 Key Sessions Included:

• Prof. Somitra Kumar Sanadhya (IIT Kanpur) – Password Security & Hygiene

• Prof. Sahadeo Padhey (MNNIT Prayagraj) – Digital Signatures: Theory and Applications

• Prof. Goutam Kumar Paul (ISI Kolkata) – Mathematics and Spirituality

• Prof. Ratikanta Behera (IISc Bengaluru) – Tensor Computation for Data Science

 Distinguished Guests:

• Prof. Sanjeev Kumar – VC, Maharaja Suhel Dev University

• Prof. Somitra Kr. Sanadhya – IIT Kanpur

• Prof. Bimal Kumar Roy – TCG CREST, Kolkata

• Prof. Nitin Saxena – IIT Kanpur

• Prof. Shalabh – IIT Kanpur

• Prof. Bhupendra Singh – CAIR DRDO, Bengaluru

• Prof. Ratikanta Behera – IISc Bengaluru

• Prof. Goutam Kumar Paul – ISI Kolkata

• Prof. Sanjay Chaudhary – Dr BRAU, Agra

• Prof. Girish Mishra – SAG DRDO, New Delhi

• Prof. Manisha Manjul – GBPGEC, New Delhi

• Prof. Karan Singh – JNU, New Delhi

• Prof. Amit Awasthi – GBU, Noida

• Prof. Sahadeo Padhey – MNNIT Prayagraj

The conference reaffirmed our belief that mathematics and logic are not just foundational disciplines but are instrumental in driving forward research and innovation in computer science.

Let us continue to build on this momentum as we shape the future of interdisciplinary knowledge and discovery.