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 of talks, abstracts: https://fplaunchpad.org/2026/03/30/fp-launchpad-kickoff.html

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