Date Location Summary  
13 April 2026 IC&SR Building, IIT Madras FP Launchpad Kickoff — Day-long conference with talks on hardware design, security, formal verification, compilers, programming languages, and AI-augmented software engineering. Details
7 April 2026 SSB 334, CSE, IIT Madras Talk: Agentic Proof-oriented Programming — Nik Swamy (Microsoft Research) on using AI agents with F* and Pulse for building programs with formal proofs of correctness. Details
28–29 March 2026 IIT Madras CS Exebit 2026 — Annual technical exhibition of the IIT Madras CS department. KC Sivaramakrishnan gave a talk on Functional Programming and OCaml, followed by a hands-on OCaml workshop. Pranav Ramesh led a workshop on Lean. Details