Difference between revisions of "TFPIE2014"

From tfpie
(Contributions)
(Preliminary program)
Line 7: Line 7:
  
  
8:30 - 9:00 registration + welcome
+
[[8:30 - 9:00]] registration + welcome
  
9:00 - 10:00 invited talk Johan Jeuring: Automatic tutoring and assessing functional programs
+
[[9:00 - 10:00]] '''invited talk Johan Jeuring: Automatic tutoring and assessing functional programs'''
  
10:00 - 10:15 break
+
[[10:00 - 10:15]] break
  
  
Session I: Pedagogical tooling
+
'''Session I: Pedagogical tooling'''
  
10:15 - 10:35 Bricklayer: An authentic introduction to the FPL SML                          [Victor Winter]
+
[[10:15 - 10:35]] '''Bricklayer: An authentic introduction to the FPL SML'''                         [''Victor Winter'']
  
10:35 - 10:55 Evaluating Haskell expressions in a tutoring environment                      [Tim Olmer, Bastiaan Heeren, Johan Jeuring]
+
[[10:35 - 10:55]] '''Evaluating Haskell expressions in a tutoring environment'''                     [''Tim Olmer, Bastiaan Heeren, Johan Jeuring'']
  
10:55 - 11:15 Report on a User Test and Extension of a Type Debugger for Novice Programmers [Yuki Ishii, Kenichi Asai]
+
[[10:55 - 11:15]] '''Report on a User Test and Extension of a Type Debugger for Novice Programmers''' [''Yuki Ishii, Kenichi Asai'']
  
11:15 - 11:30 break
+
[[11:15 - 11:30]] break
  
  
Session II: Teaching Mathematical Structure
+
'''Session II: Teaching Mathematical Structure'''
  
11:30 - 11:50 Course on a Mathematical Presentation of Functional Programming              [Alvaro Tasistro, Juan Michelini, Nora Szasz]
+
[[11:30 - 11:50]] '''Course on a Mathematical Presentation of Functional Programming'''               [''Alvaro Tasistro, Juan Michelini, Nora Szasz'']
  
11:50 - 12:10 Calculational Presentation of Propisitional Tablaux                          [Juan Michelini, Alvaro Tasistro]
+
[[11:50 - 12:10]] '''Calculational Presentation of Propisitional Tablaux'''                           [''Juan Michelini, Alvaro Tasistro'']
  
12:10 - 12:30 Functional Automata: Software Support for Formal Languages Courses            [Marco T. Morazan, Rosario Antunez]
+
[[12:10 - 12:30]] '''Functional Automata: Software Support for Formal Languages Courses'''           [''Marco T. Morazan, Rosario Antunez'']
  
12:30 - 13:45 lunch
+
[[12:30 - 13:45]] lunch
  
  
Session III: Topics from the Physical World
+
'''Session III: Topics from the Physical World'''
  
13:45 - 14:05 Hardware design using Haskell and ClaSH                                      [Rinse Wester, Jan Kuper, Christiaan Baaij]
+
[[13:45 - 14:05]] '''Hardware design using Haskell and ClaSH'''                                       [''Rinse Wester, Jan Kuper, Christiaan Baaij'']
  
14:05 - 14:25 The Sprockell                                                                [Jan Kuper]
+
[[14:05 - 14:25]] '''The Sprockell'''                                                                 [''Jan Kuper'']
  
14:25 - 14:45 Learn Physics by Programming in Haskell                                      [Scott Walck]
+
[[14:25 - 14:45]] '''Learn Physics by Programming in Haskell'''                                       [''Scott Walck'']
  
14:45 - 15:00 break
+
[[14:45 - 15:00]] break
  
  
Session IV: Teaching Computer Science Topics (other than FP)
+
'''Session IV: Teaching Computer Science Topics (other than FP)'''
  
15:00 - 15:20 Teaching the Construction of Domain Specific Languages                        [Pieter Koopman, Rinus Plasmeijer]
+
[[15:00 - 15:20]] '''Teaching the Construction of Domain Specific Languages'''                       [''Pieter Koopman, Rinus Plasmeijer'']
  
15:20 - 15:40 Teaching Software Architecture Using Haskell                                  [Alejandro Serrano]
+
[[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell'''                                 [''Alejandro Serrano'']
  
15:40 - 16:00 Simple Balanced Binary Search Trees                                          [Prabhakar Ragde]
+
[[15:40 - 16:00]] '''Simple Balanced Binary Search Trees'''                                           [''Prabhakar Ragde'']
  
16:00 - 16:15 break
+
[[16:00 - 16:15]] break
  
  
Session V: Education Formats
+
'''Session V: Education Formats'''
  
16:15 - 16:35 Course Postmortem: Teaching Haskell to Large Groups                          [Jurriaan Hage, Ruud Koot]
+
[[16:15 - 16:35]] '''Course Postmortem: Teaching Haskell to Large Groups'''                           [''Jurriaan Hage, Ruud Koot'']
  
16:35 - 16:55 Flipped Graduate Classroom in a Haskell-based Software Testing Course        [Jan van Eijck, Vadim Zaytsev]
+
[[16:35 - 16:55]] '''Flipped Graduate Classroom in a Haskell-based Software Testing Course'''         [''Jan van Eijck, Vadim Zaytsev'']
  
16:55 - 17:10 break
+
[[16:55 - 17:10]] break
  
  
17:10 - 17:55 plenary discussion
+
[[17:10 - 17:55]] '''plenary discussion'''
  
17:55 - 18:00 close
+
[[17:55 - 18:00]] close
  
 
=== Invited Speaker ===
 
=== Invited Speaker ===
 
It is our pleasure that [http://www.staff.science.uu.nl/~jeuri101/homepage/ 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.
 
It is our pleasure that [http://www.staff.science.uu.nl/~jeuri101/homepage/ 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.

Revision as of 15:20, 9 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

10:15 - 10:35 Bricklayer: An authentic introduction to the FPL SML [Victor Winter]

10:35 - 10:55 Evaluating Haskell expressions in a tutoring environment [Tim Olmer, Bastiaan Heeren, Johan Jeuring]

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

11:15 - 11:30 break


Session II: Teaching Mathematical Structure

11:30 - 11:50 Course on a Mathematical Presentation of Functional Programming [Alvaro Tasistro, Juan Michelini, Nora Szasz]

11:50 - 12:10 Calculational Presentation of Propisitional Tablaux [Juan Michelini, Alvaro Tasistro]

12:10 - 12:30 Functional Automata: Software Support for Formal Languages Courses [Marco T. Morazan, Rosario Antunez]

12:30 - 13:45 lunch


Session III: Topics from the Physical World

13:45 - 14:05 Hardware design using Haskell and ClaSH [Rinse Wester, Jan Kuper, Christiaan Baaij]

14:05 - 14:25 The Sprockell [Jan Kuper]

14:25 - 14:45 Learn Physics by Programming in Haskell [Scott Walck]

14:45 - 15:00 break


Session IV: Teaching Computer Science Topics (other than FP)

15:00 - 15:20 Teaching the Construction of Domain Specific Languages [Pieter Koopman, Rinus Plasmeijer]

15:20 - 15:40 Teaching Software Architecture Using Haskell [Alejandro Serrano]

15:40 - 16:00 Simple Balanced Binary Search Trees [Prabhakar Ragde]

16:00 - 16:15 break


Session V: Education Formats

16:15 - 16:35 Course Postmortem: Teaching Haskell to Large Groups [Jurriaan Hage, Ruud Koot]

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

16:55 - 17:10 break


17:10 - 17:55 plenary discussion

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.