| Update: Due to the ongoing COVID-19 situation, this will be held as an online event and the date has changed to be 17 - 18 March. |
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.
This year, TFP is moving to a winter date, to provide an opportunity for researchers in the FP community to meet and interact in between the annual ICFP events.
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.
Registration
This will be an online event. Registration is free – but you will need to register in advance using this form:
The zoom links used for the talks will be sent to the registered participants shortly before the start of the conference. We kindly ask you to register no later than March 15th.
Keynote
Our keynote speaker will be Christiaan Baaij:
Building a Haskell-to-Hardware compiler: Theory & Practice
Christiaan Baaij
Clash is a functional hardware description language, but it’s also just a combination of a regular Haskell library with type and function definitions for circuit design and a compiler that translates Haskell programs to digital circuits. In this talk, Christiaan will explain how you can interpret a Haskell program as a digital circuit, the theory behind the inner workings of the Clash compiler, and all the practical problems that were overcome building the compiler. At the end of the talk, Christiaan will also highlight some large outstanding issues and ideas on how to solve them.
Important Dates
| Submission deadline for pre-symposium review | |
| Submission deadline for draft papers | Monday 7th March, 2022 |
| Notification for pre-symposium submissions | Friday 21st January, 2022 |
| Notification for draft submissions | Friday 11th March, 2022 |
| Symposium dates | Thursday 17th - Friday 18th March, 2022 |
| Submission deadline for post-symposium reviewing | Wednesday 6th April, 2022 |
| Notification for post-symposium submissions | Friday 27th May, 2022 |
Program Commitee
| Guillaume Allais | University of St Andrews |
| José Manuel Calderón Trilla | Galois, Inc. |
| Stephen Chang | University of Massachusetts Boston |
| Matthew Flatt | University of Utah |
| Jeremy Gibbons | University of Oxford |
| Zhenjiang Hu | Peking University |
| Mauro Jaskelioff | CIFASIS / Universidad Nacional de Rosario |
| Moa Johansson | Chalmers University of Technology |
| Shin-ya Katsumata | National Institute of Informatics |
| Oleg Kiselyov | Tohoku University |
| Bas Lijnse | Netherlands Defence Academy / Radboud University Nijmegen |
| Kazutaka Matsuda | Tohoku University |
| Nico Naus | Virginia Tech |
| Christine Rizkallah | University of New South Wales |
| Alejandro Serrano | 47 Degrees |
| Amir Shaikhha | Ecole Polytechnique Fédérale de Lausanne |
| Aaron Stump | University of Iowa |
| Wouter Swierstra (Co-chair) | Utrecht University |
| Baltasar Trancón Y Widemann | Semantics GmbH |
| Nicolas Wu (Co-chair) | Imperial College London |
| Ningning Xie | University of Hong Kong |
Call for Papers
The call for papers is here.