# TFP 20= 25 – 3rd Call for Papers
(trendsfp.github.io)
26th International Sy= mposium on Trends in Functional Programming 14-16 January 2025, Oxford, UK<= /span>

## Impor= tant Dates

Submission deadline (pre-symposium, full papers): Wed 13th Nov 2024= (AOE)
Notification (pre-symposium, full papers= ): Wed 11th Dec 2024
Submission deadline (pre-symposium draft papers): Wed= 11th Dec 2024 (AOE)
Notification (pre-symposiu= m draft papers): Mon 16th Dec 2024
Submission deadline (post-symposium rev= iew): Wed 19th Feb 2025 (AOE)
Notification &n= bsp; (post-symposium submissions): Wed 26th Mar 2025

The Symp= osium on Trends in Functional Programming (TFP) is an international
= forum for researchers with interests in all aspects of functional programmi= ng,
taking a broad view of current and future trends in the area. It= aspires to be
a lively environment for presenting the latest resear= ch results, and other
contributions.

This yea= r, TFP will take place in-person at the University of Oxford, UK. It <= /span>
is co-located with the Trends in Functional Programming in Education (TFPi= E)
workshop, which will take on the day before the main symposium.

Please b= e aware that TFP has several submission deadlines. The first, 13th
N= ovember, is for authors who wish to have their full paper reviewed prior to=
the symposium. Papers that are accepted in this way must also be pr= esented at
the symposium. The second, 11th December, is for authors = who wish to present
their work or work-in-progress at the symposium = first without submitting to
the full review process for publication.= These authors can then take into
account feedback received at the s= ymposium and submit a full paper for review
by the third deadline,= 19th February.

## Scope=

The symp= osium recognizes that new trends may arise through various routes. As =
paper categories. High-quality submissions are solicit= ed in any of these
categories:

* = Research Papers: Leading-edge, previously unpublished research work=
* &nb= sp; Position Papers: On what new trends should or should not be
* P= roject Papers: Descriptions of recently started new projects
* Eval= uation Papers: What lessons can be drawn from a finished project
* = Overview Papers: Summarizing work with respect to a trendy subject

Papers m= ust be original and not simultaneously submitted for publication to any&nbs= p;
other forum. They may consider any aspect of functional programming: th= eoretical,
implementation-oriented, or experience-oriented. Applicat= ions of functional
programming techniques to other languages are als= o within the scope of the
symposium.

Topics s= uitable for the symposium include, but are not limited to:

* = Functional programming and multicore/manycore computing
* Function= al programming in the cloud
* High performance functional computing=
* Validation an= d verification of functional programs
* Debugging and profiling for= functional languages
* Functional programming in different applica= tion areas:
security, mobility, telecommunications app= lications, embedded systems,
global computing, grids, = etc.
* Interoperability with imperative programming languages
* &n= bsp; Novel memory management techniques
* Program analysis and tran= sformation techniques
* Empirical performance studies
<= span style=3D"font-family: 'courier new', courier, monospace;">* Abs= tract/virtual machines and compilers for functional languages
<= span style=3D"font-family: 'courier new', courier, monospace;">* (Em= bedded) domain specific languages
* New implementation strategies
= * Any new emerging trend in the functional programming area

If you a= re in doubt on whether your paper is within the scope of TFP, please <= /span>
contact the programme chair, Jeremy Gibbons.

## Best = Paper Awards

TFP awar= ds two prizes for the best papers each year.

First, t= o reward excellent contributions, TFP awards a prize for the best overall&n= bsp;
paper accepted for the post-conference formal proceedings.

Second, = each year TFP also awards a prize for the best student paper. TFP
tr= aditionally pays special attention to research students, acknowledging that=
students are almost by definition part of new subject trends. A stu= dent paper is
one for which the authors state that the paper is main= ly the work of students,
the students are the paper’s first au= thors, and a student would present the paper.

In both = cases, it is the PC of TFP that awards the prize. In case the best paper&nb= sp;
happens to be a student paper, then that paper will receive both prize= s.

## Instr= uctions to Authors

Submissi= on is via EquinOCS (https://equinocs.springernature.com/service/tfp2025).
= Please observe that it is temporarily closed while we deal with pre-symposi= um full paper submissions, it will reopening on 2nd December.

Authors = of papers have the choice of having their contributions formally reviewed&n= bsp;
either before or after the Symposium. Further, pre-symposium submissi= ons may either
be full (earlier deadline) or draft papers (later dea= dline).

## Pre-s= ymposium formal review

Papers t= o be formally reviewed before the symposium should be submitted before the&= nbsp;
early deadline and will receive their reviews and notification of ac= ceptance for
both presentation and publication before the symposium.= A paper that has been
rejected for publication but accepted for pre= sentation may be revised and resubmitted
for the post-symposium form= al review.

## Post-= symposium formal review

Draft pa= pers will receive minimal reviews and notification of acceptance for <= /span>
presentation at the symposium. Authors of draft papers will be invited to = submit
revised papers based on the feedback received at the symposiu= m. A post-symposium
refereeing process will then select a subset of = these papers for formal publication.

## Paper= categories

Draft pa= pers and papers submitted for formal review are submitted as extended =
must clearly indicate which category it belongs to: resea= rch, position, project,
evaluation, or overview paper. It should als= o indicate which authors are research
students, and whether the main= author(s) are students. A draft paper for which all
authors are stu= dents will receive additional feedback by one of the PC members
shor= tly after the symposium has taken place.

## Forma= t

Papers m= ust be written in English, and written using the LNCS style. For more =
(https://www.springer.com/gp/computer-science/lncs/conference-pro= ceedings-guidelines).

## Organ= izing Committee

Jeremy G= ibbons University of Oxford, UK &n= bsp; Programme Chair
Jason Hemann = Seton Hall University, US Conference Cha= ir
Peter Achten Radboud University Nijme= gen, NL Publicity Chair
Marco T. Morazán = ;Seton Hall University, US Steering Committee C= hair

## Progr= amme Committee
Peter Achten Radboud Univ= ersity Nijmegen, NL
Edwin Brady Univers= ity of St Andrews, UK
Laura Castro Unive= rsity of A Coruña, ES
Youyou Cong = ; Tokyo Institute of Technology, JP
Paul Downen = ; University of Massachusetts Lowell, US
João Paulo Fernande= s University of Coimbra, PT
Ben Greenman = University of Utah, US
Jurriaan Hage He= riot-Watt University, UK
Jason Hemann Se= ton Hall University, US
Zhenjiang Hu Pek= ing University, CN
Hans-Wolfgang Loidl Heriot-Watt University, UK
= Kazutaka Matsuda Tohoku University, JP
Zoe Paraskevopo= ulou Ethereum Foundation, US
Alejandro Serrano 47 Deg= rees, ES
Nick Smallbone Chalmers University, SE=
Wouter Swiers= tra Utrecht University, NL
Niki Vazou &n= bsp; IMDEA Software Institute, ES
Marcos Viera = Universidad de la República, UYVikt&oac= ute;ria Zsók Eötvös Lorá= ;nd University of Sciences, HU