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

[Peter Achten]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20241218/05805787/attachment.html>