|Submission Deadline for pre-symposium formal review||Thursday, March 28, 2019|
|Submission Deadline for Draft Papers||Thursday, May 9, 2019|
|Notification for pre-symposium submissions||Thursday, May 2, 2019|
|Notification for Draft Papers||Tuesday, May 14, 2019|
|TFPIE||Tuesday, June 11, 2019|
|Symposium||Wednesday, June 12, 2019 – Friday, June 14, 2019|
|Notification of Student Paper Feedback||Friday June 21, 2019|
|Submission Deadline for revised Draft Papers (post-symposium formal review)||Thursday, August 1, 2019|
|Notification for post-symposium submissions||Thursday, October 24, 2019|
|Camera Ready Deadline (both pre- and post-symposium)||Friday, November 29, 2019|
The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories:
Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium.Topics suitable for the symposium include, but are not limited to:
If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2019 program chairs, William J. Bowman and Ron Garcia.
Papers must be submitted at:
Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium.
Papers to be formally reviewed before the symposium should be submitted before an early deadline and receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected in this process may still be accepted for presentation at the symposium, but will not be considered for the post-symposium formal review.
Papers submitted for post-symposium review (draft papers) will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback received at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication.
There are two types of submission, each of which can be submitted either for pre-symposium or post-symposium review:
Each submission also belongs to a category:
Additionally, a draft paper submission—of either type (extended abstract or full paper) and any category—can be considered a student paper. A student paper is one for which primary authors are research students and the majority of the work described was carried out by the students. The submission should indicate that it is a student paper.
Student papers will receive additional feedback from the PC shortly after the symposium has taken place and before the post-symposium submission deadline. Feedback is only provided for accepted student papers, i.e., papers submitted for presentation and post-symposium formal review that are accepted for presentation. If a student paper is rejected for presentation, then it receives no further feedback and cannot be submitted for post-symposium review.
Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site.
|William J. Bowman||University of British Columbia|
|Matteo Cimini||University of Massachusetts Lowell|
|Ryan Culpepper||Czech Technical Institute|
|Joshua Dunfield||Queen’s University|
|Sam Lindley||University of Edinburgh|
|Assia Mahboubi||INRIA Nantes|
|Christine Rizkallah||University of New South Wales|
|Satnam Singh||Google AI|
|Marco T. Morazán||Seton Hall University|
|Ronald Garcia||University of British Columbia|
|John Hughes||Chalmers University and Quviq|
|Nicolas Wu||University of Bristol|
|Tom Schrijvers||KU Leuven|
|Scott Smith||Johns Hopkins University|
|Stephanie Balzer||Carnegie Mellon University|
|Viktória Zsók||Eötvös Loránd University|