ICFP 2025 will feature keynote talks by Christos Dimoulas, Ekaterina Komendantskaya, and Satnam Singh.
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 |