# \[TFP (and TFPiE) 2025\] Call For Participation (January 13-16, Oxford, UK)

**URL:** <https://racket.discourse.group/t/tfp-and-tfpie-2025-call-for-participation-january-13-16-oxford-uk/3427>\
**Category:** General\
**Tags:** event\
**Created:** [December 18, 2024, 8:20am UTC](https://racket.discourse.group/t/tfp-and-tfpie-2025-call-for-participation-january-13-16-oxford-uk/3427 "2024-12-18T08:20:00Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![peter88](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/peter88/32/840_2.png) [@peter88](https://racket.discourse.group/u/peter88)\
**Post date:** [December 18, 2024, 8:20am UTC](https://racket.discourse.group/t/tfp-and-tfpie-2025-call-for-participation-january-13-16-oxford-uk/3427/1 "2024-12-18T08:20:00Z")

</div>

# TFP 2025 -- Call For Participation

([trendsfp.github.io](http://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](http://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.