FP Launchpad Kickoff Centre for Functional Systems Research and Education at IIT Madras

Heads-up: Mon Apr 13 (one week away): "FP Launchpad" kickoff-event at IIT Madras

FP Launchpad is a new research center at IITM focusing on all aspects of functional programming.

Schedule, abstracts: fplaunchpad.org/2026/03/30/f...

#OCaml #OxCaml #Haskell #FormalMethods #HardCaml #Bluespec