Previous Next


Calendar

Colocated with TFPIE and

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.

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.

This year the paper "Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties" by Philip Munksgaard, Svend Lund Breddam, Troels Henriksen, Fabian Cristian Gieseke, and Cosmin Oancea was awarded by the best paper prize. The paper "A Generic Back-End for Exploratory Programming" of Damian Frolich and L. Thomas van Binsbergen was awarded by the best student paper prize. Congratulation for the winners.

This year the symposium will be virtual, but still "co-located" with TFPIE and Lambda Days. Lambda Days is a vibrant developer conference with hundreds of attendees and a lively programme of talks on functional programming in practice. Participants will be able to session-hop between Lambda Days and TFP, and meet developers excited about functional programming in industry.

Invited Speaker: Prof. Zhenjiang Hu (Peking University)
Title: Constructive Bidirectional Programming
Abstract:
Bidirectional Transformation provides a powerful mechanism for synchronizing and maintaining the consistency of information between different representations. Although many languages have been proposed to support programming bidirectional transformations, we are lacking systematic ways to develop both correct and efficient bidirectional transformation. In this talk, we show that the program calculation technique, which is known to be useful for development of unidirectional functional programs, is useful for systematic development of correct and efficient bidirectional functional programs from a straightforward specification through correctness-preserving calculation.

Schedule

The TFP 2021 program is available here (TFP2021_Programme.pdf).
For the details of the full program please consult the Lambda Days web-site.

Call for students’ participation!

Thanks to our TFP sponsor, motivated students can get free registration tickets. Please apply ASAP by sending: your name, the university, 2-3 sentences about FP interests, and valid student ID photo to get the registration code.
The number of tickets is limited, and is delivered in the application order.

Important Dates

Submission deadline for pre-symposium review 20th November, 2020
Submission deadline for draft papers 15th January, 2021
Notification for pre-symposium submissions 20th January, 2021
Notification for draft submissions 22nd January, 2021
Symposium dates 17-19th February, 2021
Submission deadline for post-symposium reviewing 15th March, 2021
Notification for post-symposium submissions 3rd May, 2021
Camera ready copy is due 1st June, 2021
Publication in LNCS by end July, 2021

Note: the submission deadlines are hard deadlines; they will not be extended.

Proceedings

The TFP 2021 proceedings has now been published in Springer LNCS, containing selected, revised versions of 6 papers out of 15 papers presented at the symposium. The proceedings is available here. Access to the papers is free, you must follow the link from this page (there is an "HTTP referer" check).

Coorganised with sponsored by