| CARVIEW |
Trends in Functional Programming
June 12—14, 2019
Vancouver, BC, CA
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 and William J. Bowman . Contact them general questions. For problems with this website, file a report on .
Invited Speakers!
Nikhil Swamy, Microsoft Research
Structuring the Verification of Imperative Programs with Functional Programming
John Hughes, Chalmers University of Technology
Experiences with QuickCheck: Testing the Hard Stuff and Staying Sanei
Frank Wood, University of British Columbia
Probabilistic Programming
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 |