TFP 2025 -- Call For Participation
Venue
TFPiE and TFP will take place in-person in the Wolfson Building of the Department of Computer Science at the University of Oxford.
Dates
Early registration: December 20, 2024
Late registration: January 6, 2025
TFPiE Workshop: Monday 13th January, 2025
TFP Symposium: Tuesday 14th - Thursday 16th January, 2025
The Symposium on Trends in Functional Programming (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.
Keynote speakers
We are happy to have the following keynotes in the programme:
- Nicolas Wu (TFPiE), Imperial College London:
"Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds" - Graham Nelson, University of Oxford:
"Literate Programming and Cultural Practice" - Mike Sperber, Active Group:
"Things We Never Told Anyone About Functional Programming" - Kathrin Stark, Heriot-Watt University:
"A Verified Foreign Function Interface Between Coq and C"
Programme
We have 28 paper presentations. The programme schedule can be found here:
Excursion and banquet
In the afternoon and evening of Wednesday January 15th we have an excursion to the History of Science Museum. We have a break in a cosy pub, before proceeding to Kellogg College for the conference banquet. During dinner the winners of the best paper awards of last year's TFP are announced.