<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 2024 -- 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, Saturday 4 November, 2023 (AOE)</span><br /><span style="font-family: 'courier new', courier, monospace;">Submission deadline: pre-symposium, draft papers, Friday 8 December, 2023 (AOE)</span><br /><span style="font-family: 'courier new', courier, monospace;">Notification: pre-symposium full papers, Friday 8 December, 2023</span><br /><span style="font-family: 'courier new', courier, monospace;">Notification: pre-symposium draft papers, Thursday 14 December, 2023</span><br /><span style="font-family: 'courier new', courier, monospace;">Registration: Friday 5 January, 2024</span><br /><span style="font-family: 'courier new', courier, monospace;">TFPIE Workshop: Tuesday 9 January, 2024</span><br /><span style="font-family: 'courier new', courier, monospace;">TFP Symposium: Wednesday 10 - Friday 12 January, 2024</span><br /><span style="font-family: 'courier new', courier, monospace;">Submission deadline: post-symposium review, Friday 23 February, 2024 (AOE)</span><br /><span style="font-family: 'courier new', courier, monospace;">Notification: post-symposium submissions, Friday 5 April, 2024</span><br /><span style="font-family: 'courier new', courier, monospace;">Camera-ready: post-symposium submissions, Friday 3 May, 2024 (AOE)</span></p>
<p><br /><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 </span><br /><span style="font-family: 'courier new', courier, monospace;">be 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 Seton Hall University, in South </span><br /><span style="font-family: 'courier new', courier, monospace;">Orange, NJ in the United States. It is co-located with the Trends in Functional </span><br /><span style="font-family: 'courier new', courier, monospace;">Programming in Education (TFPIE) workshop, which will take on the day before </span><br /><span style="font-family: 'courier new', courier, monospace;">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, November 4, </span><br /><span style="font-family: 'courier new', courier, monospace;">is for authors that wish to have their full paper reviewed prior to the symposium. </span><br /><span style="font-family: 'courier new', courier, monospace;">Papers that are accepted in this way must also be presented at the symposium. The </span><br /><span style="font-family: 'courier new', courier, monospace;">second, November 30, is for authors that wish to present their work or work-in </span><br /><span style="font-family: 'courier new', courier, monospace;">progress at the symposium first without submitting to the full review process for </span><br /><span style="font-family: 'courier new', courier, monospace;">publication. These authors can then take into account feedback received at the </span><br /><span style="font-family: 'courier new', courier, monospace;">symposium and submit a full article for review by the third deadline, February 23.</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 part </span><br /><span style="font-family: 'courier new', courier, monospace;">of the Symposium's focus on trends we therefore identify the following five article </span><br /><span style="font-family: 'courier new', courier, monospace;">categories. High-quality articles are solicited in any of these categories:</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">* Research Articles:</span><br /><span style="font-family: 'courier new', courier, monospace;"> Leading-edge, previously unpublished research work</span><br /><span style="font-family: 'courier new', courier, monospace;">* Position Articles:</span><br /><span style="font-family: 'courier new', courier, monospace;"> On what new trends should or should not be</span><br /><span style="font-family: 'courier new', courier, monospace;">* Project Articles:</span><br /><span style="font-family: 'courier new', courier, monospace;"> Descriptions of recently started new projects</span><br /><span style="font-family: 'courier new', courier, monospace;">* Evaluation Articles:</span><br /><span style="font-family: 'courier new', courier, monospace;"> What lessons can be drawn from a finished project</span><br /><span style="font-family: 'courier new', courier, monospace;">* Overview Articles:</span><br /><span style="font-family: 'courier new', courier, monospace;"> Summarizing work with respect to a trendy subject</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Articles 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 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</span><br /><span style="font-family: 'courier new', courier, monospace;"> systems, 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 article is within the scope of TFP, please contact </span><br /><span style="font-family: 'courier new', courier, monospace;">the TFP 2024 program chair, Jason Hemann.</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 paper </span><br /><span style="font-family: 'courier new', courier, monospace;">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 traditionally </span><br /><span style="font-family: 'courier new', courier, monospace;">pays special attention to research students, acknowledging that students are almost by </span><br /><span style="font-family: 'courier new', courier, monospace;">definition part of new subject trends. A student paper is one for which the authors </span><br /><span style="font-family: 'courier new', courier, monospace;">state that the paper is mainly the work of students, the students are the paper’s first </span><br /><span style="font-family: 'courier new', courier, monospace;">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 happens </span><br /><span style="font-family: 'courier new', courier, monospace;">to be a student paper, then that paper will receive both prizes.</span></p>
<p><br /><span style="font-family: 'courier new', courier, monospace;">## Instructions to Authors</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Authors must submit papers to:</span></p>
<p><span style="font-family: 'courier new', courier, monospace;"> https://easychair.org/conferences/?conf=tfp24</span></p>
<p><span style="font-family: 'courier new', courier, monospace;">Authors of papers have the choice of having their contributions formally reviewed either </span><br /><span style="font-family: 'courier new', courier, monospace;">before or after the Symposium. Further, pre-symposium submissions may either be full </span><br /><span style="font-family: 'courier new', courier, monospace;">(earlier deadline) or draft papers (later deadline).</span></p>
<p><br /><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 early </span><br /><span style="font-family: 'courier new', courier, monospace;">deadline and will receive their reviews and notification of acceptance for both presentation </span><br /><span style="font-family: 'courier new', courier, monospace;">and publication before the symposium. A paper that has been rejected for publication but </span><br /><span style="font-family: 'courier new', courier, monospace;">accepted for presentation may be resubmitted for the post-symposium formal review.</span></p>
<p><br /><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 presentation at </span><br /><span style="font-family: 'courier new', courier, monospace;">the symposium. Authors of draft papers will be invited to submit revised papers based on the </span><br /><span style="font-family: 'courier new', courier, monospace;">feedback receive at the symposium. A post-symposium refereeing process will then select a </span><br /><span style="font-family: 'courier new', courier, monospace;">subset of these articles for formal publication.</span></p>
<p><br /><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 abstracts (4 to </span><br /><span style="font-family: 'courier new', courier, monospace;">10 pages in length) or full papers (20 pages). The submission must clearly indicate which </span><br /><span style="font-family: 'courier new', courier, monospace;">category it belongs to: research, position, project, evaluation, or overview paper. It should </span><br /><span style="font-family: 'courier new', courier, monospace;">also indicate which authors are research students, and whether the main author(s) are students. </span><br /><span style="font-family: 'courier new', courier, monospace;">A draft paper for which all authors are students will receive additional feedback by one of the </span><br /><span style="font-family: 'courier new', courier, monospace;">PC members shortly after the symposium has taken place.</span></p>
<p><br /><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 information about </span><br /><span style="font-family: 'courier new', courier, monospace;">formatting please consult the Springer LNCS Guidelines web site:</span></p>
<p><span style="font-family: 'courier new', courier, monospace;"> https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines</span></p>
<p><br /><span style="font-family: 'courier new', courier, monospace;">## Organizing Committee</span><br /><span style="font-family: 'courier new', courier, monospace;">Jason Hemann PC Chair Seton Hall University, USA</span><br /><span style="font-family: 'courier new', courier, monospace;">Stephen Chang Symposium Chair University of Massachusetts Boston, USA</span><br /><span style="font-family: 'courier new', courier, monospace;">Shajina Anand Local Arrangements Seton Hall University, South Orange, USA</span><br /><span style="font-family: 'courier new', courier, monospace;">Peter Achten Publicity Chair Radboud University Nijmegen, Netherlands</span></p>
</body></html>