TFPIE2020

From tfpie
Revision as of 08:58, 3 February 2020 by Jurriaanhage (talk | contribs)
Jump to navigation Jump to 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 http://www.staff.science.uu.nl/~hage0101/tfpie2020/

Preliminary program

Below you can find the preliminary program of TFPIE 2020.

    • The location of the venue will be published here **

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 The Rainfall problem (best lecture) [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