[Caml-list] [TFP 2026] 1st Call for Participation for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 27-29 2026 - TFPiE Jan 26

[Peter Achten <P.Achten@cs.ru.nl>]

[-- Attachment #1: Type: text/plain, Size: 2647 bytes --]

TFP 2026 -- Call For Participation
(trendsfp.github.io [1])

Venue
TFPiE and TFP will take place in-person in Odense, Denmark, at the 
University of
Southern Denmark.

Dates
Early registration: 31 December, 2025
Late  registration: 20 January , 2026
TFPiE Workshop: Monday 26 January, 2026
TFP  Symposium: Tuesday 27 - Thursday 29 January, 2026

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:

Alex Gerdes (TFPiE), Gothenburg University and Chalmers:
     "Generating Feedback from Rewrite Strategies for Interactive 
Exercises"
Joachim Breitner, Lean Focused Research Organization:
     "Lean Highlights"
Ohad Kammar, University of Edinburgh:
     "Synthetic Convolution"
András Kovács, Gothenburg University and Chalmers:
     TBA

Programme

We have 13 paper presentations, as well as invited talks. A preliminary
programme schedule can be found here:
trendsfp.github.io/schedule.html [2]

Excursion and banquet
In the afternoon and evening of Wednesday January 28th we have an 
excursion to
H.C. Andersen Museum, followed by a break before heading to Madklubben 
for the
conference banquet.

Travel Scholarship

Thanks to the generous support from the Carlsberg Foundation, we are 
able to
offer travel scholarships (DKK 3000 ~ USD 470 ~ EUR 400) to young 
researchers
traveling to attend TFP 2026 in Odense, Denmark.  Information on how to 
apply
can be found here:
https://trendsfp.github.io/scholarship.html


Links:
------
[1] 
https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Ftrendsfp.github.io%2F&data=05%7C02%7CP.Achten%40cs.ru.nl%7C3c29afd0c01c498d9f7b08de41691e91%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639020116903822762%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=rbYnerNLBlYnfmtM5qvYJUAfSU2BYhBRrXuHGnmeiIQ%3D&reserved=0
[2] 
https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Ftrendsfp.github.io%2Fschedule.html&data=05%7C02%7CP.Achten%40cs.ru.nl%7C3c29afd0c01c498d9f7b08de41691e91%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639020116903840811%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=NQyQOCjdLivX3Ye7XIDDUWHsMMkWr6DX9%2FHDpGyTOgw%3D&reserved=0

[-- Attachment #2: Type: text/html, Size: 4049 bytes --]