TFP 2019: Trends in Functional Programming Vancouver, Canada, June 11-14, 2019 |
Conference website | https://www.tfp2019.org/ |
Submission link | https://easychair.org/conferences/?conf=tfp2019 |
Submission deadline | March 28, 2019 |
TFP 2019 Call for Papers
Important Dates
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 |
Scope
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:
- Research Articles Leading-edge, previously unpublished research work
- Position Articles On what new trends should or should not be
- Project Articles Descriptions of recently started new projects
- Evaluation Articles What lessons can be drawn from a finished project
- Overview Articles Summarizing work with respect to a trendy subject
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:- Functional programming and multicore/manycore computing
- Functional programming in the cloud
- High performance functional computing
- Extra-functional (behavioural) properties of functional programs
- Dependently typed functional programming
- Validation and verification of functional programs
- Debugging and profiling for functional languages
- Functional programming in different application areas:
- security, mobility, telecommunications applications, embedded
- systems, global computing, grids, etc.
- Interoperability with imperative programming languages
- Novel memory management techniques
- Program analysis and transformation techniques
- Empirical performance studies
- Abstract/virtual machines and compilers for functional languages
- (Embedded) domain specific languages
- New implementation strategies
- Any new emerging trend in the functional programming area
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.
Instructions to Author
Papers must be submitted at:
https://easychair.org/conferences/?conf=tfp2019
Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium.
Pre-symposium formal review
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.
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.
Paper categories
There are two types of submission, each of which can be submitted either for pre-symposium or post-symposium review:
- Extended abstracts. Extended abstracts are 4 to 10 pages in length.
- Full papers. Full papers are up to 20 pages in length.
Each submission also belongs to a category:
- research
- position
- project
- evaluation
- overview paper
Each submission should clearly indicate to which category it belongs.
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.
Format
Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site.
Program Committee
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 | X |
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 |