Trends in Functional Programming

June 12—14, 2019
Vancouver, BC, CA
Vancouver panorama from stanley park

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 the call for papers for more details about contributions.

TFP 2019 will be the main event of a pair of functional programming events, and will take place June 12—14, 2019. TFP 2019 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 11, 2019.

The general chairs are Ron Garcia (rxg) and William J. Bowman (wjb). Contact them general questions. For problems with this website, file a report on on GitHub.

Invited Speakers!

A picture of Nikhil
Nikhil Swamy, Microsoft Research

Structuring the Verification of Imperative Programs with Functional Programming

A picture of Jogn
John Hughes, Chalmers University of Technology

Experiences with QuickCheck: Testing the Hard Stuff and Staying Sanei

A picture of Frank
Frank Wood, University of British Columbia

Probabilistic Programming

A picture of Christian
Christian Weilbach

Anglican Tutorial: Turing-complete, functional Probabilistic Programming as a Domain Specific Language

Important Dates

Submission Deadline for pre-symposium formal review Thursday, March 28, 2019
Submission Deadline for Draft Papers Thursday, May 9, 2019
Extended: Thursday, May 16, 2019
Notification for pre-symposium submissions Thursday, May 2, 2019
Notification for Draft Papers Tuesday, May 14, 2019
Extended: Tuesday, May 21, 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