TFPIE2020

From tfpie
Revision as of 09:23, 6 February 2020 by Jurriaanhage (talk | contribs)

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 http://www.staff.science.uu.nl/~hage0101/tfpie2020/

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


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 j.hage@uu.nl 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]

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]


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