Welcome! The 2025 edition of Trends in Functional Programming in Education will be held on January 13th at Oxford University in the UK, together with TFP which will be held on January 14-16.

The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2025 will screen submissions to ensure that all presentations are within scope and are of interest to participants. After the workshop, presenters will be invited to submit revised versions of their articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS).

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands (2014), Sophia-Antipolis, France (2015), College Park, USA (2016), Canterbury, UK (2017), Gothenburg (2018) Vancouver (2019), Krakow, Poland (2020), online due to COVID-19 (2021, 2022, with some talks from TFPIE 2022 also presented in person at the Lambda Days in Krakow, Poland), Boston, MA, USA (2023) (back in-person), and Seton Hall, NJ, USA (2024).

Submission Guidelines

See the TFPiE wiki for instructions: https://wiki.tfpie.science.ru.nl/TFPIE2025

All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are

Program Committee

The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.

• Rose Bohrer (Chair) - Worcester Polytechnic Institute, USA
• Mart Lubbers - Radboud University Nijmegen, Netherlands
• Youyou Cong - Tokyo Institute of Technology, Japan
• Melinda Tóth - Eötvös Loránd University, Budapest, Hungary
• Christopher Anand - McMaster University, Hamilton, Canada
• Guannan Wei - INRIA and ENS Paris, Paris, France

Invited Speakers

Speaker: Nicolas Wu, Imperial College London

Title: Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds

Abstract: Computer science is rich in its applications, from the beautiful patterns found in fractals to the stragic problem-solving of graph algorithms. In this talk, we look at how coursework built around fractals and graphs has been used to help students understand core computer science material while keeping them inspired and engaged.

Nicolas Wu is a Reader of Computing at Imperial College London, where he leads the Functional Programming research group. His research focuses on programming languages, particularly the application of category theory to program semantics and algorithms. His recent work explores connections between domain-specific languages, algebraic effect handlers, and recursion schemes.

Publication

Accepted, presented papers are published in EPTCS pending an additional post-workshop round of review and revision.

Contact

All questions about submissions should be emailed to the PC Chair, Rose Bohrer.