Difference between revisions of "TFPIE2014"

From tfpie
Jump to navigation Jump to search
Line 31: Line 31:
[[11:50 - 12:10]] '''Calculational Presentation of Propositional Tableaux'''                          [''Juan Michelini, Alvaro Tasistro''] [[File:tfpie2014_submission_15.pdf]]
[[11:50 - 12:10]] '''Calculational Presentation of Propositional Tableaux'''                          [''Juan Michelini, Alvaro Tasistro''] [[File:tfpie2014_submission_15.pdf]]
[[12:10 - 12:30]] '''Functional Automata: Software Support for Formal Languages Courses'''            [''Marco T. Morazán, Rosario Antunez''] [[File:tfpie2014_submission_14.pdf]]
[[12:10 - 12:30]] '''Functional Automata: Software Support for Formal Languages Courses'''            [''Marco T. Morazán, Rosario Antunez''] [[File:tfpie2014_submission_14.pdf]] [[File:FSM.pdf]]
[[12:30 - 13:45]] lunch
[[12:30 - 13:45]] lunch

Revision as of 15:59, 26 May 2014

TFPIE 2014

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.

Preliminary program

Below you can find the preliminary program of TFPIE 2014.

8:30 - 9:00 registration + welcome

9:00 - 10:00 invited talk Johan Jeuring: Automatic tutoring and assessing functional programs

10:00 - 10:15 break

Session I: Pedagogical tooling [chair: Prabhakar Ragde]

10:15 - 10:35 Bricklayer: An authentic introduction to the FPL SML [Victor Winter] File:Tfpie2014 submission 1.pdf

10:35 - 10:55 Evaluating Haskell expressions in a tutoring environment [Tim Olmer, Bastiaan Heeren, Johan Jeuring] File:Tfpie2014 submission 4.pdf

10:55 - 11:15 Report on a User Test and Extension of a Type Debugger for Novice Programmers [Yuki Ishii, Kenichi Asai] File:Tfpie2014 submission 10.pdf

11:15 - 11:30 break

Session II: Teaching Mathematical Structure [chair: Jurriaan Hage]

11:30 - 11:50 Course on a Mathematical Presentation of Functional Programming [Alvaro Tasistro, Juan Michelini, Nora Szasz] File:Tfpie2014 submission 13.pdf

11:50 - 12:10 Calculational Presentation of Propositional Tableaux [Juan Michelini, Alvaro Tasistro] File:Tfpie2014 submission 15.pdf

12:10 - 12:30 Functional Automata: Software Support for Formal Languages Courses [Marco T. Morazán, Rosario Antunez] File:Tfpie2014 submission 14.pdf File:FSM.pdf

12:30 - 13:45 lunch

Session III: Topics from the Physical World [chair: Pieter Koopman]

13:45 - 14:05 Hardware design using Haskell and ClaSH [Rinse Wester, Jan Kuper, Christiaan Baaij] File:Tfpie2014 submission 9.pdf

14:05 - 14:25 The Sprockell [Jan Kuper] File:Tfpie2014 submission 11.pdf File:Tfpie2014 submission 11 slides.pdf

14:25 - 14:45 Learn Physics by Programming in Haskell [Scott Walck] File:Tfpie2014 submission 6.pdf

14:45 - 15:00 break

Session IV: Teaching Computer Science Topics (other than FP) [chair: Marco Morazán]

15:00 - 15:20 Teaching the Construction of Domain Specific Languages [Pieter Koopman, Rinus Plasmeijer] File:Tfpie2014 submission 12.pdf

15:20 - 15:40 Teaching Software Architecture Using Haskell [Alejandro Serrano] File:Tfpie2014 submission 5.pdf

15:40 - 16:00 Simple Balanced Binary Search Trees [Prabhakar Ragde] File:Tfpie2014 submission 8.pdf

16:00 - 16:15 break

Session V: Education Formats [chair: Johan Jeuring]

16:15 - 16:35 Course Postmortem: Teaching Haskell to Large Groups [Jurriaan Hage, Ruud Koot] File:Tfpie2014 submission 7.pdf

16:35 - 16:55 Flipped Graduate Classroom in a Haskell-based Software Testing Course [Jan van Eijck, Vadim Zaytsev] File:Tfpie2014 submission 16.pdf

16:55 - 17:10 break

17:10 - 17:55 plenary discussion [chair: Philip Hölzenspies]

17:55 - 18:00 close

Invited Speaker

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.