<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt; font-family: Verdana,Geneva,sans-serif'>
<div id="editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div id="v1v1v1v1v1v1v1v1v1v1v1v1v1v1v1v1v1editbody1" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<p><span style="font-family: 'courier new', courier, monospace;"># TFP 2026 -- Call for Papers</span><br /><span style="font-family: 'courier new', courier, monospace;">(trendsfp.github.io)</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">## Important Dates</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">* Submission deadline (pre-symposium, full papers): Thu 13th Nov 2025 (AOE)</span><br /><span style="font-family: 'courier new', courier, monospace;">* Notification (pre-symposium, full papers): Thu 11th Dec 2025</span><br /><span style="font-family: 'courier new', courier, monospace;">* Submission deadline (pre-symposium draft papers): Thu 11th Dec 2025 (AOE)</span><br /><span style="font-family: 'courier new', courier, monospace;">* Notification (pre-symposium draft papers): Fri 19th Dec 2025</span><br /><span style="font-family: 'courier new', courier, monospace;">* Submission deadline (post-symposium review): Thu 5th Mar 2026 (AOE)</span><br /><span style="font-family: 'courier new', courier, monospace;">* Notification (post-symposium submissions): Thu 16th Apr 2026</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">The Symposium on Trends in Functional Programming (TFP) is an international</span><br /><span style="font-family: 'courier new', courier, monospace;">forum for researchers with interests in all aspects of functional programming,</span><br /><span style="font-family: 'courier new', courier, monospace;">taking a broad view of current and future trends in the area. It aspires to be a</span><br /><span style="font-family: 'courier new', courier, monospace;">lively environment for presenting the latest research results, and other</span><br /><span style="font-family: 'courier new', courier, monospace;">contributions.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">This year, TFP will take place in-person at the University of Southern Denmark,</span><br /><span style="font-family: 'courier new', courier, monospace;">in Odense, Denmark. It is co-located with the Trends in Functional Programming</span><br /><span style="font-family: 'courier new', courier, monospace;">in Education (TFPIE) workshop, which will take on the day before the main</span><br /><span style="font-family: 'courier new', courier, monospace;">symposium.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Please be aware that TFP has several submission deadlines. The first, 13th</span><br /><span style="font-family: 'courier new', courier, monospace;">November, is for authors who wish to have their full paper reviewed prior to the</span><br /><span style="font-family: 'courier new', courier, monospace;">symposium. Papers that are accepted in this way must also be presented at the</span><br /><span style="font-family: 'courier new', courier, monospace;">symposium. The second, 11th December, is for authors who wish to present their</span><br /><span style="font-family: 'courier new', courier, monospace;">work or work-in-progress at the symposium first without submitting to the full</span><br /><span style="font-family: 'courier new', courier, monospace;">review process for publication. These authors can then take into account</span><br /><span style="font-family: 'courier new', courier, monospace;">feedback received at the symposium and submit a full paper for review by the</span><br /><span style="font-family: 'courier new', courier, monospace;">third deadline, 19th February.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">## Scope</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">The symposium recognizes that new trends may arise through various routes. As</span><br /><span style="font-family: 'courier new', courier, monospace;">part of the Symposium’s focus on trends we therefore identify the following five</span><br /><span style="font-family: 'courier new', courier, monospace;">paper categories. High-quality submissions are solicited in any of these</span><br /><span style="font-family: 'courier new', courier, monospace;">categories:</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">* Research Papers: Leading-edge, previously unpublished research work</span><br /><span style="font-family: 'courier new', courier, monospace;">* Position Papers: On what new trends should or should not be</span><br /><span style="font-family: 'courier new', courier, monospace;">* Project Papers: Descriptions of recently started new projects</span><br /><span style="font-family: 'courier new', courier, monospace;">* Evaluation Papers: What lessons can be drawn from a finished project</span><br /><span style="font-family: 'courier new', courier, monospace;">* Overview Papers: Summarizing work with respect to a trendy subject</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Papers must be original and not simultaneously submitted for publication to any</span><br /><span style="font-family: 'courier new', courier, monospace;">other forum. They may consider any aspect of functional programming:</span><br /><span style="font-family: 'courier new', courier, monospace;">theoretical, implementation-oriented, or experience-oriented. Applications of</span><br /><span style="font-family: 'courier new', courier, monospace;">functional programming techniques to other languages are also within the scope</span><br /><span style="font-family: 'courier new', courier, monospace;">of the symposium.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Topics suitable for the symposium include, but are not limited to:</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">* Functional programming and multicore/manycore computing</span><br /><span style="font-family: 'courier new', courier, monospace;">* Functional programming in the cloud</span><br /><span style="font-family: 'courier new', courier, monospace;">* High performance functional computing</span><br /><span style="font-family: 'courier new', courier, monospace;">* Extra-functional (behavioural) properties of functional programs</span><br /><span style="font-family: 'courier new', courier, monospace;">* Dependently typed functional programming</span><br /><span style="font-family: 'courier new', courier, monospace;">* Validation and verification of functional programs</span><br /><span style="font-family: 'courier new', courier, monospace;">* Debugging and profiling for functional languages</span><br /><span style="font-family: 'courier new', courier, monospace;">* Functional programming in different application areas: </span><br /><span style="font-family: 'courier new', courier, monospace;"> security, mobility, telecommunications applications, embedded systems, </span><br /><span style="font-family: 'courier new', courier, monospace;"> global computing, grids, etc.</span><br /><span style="font-family: 'courier new', courier, monospace;">* Interoperability with imperative programming languages</span><br /><span style="font-family: 'courier new', courier, monospace;">* Novel memory management techniques</span><br /><span style="font-family: 'courier new', courier, monospace;">* Program analysis and transformation techniques</span><br /><span style="font-family: 'courier new', courier, monospace;">* Empirical performance studies</span><br /><span style="font-family: 'courier new', courier, monospace;">* Abstract/virtual machines and compilers for functional languages</span><br /><span style="font-family: 'courier new', courier, monospace;">* (Embedded) domain specific languages</span><br /><span style="font-family: 'courier new', courier, monospace;">* New implementation strategies</span><br /><span style="font-family: 'courier new', courier, monospace;">* Any new emerging trend in the functional programming area</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">If you are in doubt on whether your paper is within the scope of TFP, please</span><br /><span style="font-family: 'courier new', courier, monospace;">contact the programme chair, Casper Bach.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">## Best Paper Awards</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">TFP awards two prizes for the best papers each year.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">First, to reward excellent contributions, TFP awards a prize for the best</span><br /><span style="font-family: 'courier new', courier, monospace;">overall paper accepted for the post-conference formal proceedings.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Second, each year TFP also awards a prize for the best student paper. TFP</span><br /><span style="font-family: 'courier new', courier, monospace;">traditionally pays special attention to research students, acknowledging that</span><br /><span style="font-family: 'courier new', courier, monospace;">students are almost by definition part of new subject trends. A student paper is</span><br /><span style="font-family: 'courier new', courier, monospace;">one for which the authors state that the paper is mainly the work of students,</span><br /><span style="font-family: 'courier new', courier, monospace;">the students are the paper’s first authors, and a student would present the</span><br /><span style="font-family: 'courier new', courier, monospace;">paper.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">In both cases, it is the PC of TFP that awards the prize. In case the best paper</span><br /><span style="font-family: 'courier new', courier, monospace;">happens to be a student paper, then that paper will receive both prizes.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">## Instructions to Authors</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Submission is via HotCRP:</span></p>
<p><span style="font-family: 'courier new', courier, monospace;"> https://tfp26.hotcrp.com/</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Authors of papers have the choice of having their contributions formally</span><br /><span style="font-family: 'courier new', courier, monospace;">reviewed either before or after the Symposium. Further, pre-symposium</span><br /><span style="font-family: 'courier new', courier, monospace;">submissions may either be full (earlier deadline) or draft papers (later</span><br /><span style="font-family: 'courier new', courier, monospace;">deadline). See below for more details.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Submission is single-blind.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Submissions are welcome from PC members (except the chair).</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Accepted papers from the pre-symposium and post-symposium formal review will</span><br /><span style="font-family: 'courier new', courier, monospace;">appear in a formal proceedings, published by Springer.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Papers must be written in English, and written using the LNCS style. For more</span><br /><span style="font-family: 'courier new', courier, monospace;">information about formatting please consult the Springer LNCS Guidelines web</span><br /><span style="font-family: 'courier new', courier, monospace;">site</span><br /><span style="font-family: 'courier new', courier, monospace;">(https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines).</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">### Pre-symposium formal review</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Papers to be formally reviewed before the symposium should be submitted before</span><br /><span style="font-family: 'courier new', courier, monospace;">the early deadline and will receive their reviews and notification of acceptance</span><br /><span style="font-family: 'courier new', courier, monospace;">for both presentation and publication before the symposium. A paper that has</span><br /><span style="font-family: 'courier new', courier, monospace;">been rejected for publication but accepted for presentation may be revised and</span><br /><span style="font-family: 'courier new', courier, monospace;">resubmitted for the post-symposium formal review.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">### Post-symposium formal review</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Draft papers will receive minimal reviews and notification of acceptance for</span><br /><span style="font-family: 'courier new', courier, monospace;">presentation at the symposium. Authors of draft papers will be invited to submit</span><br /><span style="font-family: 'courier new', courier, monospace;">revised papers based on the feedback received at the symposium. A post-symposium</span><br /><span style="font-family: 'courier new', courier, monospace;">refereeing process will then select a subset of these papers for formal</span><br /><span style="font-family: 'courier new', courier, monospace;">publication.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">### Paper categories</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Draft papers and papers submitted for formal review are submitted as extended</span><br /><span style="font-family: 'courier new', courier, monospace;">abstracts (4 to 10 pages in length) or full papers (up to 20 pages). The</span><br /><span style="font-family: 'courier new', courier, monospace;">submission must clearly indicate which category it belongs to: research,</span><br /><span style="font-family: 'courier new', courier, monospace;">position, project, evaluation, or overview paper. It should also indicate which</span><br /><span style="font-family: 'courier new', courier, monospace;">authors are research students, and whether the main author(s) are students. A</span><br /><span style="font-family: 'courier new', courier, monospace;">draft paper for which all authors are students will receive additional feedback</span><br /><span style="font-family: 'courier new', courier, monospace;">by one of the PC members shortly after the symposium has taken place.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">## Organizing Committee</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">| Casper Bach | University of Southern Denmark, DK | Programme Chair |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Jeremy Gibbons | University of Oxford | General Chair |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Peter Achten | Radboud University Nijmegen, NL | Publicity Chair |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Marco T. Morazán | Seton Hall University, US | Steering Committee Chair |</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">## Programme Committee</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">| Alex Gerdes | University of Gothenburg and Chalmers, SE |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Andrew Tolmach | Portland State University, US |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Ben Greenman | University of Utah, US |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Bruno Oliveira | University of Hong Kong, HK |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Cas van der Rest | Shielded Technologies, NL |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Cristina Matache | University of Edinburgh, UK |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Di Wang | Peking University, CN |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Dylan McDermott | University of Oxford, UK |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Eric Van Wyk | University of Minnesota, US |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Jan de Muijnck-Hughe | Strathclyde, UK |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Jeremy Yallop | University of Cambridge, UK |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Jesper Cockx | Delft University of Technology, NL |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Jules Jacobs | Cornell University, US |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Mart Lubbers | Radboud University, NL |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Matthew Lutze | Aarhus University, DK |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Max S. New | University of Michigan, US |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Nicolas Wu | Imperial College London, UK |</span><br /><span style="font-family: 'courier new', courier, monospace;">| Patrick Bahr | IT University of Copenhagen, DK |</span></p>
<p><br /></p>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body></html>