[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://trendsfp.github.io/scholarship.html__;!!IBzWLUs!RcvjFlFD9coyuFa3Ezt6MtjvtE0ldBGEpmu3BZAW9Aw4KOpZYwL7X5WRFKptJUyBD9N0x7krtMJvIOufXln7QAfapJIcNleg$
Links:
------
[1]
https://urldefense.com/v3/__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__;JSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!RcvjFlFD9coyuFa3Ezt6MtjvtE0ldBGEpmu3BZAW9Aw4KOpZYwL7X5WRFKptJUyBD9N0x7krtMJvIOufXln7QAfapKuu02ie$
[2]
https://urldefense.com/v3/__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__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!RcvjFlFD9coyuFa3Ezt6MtjvtE0ldBGEpmu3BZAW9Aw4KOpZYwL7X5WRFKptJUyBD9N0x7krtMJvIOufXln7QAfapK4xdSDj$
