Oxford, 13th to 16th January 2025

From 13th to 16th January 2025, the 26th International Symposium on Trends in Functional Programming took place in the Department of Computer Science at the University of Oxford. Generous sponsorship from VeTSS and Epic Games supported over 50 participants, about half of whom were students.

TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions of interest to the community. It aims specifically to be a welcoming and encouraging forum for students to present their work: there are special categories of student papers, additional support for student submissions, and the David Turner Award for the best student paper (in addition to the John McCarthy Award for the best paper overall).

The main conference featured keynote talks from Graham Nelson from the University of Oxford on ‘Literate Programming and Cultural Practice’, Mike Sperber from Active Group in Tübingen on ‘Things We Never Told Anyone About Functional Programming’, and Kathrin Stark from Heriot-Watt University on ‘A Verified Foreign Function Interface Between Coq and C’, in addition to 28 contributed talks.

The main conference was preceded by the Workshop on Trends in Functional Programming in Education, which featured a keynote talk from Nicolas Wu from Imperial College London on ‘Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds’, and six more contributed talks.

By Jeremy Gibbons