Second international workshop on
Trends in Functional Programming in Education (tfpie) 2013

In co-location with TFP 2013 - Provo, Utah, USA

Monday, May 13 2013

Welcome to the home site of TFPIE 2013.


The second International Workshop on Trends in Functional Programming in Education, TFPIE 2013, is co-located with the Symposium on Trends in Functional Programming (TFP 2013) at Brigham Young University in Utah. The goal of TFPIE is to gather researchers, teachers and all professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue were novel ideas, classroom-tested ideas and work-in-progress on the use of funcitonal programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop.

The program chair of TFPIE 2013 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or an article (up to 16 pages) in EPTCS style. The authors of all accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Any visitors to the TFPIE 2013 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, the presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the Electronic Proceedings in Theoretical Computer Science journal (EPTCS). Articles rejected for presentation and all extended abstracts will not be formally reviewed by the PC.

TFPIE 2013 welcomes submissions describing practical techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:


Brigham Young University (BYU) is the third-largest private university and the largest explicitly religious university in the United States of America. Although BYU is owned and operated by the LDS church, the workshop is independent of this affiliation. By BYU's own pen:

Brigham Young University seeks to develop students of faith, intellect and character who have the skills and the desire to continue learning and to serve others throughout their lives. Established in 1875, the university provides an outstanding education in an atmosphere consistent with the ideals and principles of its sponsor, The Church of Jesus Christ of Latter-day Saints.

Known for its academically minded and internationally experienced student body, its world-class teaching and its beautiful mountain location, BYU is also recognized for its extensive language programs, talented performing arts ensembles, outstanding sports programs and devotion to combining solid scholarship with the principles of the restored gospel of Jesus Christ.

Getting there

Google can tell you how to get to the BYU campus and BYU has a (Google powered) map of their campus.

Programme Committee

Peter Achten (General co-chair) Radboud Universiteit Nijmegen The Netherlands
Edwin Brady University of St. Andrews Scotland
Marc Feeley Université de Montréal Canada
Matthew Flatt University of Utah USA
Philip K.F. Hölzenspies (PC chair) Universiteit Twente The Netherlands
Gabriele Keller University of New South Wales Australia
Jan Kuper Universiteit Twente The Netherlands
Marco T. Morazán (General co-chair) Seton Hall University USA
Stephanie Weirich University of Pennsylvania USA
Viktória Zsók Eötvös Loránd Tudományegyetem Hungary

Submission and review for publication occur after the meeting in Utah. This allows authors to revise their articles, to include comments received at the meeting. After submission, we aim to provide four reviews per paper.

Important dates

Submission for presentationApr 20EasyChair
Notification of acceptance Apr 25
Submission formal paper Jun 9
Notification of acceptance Aug 16
Camera-ready version Sep 8


You can direct any questions you might have to the program chair, through Discussion, both of the workshop itself and of the work presented there, is hosted on the TFPIE-wiki.


Registered participants


Discussion forum

As last year, we want to end TFPIE with a discussion that allows all participants to get involved. This will be open-ended, but among the things we would like to talk about are the ones mentioned below, so you might want to think about these - as well as bringing your own questions and discussion topics.

TFPIE wiki

We are continuing the use of last year's wiki to include the draft papers of the workshop, as well as other material discussed at the TFPIE meetings. We hope to develop this wiki into a long lasting resource for all education related FP resources.

Dinner after workshop

We will try to coordinate a dinner for the participants of the workshop. Everyone joining will pay their own way, but just so we can make a reservation, please indicate whether you want to join for dinner. The venue for the dinner is to be announced later.