TFPIE 2014 is the third International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2014 which is held in Soesterberg, at the 'Kontakt der Kontinenten' hotel in The Netherlands. For more information, consult the current home page of TFPIE 2014.
Below you can find the preliminary program of TFPIE 2014.
8:30 - 9:00 registration + welcome
10:00 - 10:15 break
Session I: Pedagogical tooling [chair: Prabhakar Ragde]
11:15 - 11:30 break
Session II: Teaching Mathematical Structure [chair: Jurriaan Hage]
12:30 - 13:45 lunch
Session III: Topics from the Physical World [chair: Pieter Koopman]
14:45 - 15:00 break
Session IV: Teaching Computer Science Topics (other than FP) [chair: Marco Morazán]
16:00 - 16:15 break
Session V: Education Formats [chair: Johan Jeuring]
16:55 - 17:10 break
17:10 - 17:55 plenary discussion [chair: Philip Hölzenspies]
17:55 - 18:00 close
It is our pleasure that Johan Jeuring has accepted our invitation to give an invited talk! Johan Jeuring is professor of Software Technology for Learning and Teaching at Utrecht University (Institute of Information and Computing Sciences) and professor of Software Technology at the Open University (School of Computer Science). The subject of his presentation is: Automatic tutoring and assessing functional programs.
After the workshop all authors have been invited to submit a formal paper for the post-workshop formal proceedings. This has resulted in accepting the below mentioned papers. These formal proceedings have been published by EPTCS volume 170. You can find the formal TFPIE 2014 proceedings. They will appear at arXiv.org as well. A link will be included as soon as it is available.
- Report on a User Test and Extension of a Type Debugger for Novice Programmers (Yuki Ishii, Kenichi Asai)
- Functional Automata - Formal Languages for Computer Science Students (Marco T. Morazán, Rosario Antunez)
- Bricklayer: An Authentic Introduction to the Functional Programming Language SML (Victor Winter)
- Evaluating Haskell expressions in a tutoring environment (Tim Olmer, Bastiaan Heeren, Johan Jeuring)
- Learn Physics by Programming in Haskell (Scott N. Walck)
- Simple Balanced Binary Search Trees (Prabhakar Ragde)