TFP 2025 -- Call For Participation
(trendsfp.github.io)

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:
trendsfp.github.io/schedule.html

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.