29 April 2026 — Keynote and paper at PaPoC 2026

26 April 2026 — Kickoff event videos are now up

9 April 2026 — Talk: Property Based Testing to Verify Pipelined CPU Hardware — Rishiyur S. Nikhil

3 April 2026 — Talk: Agentic Proof-oriented Programming — Nik Swamy

2 April 2026 — Call for Papers: PROPL 2026 — Programming for the Planet (PLDI 2026 Workshop)

30 March 2026 — FP Launchpad Kickoff

6 March 2026 — Applications Open: Post-Baccalaureate Fellowship