FP Launchpad members win prize at LeanLang Hackathon, IISc Bangalore
The LeanLang for Verified Autonomy Hackathon was a two-day event at IISc Bangalore organised by Prof. Siddharth Gadgil and Emergence AI, focused on applying Lean 4 to real-world multi-agent systems.
Read more →FPL Reading — 5 May 2026
A daily digest of posts from FPL members and collaborators.
Read more →Hello World
Welcome to the FP Launchpad blog. Follow this blog to get updates on what the centre is up to. Also check out our blogroll on the right for feeds of our members and friends.
Read more →