| 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 |
| 10 April 2026 |
SSB 334, CSE, IIT Madras |
Talk: Property Based Testing to Verify Pipelined CPU Hardware — Rishiyur S. Nikhil (Bluespec) on using Haskell QuickCheck to verify a 6-stage pipelined RISC-V CPU. |
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 |
