<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt; font-family: Verdana,Geneva,sans-serif'>
<div id="editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<p><strong>TFP 2025 -- Call For Participation</strong><br />(trendsfp.github.io)</p>
<p><strong>Venue</strong><br />TFPiE and TFP will take place in-person in the Wolfson Building of the Department <br />of Computer Science at the University of Oxford. </p>
<p><strong>Dates</strong><br />Early registration: December 20, 2024<br />Late registration: January 6, 2025<br />TFPiE Workshop: Monday 13th January, 2025<br />TFP Symposium: Tuesday 14th - Thursday 16th January, 2025</p>
<p>The Symposium on Trends in Functional Programming (TFP) is an<br />international forum for researchers with interests in all aspects of<br />functional programming, taking a broad view of current and future<br />trends in the area. It aspires to be a lively environment for<br />presenting the latest research results, and other contributions.</p>
<p><strong><span style="color: #000000;">Keynote speakers</span></strong><br />We are happy to have the following keynotes in the programme:</p>
<ul>
<li>Nicolas Wu (TFPiE), Imperial College London:<br /> "Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds"</li>
<li>Graham Nelson, University of Oxford:<br /> "Literate Programming and Cultural Practice"</li>
<li>Mike Sperber, Active Group:<br /> "Things We Never Told Anyone About Functional Programming"</li>
<li>Kathrin Stark, Heriot-Watt University:<br /> "A Verified Foreign Function Interface Between Coq and C"</li>
</ul>
<p><strong>Programme</strong><br />We have 28 paper presentations. The programme schedule can be found here:<br />trendsfp.github.io/schedule.html</p>
<p><strong>Excursion and banquet</strong><br />In the afternoon and evening of Wednesday January 15th we have an excursion to the<br />History of Science Museum. We have a break in a cosy pub, before proceeding to <br />Kellogg College for the conference banquet. <br />During dinner the winners of the best paper awards of last year's TFP are announced. </p>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body></html>