Description
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. See the call for papers for more details.
In 2026, the event is taking place in person in the Department of Mathematics and Computer Science at the Odense Campus of the University of Southern Denmark. It will be a 4-day event, with TFPiE taking place on 26th January 2026, followed by TFP on 27th to 29th January.
TFP offers a friendly and constructive reviewing process designed to help less experienced authors succeed, with an opportunity for two rounds of review, both before and after the symposium itself. Authors thus have an opportunity to address reviewers’ concerns before the final decision on publication in the Proceedings is taken, in the light of previous reviews and discussions at the symposium.
TFP offers two “best paper” awards, the John McCarthy award for best paper, and the David Turner award for best student paper.
See the call for papers for more information.
Important Dates
| Submission deadline (pre-symposium, full papers) | Thu 13th Nov 2025 (AOE) |
| Notification (pre-symposium, full papers) | Thu 11th Dec 2025 |
| Submission deadline (pre-symposium draft papers) | Thu 11th Dec 2025 (AOE) |
| Notification (pre-symposium draft papers) | Fri 19th Dec 2025 |
| Submission deadline (post-symposium review) | Thu 5th Mar 2026 (AOE) |
| Notification (post-symposium submissions) | Thu 16th Apr 2026 |
See the call for papers for more information.
Keynotes
Joachim Breitner (Lean FRO)
Lean Highlights
Lean offers many interesting features, from slick syntax over powerful tactics to a helpful IDE. Some features are some impressive, some are taken for granted, and some may be surprising. Joachim will highlight, demo, and maybe even explain as many of these as he can squeeze into the talk.
Bio: Ever since Joachim has found beauty and elegance in Functional Programming, he’s been working with and on functional programming languages, in particular Haskell. He’s also always been fascinated by Interactive Theorem Proving and his academic persona used Isabelle and Rocq to formalize mathematics and verify programs. These two interests find their natural synthesis in the Lean programming language, and so Joachim joined the Lean FRO to work on Lean itself. Besides such serious nerdery, you’ll find Joachim dancing Swing and Tango (in particular when traveling, so talk to him if you want to join), playing board games, performing stand-up comedy, flying paraglider and unapologetically making bad puns.
Ohad Kammar (University of Edinburgh)
Synthetic convolution
Convolution is a concept from real analysis with varied applications including signal processing. A few years ago I bumped into a preprint by Conal Elliott using semiring modules as a setting for generalised convolutions, and applying them to formal language matching and parsing. In this talk I will introduce, within the Idris 2 programming language, a general notion of convolution through the vocabulary of Anders Kock’s synthetic measure theory. These synthetic convolutions are based on commutative monads, and generalise the convolutions Elliott uses to parse as well as the more traditional ones in analysis.
András Kovács (University of Gothenburg and Chalmers University)
TBA
Supporters
Organizing Committee
| Casper Bach | University of Southern Denmark, DK | Programme Chair |
| Jeremy Gibbons | University of Oxford, UK | General Chair |
| Peter Achten | Radboud University Nijmegen, NL | Publicity Chair |
| Jason Hemann | Seton Hall University, US | Conference Chair |
| Marco T. Morazán | Seton Hall University, US | Steering Committee Chair |