ICFP 2025 will feature keynote talks by Christos Dimoulas (Northwestern University), Ekaterina Komandantskaya (Heriot-Watt University and University of Southampton) and Satnam Singh (Groq).
ICFP Keynotes
| Title | |
|---|---|
| Functional Programming for Hardware Design ICFP Keynotes | |
| Proof-Carrying Neuro-Symbolic Code ICFP Keynotes | |
| The Rational Programmer, A Method for Investigating Programming Language Pragmatics ICFP Keynotes |