Difference between revisions of "TFPIE2014"
| (17 intermediate revisions by 9 users not shown) | |||
| 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''' [[:File:TFPIEJeuring.pdf|SLIDES]] |
| − | 10:00 - 10:15 break | + | [[10:00 - 10:15]] break |
| − | Session I: Pedagogical tooling | + | '''Session I: Pedagogical tooling''' [chair: Prabhakar Ragde] |
| − | 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''] [[:File:tfpie2014_submission_1.pdf|PREPRINT]] |
| − | 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''] [[:File:tfpie2014_submission_4.pdf|PREPRINT]] |
| − | 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''] [[:File:tfpie2014_submission_10.pdf|PREPRINT]] |
| − | 11:15 - 11:30 break | + | [[11:15 - 11:30]] break |
| − | Session II: Teaching Mathematical Structure | + | '''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] | + | [[11:30 - 11:50]] '''Course on a Mathematical Presentation of Functional Programming''' [''Alvaro Tasistro, Juan Michelini, Nora Szasz''] [[:File:tfpie2014_submission_13.pdf|PREPRINT]] |
| − | 11:50 - 12:10 Calculational Presentation of | + | [[11:50 - 12:10]] '''Calculational Presentation of Propositional Tableaux''' [''Juan Michelini, Alvaro Tasistro''] [[:File:tfpie2014_submission_15.pdf|ABSTRACT]] |
| − | 12:10 - 12:30 Functional Automata: Software Support for Formal Languages Courses [Marco T. | + | [[12:10 - 12:30]] '''Functional Automata: Software Support for Formal Languages Courses''' [''Marco T. Morazán, Rosario Antunez''] [[:File:tfpie2014_submission_14.pdf|PREPRINT]], [[:File:FSM.pdf|SLIDES]] |
| − | 12:30 - 13:45 lunch | + | [[12:30 - 13:45]] lunch |
| − | Session III: Topics from the Physical World | + | '''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] | + | [[13:45 - 14:05]] '''Hardware design using Haskell and ClaSH''' [''Rinse Wester, Jan Kuper, Christiaan Baaij''] [[:File:tfpie2014_submission_9.pdf|PREPRINT]] |
| − | 14:05 - 14:25 The Sprockell [Jan Kuper] | + | [[14:05 - 14:25]] '''The Sprockell''' [''Jan Kuper''] [[:File:tfpie2014_submission_11.pdf|PREPRINT]], [[:File:tfpie2014_submission_11_slides.pdf|SLIDES]] |
| − | 14:25 - 14:45 Learn Physics by Programming in Haskell [Scott Walck] | + | [[14:25 - 14:45]] '''Learn Physics by Programming in Haskell''' [''Scott Walck''] [[:File:tfpie2014_submission_6.pdf|PREPRINT]], [[:File:LearnPhysics.pdf|SLIDES]] |
| − | 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)''' [chair: Marco Morazán] |
| − | 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''] [[:File:tfpie2014_submission_12.pdf|PREPRINT]], [[:File:TFPIE14.pieter.slides.pdf|SLIDES]] |
| − | 15:20 - 15:40 Teaching Software Architecture Using Haskell [Alejandro Serrano] | + | [[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell''' [''Alejandro Serrano''] [[:File:tfpie2014_submission_5.pdf|PREPRINT]], [[:File:Tfpie2014-teaching-sw-arch.pdf|SLIDES]] |
| − | 15:40 - 16:00 Simple Balanced Binary Search Trees [Prabhakar Ragde] | + | [[15:40 - 16:00]] '''Simple Balanced Binary Search Trees''' [''Prabhakar Ragde''] [[:File:tfpie2014_submission_8.pdf|PREPRINT]] |
| − | 16:00 - 16:15 break | + | [[16:00 - 16:15]] break |
| − | Session V: Education Formats | + | '''Session V: Education Formats''' [chair: Johan Jeuring] |
| − | 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''] [[:File:tfpie2014_submission_7.pdf|PREPRINT]] |
| − | 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''] [[:File:tfpie2014_submission_16.pdf|PREPRINT]], [http://grammarware.net/slides/2014/tfpie.pdf SLIDES] |
| − | 16:55 - 17:10 break | + | [[16:55 - 17:10]] break |
| − | 17:10 - 17:55 plenary discussion | + | [[17:10 - 17:55]] '''plenary discussion''' [chair: Philip Hölzenspies] |
| − | 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. | ||
| + | |||
| + | == EPTCS Proceedings == | ||
| + | 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 [http://eptcs.web.cse.unsw.edu.au/content.cgi?TFPIE2014 the formal TFPIE 2014 proceedings]. | ||
| + | Alternatively, you can follow [http://arxiv.org/abs/1412.4738 this link to arXiv.org]. | ||
| + | |||
| + | # 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) | ||
Latest revision as of 11:20, 18 March 2015
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 SLIDES
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] PREPRINT
10:35 - 10:55 Evaluating Haskell expressions in a tutoring environment [Tim Olmer, Bastiaan Heeren, Johan Jeuring] PREPRINT
10:55 - 11:15 Report on a User Test and Extension of a Type Debugger for Novice Programmers [Yuki Ishii, Kenichi Asai] PREPRINT
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] PREPRINT
11:50 - 12:10 Calculational Presentation of Propositional Tableaux [Juan Michelini, Alvaro Tasistro] ABSTRACT
12:10 - 12:30 Functional Automata: Software Support for Formal Languages Courses [Marco T. Morazán, Rosario Antunez] PREPRINT, SLIDES
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] PREPRINT
14:05 - 14:25 The Sprockell [Jan Kuper] PREPRINT, SLIDES
14:25 - 14:45 Learn Physics by Programming in Haskell [Scott Walck] PREPRINT, SLIDES
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] PREPRINT, SLIDES
15:20 - 15:40 Teaching Software Architecture Using Haskell [Alejandro Serrano] PREPRINT, SLIDES
15:40 - 16:00 Simple Balanced Binary Search Trees [Prabhakar Ragde] PREPRINT
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] PREPRINT
16:35 - 16:55 Flipped Graduate Classroom in a Haskell-based Software Testing Course [Jan van Eijck, Vadim Zaytsev] PREPRINT, SLIDES
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.
EPTCS Proceedings
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. Alternatively, you can follow this link to arXiv.org.
- 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)