Introduction to Theorem Proving Using Lean 4 is a hands-on workshop that introduces participants to formal reasoning and interactive theorem proving with Lean 4. The session covers core concepts of logic, proofs, and the Curry–Howard Correspondence, with practical applications in mathematics and software verification.
A Memorandum of Understanding (MoU) is signed between the Department of CSE, Department of CSE( Cybersecurity), MITS, and the Exult Global Private Limited , Prestige Tower, Inforpark, Kochi to strengthen academic collaboration through Job convertible paid Internship, skill development, and infrastructure sharing. This collaboration aims to offer internship and the transition into company workforce, thereby creating a pipeline of skilled graduates ready to join the company upon graduation.
.jpg)
Ms. Ashmitha P. R selected as a GHCI 2025 Scholar under the AnitaB.org India Advancing Inclusion STEM Scholarship.
Summer Internship Program on Machine Learning and Data Visualization using Python from June 1 to June 12, 2026.
Click here to apply- https://forms.gle/vDEEoDQJ3pxVyyBk7
.jpg){kind=logo}
KTU S8 Results -Batch A (71/75 = 94.6%) , Batch B (72/74 = 97.3%) , overall 95.9%.
The Departments of Computer Science and Engineering and Computer Applications at Muthoot Institute of Technology and Science (Autonomous), Kochi, are organizing a five-day Faculty Development Programme (FDP) on “Generative Intelligence: Theory, Practice and Research through ANN, LLMs & Agentic Systems” from 15th to 19th June 2026.
The FDP is designed to provide academicians, researchers, and industry professionals with a comprehensive understanding of the rapidly evolving landscape of Artificial Intelligence, with a special focus on Generative AI technologies. The programme brings together experts from academia and industry to share insights into emerging trends, practical applications, and research directions in AI.
The sessions cover a wide range of topics including Digital Trust in the Age of AI, Deep Learning Fundamentals, Sequence Modelling using Neural Networks, Agentic AI, AI for Speech-Based Healthcare, Large Language Model (LLM) Workflows, Retrieval-Augmented Generation (RAG), Multi-Agent Systems, Workflow Automation using Agentic AI Frameworks, Adversarial NLP, and Enterprise Applications of Public LLMs. The programme also includes hands-on training sessions to help participants gain practical experience with modern AI tools and frameworks.
Through keynote talks and expert-led technical sessions, the FDP aims to equip participants with the knowledge and skills required to effectively engage with the next generation of intelligent systems and contribute to AI-driven innovation in teaching, research, and industry.