ICMLCS 2025 Highlights | Bridging Mathematics, Logic & Computer Science
July 26th – July 27th 2025 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.