From tfpie
Revision as of 14:42, 28 May 2019 by Jurriaanhage (talk | contribs)

The 8th International Workshop on Trends in Functional Programming in Education, TFPIE 2019, will be held on June 11, 2019 at the University of British Columbia, Canada. It is co-located with the Symposium on Trends in Functional Programming (TFP 2019) which takes place from June 12 - 14, 2019.

For further information, please navigate to

Preliminary program

Below you can find the preliminary program of TFPIE 2019.

In particular, timings my still change.

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here.

8:30 - 9:00 registration + welcome

9:00 - 10:00 invited talk Gregor Kiczales: Functional Programming at the Core of a High Throughput Software Engineering Curriculum

10:00 - 10:30 break

Session I [chair: tba]

10:30 - 11:00 How to Design while Loops [Marco T. Morazan]

11:00 - 11:30 Haskell for Everyone: An IDE Created by Students [Barry Burd]

11:30 - 12:00 Modelling Distributed Computation with Petri Nets so Children Can Program Multiplayer Universes [Christopher Schankula, Lucas Dutton, Nhan Thai, Emily Ham, Jessica Schultz, Ankit Kapoor, Yumna Irfan, Padma Pasupathi, Stephanie Koehl, Tanya Bouman, Chitwan Sharma, Pedram Yazdinia, Curtis d'Alves and Christopher K. Anand]

12:00 - 13:45 lunch

'Session II: [chair: tba]

13:45 - 14:30 A Unified Framework for Purely-Functional Balanced Binary Search Trees (Best Lecture Presentation) [Prabhakar Ragde]

14:30 - 15:00 ComMotion: Using Animation to Illustrate Functional Programming Concepts [Barry Burd]

15:00 - 15:30 break

'Session III: [chair: tba]

15:30 - 16:00 Ray Tracing Motivating Application in Teaching Functional Programming [Pedro Figueirêdo, Yuri Kim, Nghia Le Minh, Evan Sitt and Viktoria Zsok]

16:00 - 16:30 Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs [Oliver Westphal and Janis Voigtländer]

16:30 - 16:55 plenary discussion [chair: Peter Achten]

16:55 - 17:00 close