A lazy image
award

Introduction to Theorem Proving Using Lean

Introduction to Theorem Proving Using Lean 4 is an interactive workshop on formal reasoning and proof systems. Participants will learn the fundamentals of Interactive Theorem Proving (ITP) using Lean 4, a modern proof assistant widely used in mathematics, software verification, and formal methods research. The workshop introduces key concepts such as the Curry–Howard Correspondence and demonstrates how logical propositions can be represented as types and proofs as programs through hands-on exercises in propositional logic.

Related CS News and Events

Faculty Development Program on Generative Intelligence: Theory, Practice and Research through ANN, LLMs & Agentic Systems

Faculty Development Program on Generative Intelligence: Theory, Practice and Research through ANN, LLMs & Agentic Systems

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.

Read More