FP Launchpad at IndiaFOSS 2026
IndiaFOSS 2026 runs 26–27 September 2026 at NIMHANS Convention Centre, Bengaluru. FP Launchpad has six talks and workshops accepted, across the main track and the Compilers, Programming Languages and Systems devroom.
| Speaker | Talk / Workshop | Proposal |
|---|---|---|
| KC Sivaramakrishnan (PI) | Textbooks that run: interactive, zero-install CS education in the browser | Proposal |
| Alina Banerjee (Research Staff) | Fun and Profit with OCaml (workshop) | Proposal |
| Pragyansh Chaturvedi (Fellow) | PythonBPF - now with loops, custom funcs, and more maps! | Proposal |
| Durwasa Chakraborty (PhD student, IIT Madras) | LGTM Is Not A Theorem | Proposal |
| Anubhav Paul (Intern, IIT Delhi) | Formal Verification: An Introduction through Elementary Arithmetic | Proposal |
| Navaneeth M. Nambiar (Research Staff) | Benchmarking can be hard, here’s why we’re still creating a new one for OCaml | Proposal |