From tfpie
Jump to: navigation, search

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to

Preliminary program

Below you can find the preliminary program of TFPIE 2020.

The location for the workshop is

Computer Science Centre of AGH

ul. Kawiory 21, Krakow

Room 1.19 on the ground floor

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 (or send them to so I can do it).

8:30 - 9:00 registration + welcome

9:00 - 10:00 invited talk Thorsten Altenkirch: Conceptual Programming with Python

10:00 - 10:30 break

Session I [chair: Viktoria Zsok]

10:30 - 11:00 Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper) [Marco T. Morazan] File:Morazan-TFPIE-2020-Prog-InnerCity.pdf

11:00 - 11:30 Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper) [Oliver Westphal and Janis Voigtländer]

11:30 - 12:15 A better rainfall problem? (position talk) [Peter Achten] File:TFPIE2020.pdf

12:15 - 14:00 lunch

Session II: [chair: Peter Achten]

14:00 - 14:30 Visualizing Deterministic Finite-State Automatons in FSM (paper) [Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde]

14:30 - 15:00 Abstract Thinking Initiation at Functional Programming Classes (paper) [Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo]

15:00 - 15:30 break

Session III: [chair: Marco Morazan]

15:30 - 16:15 Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report) [John Hughes]

16:15 - 16:55 plenary discussion on the use of functional programming in courses beyond programming

16:55 - 17:00 close