<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'>
<p><span style="font-family: 'courier new', courier, monospace;"># TFP 2025 – 3rd Call for Papers</span><br /><span style="font-family: 'courier new', courier, monospace;">(trendsfp.github.io)</span><br /><span style="font-family: 'courier new', courier, monospace;">26th International Symposium on Trends in Functional Programming 14-16 January 2025, Oxford, UK</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">## Important Dates</span></p>
<p><span style="font-family: 'courier new', courier, monospace; color: #7e8c8d;">Submission deadline (pre-symposium, full papers): Wed 13th Nov 2024 (AOE)</span><br /><span style="font-family: 'courier new', courier, monospace;">Notification (pre-symposium, full papers): Wed 11th Dec 2024</span><br /><span style="font-family: 'courier new', courier, monospace;">Submission deadline (pre-symposium draft papers): Wed 11th Dec 2024 (AOE)</span><br /><span style="font-family: 'courier new', courier, monospace;">Notification (pre-symposium draft papers): Mon 16th Dec 2024</span><br /><span style="font-family: 'courier new', courier, monospace;">Submission deadline (post-symposium review): Wed 19th Feb 2025 (AOE)</span><br /><span style="font-family: 'courier new', courier, monospace;">Notification (post-symposium submissions): Wed 26th Mar 2025</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 </span><br /><span style="font-family: 'courier new', courier, monospace;">a 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 Oxford, UK. It </span><br /><span style="font-family: 'courier new', courier, monospace;">is co-located with the Trends in Functional Programming in Education (TFPiE) </span><br /><span style="font-family: 'courier new', courier, monospace;">workshop, which will take on the day before the main 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 </span><br /><span style="font-family: 'courier new', courier, monospace;">the symposium. Papers that are accepted in this way must also be presented at </span><br /><span style="font-family: 'courier new', courier, monospace;">the symposium. The second, 11th December, is for authors who wish to present </span><br /><span style="font-family: 'courier new', courier, monospace;">their work or work-in-progress at the symposium first without submitting to </span><br /><span style="font-family: 'courier new', courier, monospace;">the full review process for publication. These authors can then take into </span><br /><span style="font-family: 'courier new', courier, monospace;">account feedback received at the symposium and submit a full paper for review </span><br /><span style="font-family: 'courier new', courier, monospace;">by the 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: theoretical, </span><br /><span style="font-family: 'courier new', courier, monospace;">implementation-oriented, or experience-oriented. Applications of functional </span><br /><span style="font-family: 'courier new', courier, monospace;">programming techniques to other languages are also within the scope of the </span><br /><span style="font-family: 'courier new', courier, monospace;">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, Jeremy Gibbons.</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 overall </span><br /><span style="font-family: 'courier new', courier, monospace;">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 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 EquinOCS (https://equinocs.springernature.com/service/tfp2025).</span><br /><span style="font-family: 'courier new', courier, monospace;">Please observe that it is temporarily closed while we deal with pre-symposium full paper submissions, it will reopening on 2nd December.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Authors of papers have the choice of having their contributions formally reviewed </span><br /><span style="font-family: 'courier new', courier, monospace;">either before or after the Symposium. Further, pre-symposium submissions may either </span><br /><span style="font-family: 'courier new', courier, monospace;">be full (earlier deadline) or draft papers (later deadline).</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 the </span><br /><span style="font-family: 'courier new', courier, monospace;">early deadline and will receive their reviews and notification of acceptance for </span><br /><span style="font-family: 'courier new', courier, monospace;">both presentation and publication before the symposium. A paper that has been </span><br /><span style="font-family: 'courier new', courier, monospace;">rejected for publication but accepted for presentation may be revised and resubmitted </span><br /><span style="font-family: 'courier new', courier, monospace;">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 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 submission </span><br /><span style="font-family: 'courier new', courier, monospace;">must clearly indicate which category it belongs to: research, position, project, </span><br /><span style="font-family: 'courier new', courier, monospace;">evaluation, or overview paper. It should also indicate which authors are research </span><br /><span style="font-family: 'courier new', courier, monospace;">students, and whether the main author(s) are students. A draft paper for which all </span><br /><span style="font-family: 'courier new', courier, monospace;">authors are students will receive additional feedback by one of the PC members </span><br /><span style="font-family: 'courier new', courier, monospace;">shortly after the symposium has taken place.</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">## Format</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 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;">## Organizing Committee</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Jeremy Gibbons University of Oxford, UK Programme Chair</span><br /><span style="font-family: 'courier new', courier, monospace;">Jason Hemann Seton Hall University, US Conference 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><br /><span style="font-family: 'courier new', courier, monospace;">Peter Achten Radboud University Nijmegen, NL</span><br /><span style="font-family: 'courier new', courier, monospace;">Edwin Brady University of St Andrews, UK</span><br /><span style="font-family: 'courier new', courier, monospace;">Laura Castro University of A Coruña, ES</span><br /><span style="font-family: 'courier new', courier, monospace;">Youyou Cong Tokyo Institute of Technology, JP</span><br /><span style="font-family: 'courier new', courier, monospace;">Paul Downen University of Massachusetts Lowell, US</span><br /><span style="font-family: 'courier new', courier, monospace;">João Paulo Fernandes University of Coimbra, PT</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;">Jurriaan Hage Heriot-Watt University, UK</span><br /><span style="font-family: 'courier new', courier, monospace;">Jason Hemann Seton Hall University, US</span><br /><span style="font-family: 'courier new', courier, monospace;">Zhenjiang Hu Peking University, CN</span><br /><span style="font-family: 'courier new', courier, monospace;">Hans-Wolfgang Loidl Heriot-Watt University, UK</span><br /><span style="font-family: 'courier new', courier, monospace;">Kazutaka Matsuda Tohoku University, JP</span><br /><span style="font-family: 'courier new', courier, monospace;">Zoe Paraskevopoulou Ethereum Foundation, US</span><br /><span style="font-family: 'courier new', courier, monospace;">Alejandro Serrano 47 Degrees, ES</span><br /><span style="font-family: 'courier new', courier, monospace;">Nick Smallbone Chalmers University, SE</span><br /><span style="font-family: 'courier new', courier, monospace;">Alley Stoughton Boston University, US</span><br /><span style="font-family: 'courier new', courier, monospace;">Wouter Swierstra Utrecht University, NL</span><br /><span style="font-family: 'courier new', courier, monospace;">Niki Vazou IMDEA Software Institute, ES</span><br /><span style="font-family: 'courier new', courier, monospace;">Marcos Viera Universidad de la República, UY</span><br /><span style="font-family: 'courier new', courier, monospace;">Viktória Zsók Eötvös Loránd University of Sciences, HU</span></p>
</body></html>