[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 via clean-list <[email protected]> Wed, 24 Dec 2025 16:31:01 +0100
| Newsgroups | gmane.comp.lang.clean |
|---|---|
| Message-ID | <[email protected]> |
--===============5740911018266035570==
Content-Type: multipart/alternative;
boundary="=_8edb589134ad9dee64d768f7610086a4"
--=_8edb589134ad9dee64d768f7610086a4
Content-Transfer-Encoding: 8bit
Content-Type: text/plain; charset=UTF-8;
format=flowed
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://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftrendsfp.github.io%2Fscholarship.html&data=05%7C02%7Cclean-list%40science.ru.nl%7C8db4798d7f6c412a37c608de43017282%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639021870651543911%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=qyYwZ0dTisE56jk8AmDP64iz0yTxm4Q7%2BiRcv9MRrhc%3D&reserved=0
Links:
------
[1]
https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Ftrendsfp.github.io%2F&data=05%7C02%7Cclean-list%40science.ru.nl%7C8db4798d7f6c412a37c608de43017282%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639021870651561585%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=JRbTvEeMD%2FBw9Qt6pQU1shpF6PlgpEJaLHOWupHc7CA%3D&reserved=0
[2]
https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Ftrendsfp.github.io%2Fschedule.html&data=05%7C02%7Cclean-list%40science.ru.nl%7C8db4798d7f6c412a37c608de43017282%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639021870651577014%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=S0qY6EiH8ta8S4vhxckGX49GHuDgPckiuiA445bKfYY%3D&reserved=0
--=_8edb589134ad9dee64d768f7610086a4
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html; charset=UTF-8
<html><head><meta http-equiv=3D"Content-Type" content=3D"text/html; charset=
=3DUTF-8" /></head><body style=3D'font-size: 10pt; font-family: Verdana,Gen=
eva,sans-serif'>
<div id=3D"editbody1" style=3D"font-size: 10pt; font-family: Verdana,Geneva=
,sans-serif;">
<div id=3D"v1editbody1" style=3D"font-size: 10pt; font-family: Verdana,Gene=
va,sans-serif;">
<div id=3D"v1v1editbody1" style=3D"font-size: 10pt; font-family: Verdana,Ge=
neva,sans-serif;">
<div id=3D"v1v1v1editbody1" style=3D"font-size: 10pt; font-family: Verdana,=
Geneva,sans-serif;">
<div><strong>TFP 2026 -- Call For Participation</strong></div>
<div>(<a href=3D"https://eur01.safelinks.protection.outlook.com/?url=3Dhttp=
%3A%2F%2Ftrendsfp.github.io%2F&data=3D05%7C02%7Cclean-list%40science.ru=
.nl%7C8db4798d7f6c412a37c608de43017282%7C084578d9400d4a5aa7c7e76ca47af400%7=
C1%7C0%7C639021870651608317%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWU=
sIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7=
C%7C%7C&sdata=3DResQKZeZxUmh4pZeuU3OXHRrXESsa39jda6KKef%2BPnU%3D&re=
served=3D0" originalSrc=3D"http://trendsfp.github.io/" target=3D"_blank" re=
l=3D"noopener noreferrer">trendsfp.github.io</a>)</div>
<div> </div>
<div><strong>Venue</strong></div>
<div>TFPiE and TFP will take place in-person in Odense, Denmark, at the Uni=
versity of</div>
<div>Southern Denmark.</div>
<div> </div>
<div><strong>Dates</strong></div>
<div>Early registration: 31 December, 2025</div>
<div>Late registration: 20 January , 2026</div>
<div>TFPiE Workshop: Monday 26 January, 2026</div>
<div>TFP Symposium: Tuesday 27 - Thursday 29 January, 2026</div>
<div> </div>
<div>The Symposium on Trends in Functional Programming (TFP) is an internat=
ional</div>
<div>forum for researchers with interests in all aspects of functional prog=
ramming,</div>
<div>taking a broad view of current and future trends in the area. It aspir=
es to be a</div>
<div>lively environment for presenting the latest research results, and oth=
er</div>
<div>contributions.</div>
<div> </div>
<div><strong>Keynote speakers</strong></div>
<div>We are happy to have the following keynotes in the programme:</div>
<div> </div>
<div>Alex Gerdes (TFPiE), Gothenburg University and Chalmers:</div>
<div> "Generating Feedback from Rewrite Strategies for Interac=
tive Exercises"</div>
<div>Joachim Breitner, Lean Focused Research Organization:</div>
<div> "Lean Highlights"</div>
<div>Ohad Kammar, University of Edinburgh:</div>
<div> "Synthetic Convolution"</div>
<div>András Kovács, Gothenburg University and Chalmers:</div>
<div> TBA</div>
<div> </div>
<div><strong>Programme</strong></div>
<div>
<div>We have 13 paper presentations, as well as invited talks. A preliminar=
y</div>
<div>programme schedule can be found here:</div>
</div>
<div><a href=3D"https://eur01.safelinks.protection.outlook.com/?url=3Dhttp%=
3A%2F%2Ftrendsfp.github.io%2Fschedule.html&data=3D05%7C02%7Cclean-list%=
40science.ru.nl%7C8db4798d7f6c412a37c608de43017282%7C084578d9400d4a5aa7c7e7=
6ca47af400%7C1%7C0%7C639021870651625144%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1=
hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ=
%3D%3D%7C0%7C%7C%7C&sdata=3DME2grOfvXQp38j0Gr2TSX0BCTIme%2B%2FyLSIByEKG=
W87c%3D&reserved=3D0" originalSrc=3D"http://trendsfp.github.io/schedule=
.html" target=3D"_blank" rel=3D"noopener noreferrer">trendsfp.github.io/sch=
edule.html</a></div>
<div> </div>
<div><strong>Excursion and banquet</strong></div>
<div>In the afternoon and evening of Wednesday January 28th we have an excu=
rsion to</div>
<div>H.C. Andersen Museum, followed by a break before heading to Madklubben=
for the</div>
<div>conference banquet.</div>
<div> </div>
<div><strong>Travel Scholarship</strong></div>
<div>
<div>Thanks to the generous support from the Carlsberg Foundation, we are a=
ble to</div>
<div>offer travel scholarships (DKK 3000 ~ USD 470 ~ EUR 400) to young rese=
archers</div>
<div>traveling to attend TFP 2026 in Odense, Denmark. Information on =
how to apply</div>
<div>can be found here:</div>
<div><a href=3D"https://eur01.safelinks.protection.outlook.com/?url=3Dhttps=
%3A%2F%2Ftrendsfp.github.io%2Fscholarship.html&data=3D05%7C02%7Cclean-l=
ist%40science.ru.nl%7C8db4798d7f6c412a37c608de43017282%7C084578d9400d4a5aa7=
c7e76ca47af400%7C1%7C0%7C639021870651639927%7CUnknown%7CTWFpbGZsb3d8eyJFbXB=
0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIj=
oyfQ%3D%3D%7C0%7C%7C%7C&sdata=3D05OwdqRiza%2Fa2av2jrUyNj6svSsQT6D3hFzvi=
z3Eru8%3D&reserved=3D0" originalSrc=3D"https://trendsfp.github.io/schol=
arship.html" target=3D"_blank" rel=3D"noopener noreferrer">https://trendsfp=
.github.io/scholarship.html</a></div>
<div> </div>
</div>
</div>
</div>
</div>
</div>
</body></html>
--=_8edb589134ad9dee64d768f7610086a4--
--===============5740911018266035570==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KY2xlYW4tbGlz
dCBtYWlsaW5nIGxpc3QKY2xlYW4tbGlzdEBzY2llbmNlLnJ1Lm5sCmh0dHBzOi8vbWFpbG1hbi5z
Y2llbmNlLnJ1Lm5sL21haWxtYW4vbGlzdGluZm8vY2xlYW4tbGlzdAo=
--===============5740911018266035570==--