tfpie - User contributions [en]

TFPIE2015

2015-06-03T07:53:02Z

JohanJeuring:

The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, will be held on June 2, 2015 in Sophia-Antipolis in France. It is co-located with the [https://tfp2015.inria.fr? Symposium on Trends in Functional Programming (TFP 2015)] which takes place from June 3 - 5.

== Goal ==
The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2015 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2015 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC.

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), and Soesterberg, The Netherlands (2014).

== Program ==

Preliminary program. We might still partly change the program.

9:00 - 10:00 Invited talk: [http://pagesperso-systeme.lip6.fr/Christian.Queinnec/WWW/Queinnec.html Christian Queinnec] - Teaching recursion: a repeated MOOC experiment.

Abstract: I have been running a MOOC on recursive programming in Spring 2014 and 2015. One prominent feature was that students were required to program and have their programs automatically graded. In this talk, I will present the goals and the challenges, the successes and the failures I encountered and some new ideas I am eager to experiment in a new edition.
10:00 - 10:30 Coffee/tea
10:30 - 11:10 Baltasar Trancón Y Widemann
Beta Hero: Reduction Semantics Dressing Up for the YouTube Age
11:10 - 11:50 Chihiro Uehara and Kenichi Asai
Cross validation of the universe teachpack of Racket in OCaml
11:50 - 12:30 Cezar Ionescu and [https://www.chalmers.se/en/Staff/Pages/patrik-jansson.aspx Patrik Jansson]
[https://github.com/DSLsofMath/tfpie2015 Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using FP]
12:30 - 14:00 Lunch
14:00 - 14:40 Fernando Alegre and Juana Moreno
Haskell in Middle and High School Mathematics
14:40 - 15:30 Workshop/discussion
15:30 - 16:00 Coffee/tea
16:00 - 16:40 Francisco Saiz
Teaching Experiences in a Functional-first Multi-paradigm Programming Course
16:40 - 17:30 Jaap Boender, Ed Currie, Martin Loomes, Franco Raimondi and Giuseppe Primiero
Teaching Functional Patterns through Robotic Applications

== Submission Guidelines ==

TFPIE 2015 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:

FP and beginning CS students
FP and Computational Thinking
FP and Artificial Intelligence
FP in Robotics
FP and Music
Advanced FP for undergraduates
FP in graduate education
Engaging students in research using FP
FP in Programming Languages
FP in the high school curriculum
FP as a stepping stone to other CS topics
FP and Philosophy
Best Lectures

In addition to papers, this year we are requesting “best lecture” presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.

Papers and abstracts can be submitted via easychair at the following link:

https://easychair.org/conferences/?conf=tfpie2015

It is expected at at least one author for each submitted paper will attend the workshop.

== Important Dates ==

April 27, 2015: Submission deadline for draft TFPIE papers and abstracts

May 3 2015: Notification of acceptance for presentation

May 4, 2015: Registration for TFP closes

June 2, 2015: Presentations in Sophia-Antipolis, France

July 7, 2015: Full papers for EPTCS proceedings due.

September 1, 2015: Notification of acceptance for proceedings

September 22, 2015: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn.

== Program Committee ==

Johan Jeuring, Utrecht University and Open University, The Netherlands (Chair)

Peter Achten, Radboud University Nijmegen, The Netherlands

Marco Morazan, Seton Hall University, US

Rita Loogen, Philipps-Universität Marburg, Germany

Norman Ramsey, Tufts University, US

Shriram Krishnamurthi, Brown University, US

Edwin Brady, University of St Andrews, UK

== Experiment ==

At the workshop/discussion we discussed the possibilities of setting up a common experiment. This idea is taken from the ITICSE series of symposia, see for example the [http://www.iticse2015.mii.vu.lt/en/menu1/presenters/working-groups/ 2015 instance], where groups of international researchers/educators get together to set up common experiments, to achieve results that are hard to obtain by a single researcher/educator in a single country. Kathi Fisler performed an [http://web.cs.wpi.edu/~kfisler/Pubs/icer14-rainfall/icer14.pdf experiment] with the so-called rainfall problem using Racket at 4 schools in the US. The rainfall problem was first used by [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.11.6583&rep=rep1&type=pdf Elliot Soloway] to assess students’ progress in learning to construct programs, and to find out how well they decompose and compose programming plans. Fisler uses the following variant of the rainfall problem:

Design a program called rainfall that consumes a list of numbers
representing daily rainfall amounts as entered by a user.
The list may contain the number -999 indicating the end of the
data of interest.
Produce the average of the non-negative values in the list up to
the first -999 (if it shows up).
There may be negative numbers other than -999 in the list.

The idea we discussed was to repeat the experiment, but now using a typed functional programming language. Questions we might ask are: do the concept of types, or easily available higher-order
constructs such as composition, change the way in which students solve the rainfall problem? Fisler had to adapt the rubric for coding solutions to the rainfall problem: do we need to further adapt this rubric, or are solutions similar? Do we find the same kind of errors and programming plans in the solutions of students, or do other plans show up, or do some plans never show up? The hypothesis is that using a typed, higher-order functional programming language, in which notation doesn't deviate too much from the notation students are used to from mathematics courses, supports developing programs with fewer errors, following desirable plans. Thus we can contribute to Guzdial's call to [https://computinged.wordpress.com/2010/08/16/a-challenge-to-computing-education-research-make-measurable-progress/ make measurable progress] (or not).

TFPIE2015

2015-06-03T07:46:39Z

JohanJeuring:

TFPIE2015

2015-06-03T06:53:28Z

JohanJeuring:

The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, will be held on June 2, 2015 in Sophia-Antipolis in France. It is co-located with the [https://tfp2015.inria.fr? Symposium on Trends in Functional Programming (TFP 2015)] which takes place from June 3 - 5.

== Goal ==
The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2015 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2015 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC.

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), and Soesterberg, The Netherlands (2014).

== Program ==

Preliminary program. We might still partly change the program.

9:00 - 10:00 Invited talk: [http://pagesperso-systeme.lip6.fr/Christian.Queinnec/WWW/Queinnec.html Christian Queinnec] - Teaching recursion: a repeated MOOC experiment.

Abstract: I have been running a MOOC on recursive programming in Spring 2014 and 2015. One prominent feature was that students were required to program and have their programs automatically graded. In this talk, I will present the goals and the challenges, the successes and the failures I encountered and some new ideas I am eager to experiment in a new edition.
10:00 - 10:30 Coffee/tea
10:30 - 11:10 Baltasar Trancón Y Widemann
Beta Hero: Reduction Semantics Dressing Up for the YouTube Age
11:10 - 11:50 Chihiro Uehara and Kenichi Asai
Cross validation of the universe teachpack of Racket in OCaml
11:50 - 12:30 Cezar Ionescu and [https://www.chalmers.se/en/Staff/Pages/patrik-jansson.aspx Patrik Jansson]
[https://github.com/DSLsofMath/tfpie2015 Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using FP]
12:30 - 14:00 Lunch
14:00 - 14:40 Fernando Alegre and Juana Moreno
Haskell in Middle and High School Mathematics
14:40 - 15:30 Workshop/discussion
15:30 - 16:00 Coffee/tea
16:00 - 16:40 Francisco Saiz
Teaching Experiences in a Functional-first Multi-paradigm Programming Course
16:40 - 17:30 Jaap Boender, Ed Currie, Martin Loomes, Franco Raimondi and Giuseppe Primiero
Teaching Functional Patterns through Robotic Applications

== Submission Guidelines ==

TFPIE 2015 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:

FP and beginning CS students
FP and Computational Thinking
FP and Artificial Intelligence
FP in Robotics
FP and Music
Advanced FP for undergraduates
FP in graduate education
Engaging students in research using FP
FP in Programming Languages
FP in the high school curriculum
FP as a stepping stone to other CS topics
FP and Philosophy
Best Lectures

In addition to papers, this year we are requesting “best lecture” presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.

Papers and abstracts can be submitted via easychair at the following link:

https://easychair.org/conferences/?conf=tfpie2015

It is expected at at least one author for each submitted paper will attend the workshop.

== Important Dates ==

April 27, 2015: Submission deadline for draft TFPIE papers and abstracts

May 3 2015: Notification of acceptance for presentation

May 4, 2015: Registration for TFP closes

June 2, 2015: Presentations in Sophia-Antipolis, France

July 7, 2015: Full papers for EPTCS proceedings due.

September 1, 2015: Notification of acceptance for proceedings

September 22, 2015: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn.

== Program Committee ==

Johan Jeuring, Utrecht University and Open University, The Netherlands (Chair)

Peter Achten, Radboud University Nijmegen, The Netherlands

Marco Morazan, Seton Hall University, US

Rita Loogen, Philipps-Universität Marburg, Germany

Norman Ramsey, Tufts University, US

Shriram Krishnamurthi, Brown University, US

Edwin Brady, University of St Andrews, UK

== Experiment ==

At the workshop/discussion we discussed the possibilities of setting up a common experiment. This idea is taken from the ITICSE series of symposia, see for example the [http://www.iticse2015.mii.vu.lt/en/menu1/presenters/working-groups/ 2015 instance], where groups of international researchers/educators get together to set up common experiments, to achieve results that are hard to obtain by a single researcher/educator in a single country. Kathi Fisler performed an [http://web.cs.wpi.edu/~kfisler/Pubs/icer14-rainfall/icer14.pdf experiment] with the so-called rainfall problem using Racket at 4 schools in the US. The rainfall problem was first used by [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.11.6583&rep=rep1&type=pdf Elliot Soloway] to assess students’ progress in learning to construct programs, and to find out how well they decompose and compose programming plans. Fisler uses the following variant of the rainfall problem:

Design a program called rainfall that consumes a list of numbers
representing daily rainfall amounts as entered by a user.
The list may contain the number -999 indicating the end of the
data of interest.
Produce the average of the non-negative values in the list up to
the first -999 (if it shows up).
There may be negative numbers other than -999 in the list.

The ideas we discussed was to repeat the experiment, but now using a typed functional programming language.

TFPIE2015

2015-06-03T06:51:43Z

JohanJeuring:

The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, will be held on June 2, 2015 in Sophia-Antipolis in France. It is co-located with the [https://tfp2015.inria.fr? Symposium on Trends in Functional Programming (TFP 2015)] which takes place from June 3 - 5.

== Goal ==
The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2015 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2015 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC.

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), and Soesterberg, The Netherlands (2014).

== Program ==

Preliminary program. We might still partly change the program.

9:00 - 10:00 Invited talk: [http://pagesperso-systeme.lip6.fr/Christian.Queinnec/WWW/Queinnec.html Christian Queinnec] - Teaching recursion: a repeated MOOC experiment.

Abstract: I have been running a MOOC on recursive programming in Spring 2014 and 2015. One prominent feature was that students were required to program and have their programs automatically graded. In this talk, I will present the goals and the challenges, the successes and the failures I encountered and some new ideas I am eager to experiment in a new edition.
10:00 - 10:30 Coffee/tea
10:30 - 11:10 Baltasar Trancón Y Widemann
Beta Hero: Reduction Semantics Dressing Up for the YouTube Age
11:10 - 11:50 Chihiro Uehara and Kenichi Asai
Cross validation of the universe teachpack of Racket in OCaml
11:50 - 12:30 Cezar Ionescu and [https://www.chalmers.se/en/Staff/Pages/patrik-jansson.aspx Patrik Jansson]
[https://github.com/DSLsofMath/tfpie2015 Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using FP]
12:30 - 14:00 Lunch
14:00 - 14:40 Fernando Alegre and Juana Moreno
Haskell in Middle and High School Mathematics
14:40 - 15:30 Workshop/discussion
15:30 - 16:00 Coffee/tea
16:00 - 16:40 Francisco Saiz
Teaching Experiences in a Functional-first Multi-paradigm Programming Course
16:40 - 17:30 Jaap Boender, Ed Currie, Martin Loomes, Franco Raimondi and Giuseppe Primiero
Teaching Functional Patterns through Robotic Applications

== Submission Guidelines ==

TFPIE 2015 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:

FP and beginning CS students
FP and Computational Thinking
FP and Artificial Intelligence
FP in Robotics
FP and Music
Advanced FP for undergraduates
FP in graduate education
Engaging students in research using FP
FP in Programming Languages
FP in the high school curriculum
FP as a stepping stone to other CS topics
FP and Philosophy
Best Lectures

In addition to papers, this year we are requesting “best lecture” presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.

Papers and abstracts can be submitted via easychair at the following link:

https://easychair.org/conferences/?conf=tfpie2015

It is expected at at least one author for each submitted paper will attend the workshop.

== Important Dates ==

April 27, 2015: Submission deadline for draft TFPIE papers and abstracts

May 3 2015: Notification of acceptance for presentation

May 4, 2015: Registration for TFP closes

June 2, 2015: Presentations in Sophia-Antipolis, France

July 7, 2015: Full papers for EPTCS proceedings due.

September 1, 2015: Notification of acceptance for proceedings

September 22, 2015: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn.

== Program Committee ==

Johan Jeuring, Utrecht University and Open University, The Netherlands (Chair)

Peter Achten, Radboud University Nijmegen, The Netherlands

Marco Morazan, Seton Hall University, US

Rita Loogen, Philipps-Universität Marburg, Germany

Norman Ramsey, Tufts University, US

Shriram Krishnamurthi, Brown University, US

Edwin Brady, University of St Andrews, UK

== Experiment ==

At the discussion we discussed the possibilities of setting up a common experiment. This idea is taken from the ITICSE series of symposia, see for example the 2015 instance, where groups of international researchers/educators get to gather to set up common experiments, to achieve results that are hard to obtain by a single researcher/educator in a single country. Kathi Fisler performed an [http://web.cs.wpi.edu/~kfisler/Pubs/icer14-rainfall/icer14.pdf experiment] with the so-called rainfall problem using Racket at 4 schools in the US. The rainfall problem was first used by [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.11.6583&rep=rep1&type=pdf Elliot Soloway] to assess students’ progress in learning to construct programs, and to find out how well they decompose and compose programming plans. Fisler uses the following variant of the rainfall problem:

Design a program called rainfall that consumes a list of numbers
representing daily rainfall amounts as entered by a user.
The list may contain the number -999 indicating the end of the
data of interest.
Produce the average of the non-negative values in the list up to
the first -999 (if it shows up).
There may be negative numbers other than -999 in the list.

The ideas we discussed was to repeat the experiment, but now using a typed functional programming language

TFPIE2015

2015-05-05T06:40:48Z

JohanJeuring: /* Program */

TFPIE2015

2015-05-03T08:15:57Z

JohanJeuring: /* Program */

TFPIE2015

2015-05-03T08:15:38Z

JohanJeuring: /* Program */

TFPIE2015

2015-05-03T08:15:13Z

JohanJeuring: /* Program */

TFPIE2015

2015-05-03T08:10:37Z

JohanJeuring:

TFPIE2015

2015-05-03T08:09:25Z

JohanJeuring: /* Invited Speaker */

TFPIE2015

2015-04-07T08:22:30Z

JohanJeuring: /* Invited Speaker */

TFPIE2015

2015-04-07T05:30:04Z

JohanJeuring: /* Important Dates */

TFPIE2015

2015-04-04T18:42:24Z

JohanJeuring:

TFPIE2015

2015-04-04T18:41:08Z

JohanJeuring: /* Invited Speaker */

TFPIE2015

2015-01-05T13:29:44Z

JohanJeuring: /* Submission Guidelines */

TFPIE2015

2015-01-05T13:28:59Z

JohanJeuring: /* Submission Guidelines */

TFPIE2015

2015-01-05T13:28:44Z

JohanJeuring: /* Submission Guidelines */

TFPIE2015

2014-12-17T15:30:55Z

JohanJeuring:

TFPIE2015

2014-12-17T15:27:16Z

JohanJeuring:

TFPIE2015

2014-12-17T15:26:50Z

JohanJeuring:

TFPIE2015

2014-12-17T15:24:18Z

JohanJeuring:

TFPIE2015

2014-11-26T18:33:18Z

JohanJeuring:

TFPIE2015

2014-11-26T18:25:47Z

JohanJeuring:

Main Page

2014-11-26T18:21:22Z

JohanJeuring:

'''MediaWiki has been successfully installed.'''

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== TFPIE ==
Welcome to the TFPIE wiki. The TFPIE wiki is a portal to find and contribute material on the subject of Functional Programming in an educational setting. It has been created on the occasion of the first International Workshop on Trends in Functional Programming In Education that was held at the University of St. Andrews, Scotland, on june 11th 2012.

=== TFPIE wiki ===
During the first TFPIE workshop, a group of enthusiastic functional programmers expressed their willingness to contribute further to this wiki. We are currently exploring how to structure this wiki, its policies, and initial content. A brainstorm lunch-meeting was held during the subsequent Trends in Functional Programming Symposium. We invite you to contribute to this wiki as well.

=== TFPIE workshops ===
We plan to organize the TFPIE workshops annually. These workshops are an informal meeting intended for researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshops will foster a spirit of open discussion by having a review process for publication after the workshop.

==== [[TFPIE2012]] ====
The first TFPIE workshop, University of St. Andrews, Scotland, june 11th 2012.

==== [[TFPIE2013]] ====
The second TFPIE workshop, Brigham Young University, Provo, Utah, USA, may 13 2013.

=== [[TFPIE2014]] ===
The third TFPIE workshop, Soesterberg at 'Kontakt der Kontinenten', The Netherlands, may 25 2014.

=== [[TFPIE2015]] ===
The fourth TFPIE workshop, Sophia-Antipolis, France, June 2, 2015.

TFPIE2015

2014-11-26T18:17:47Z

JohanJeuring:

TFPIE2015

2014-11-20T12:47:55Z

JohanJeuring:

The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, will be co-located with the Symposium on Trends in Functional Programming (TFP 2015) in Sophia-Antipolis in France in June 2015. TFP takes place from June 3 - 5.

== Goal ==
The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2015 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2015 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC.

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), and Soesterberg, The Netherlands (2014).

== Program Committee ==

Johan Jeuring, Utrecht University and Open University, The Netherlands (Chair)

Tba

== Invited Speaker ==

Tba

== Submission Guidelines ==

TFPIE 2015 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:

FP and beginning CS students
FP and Computational Thinking
FP and Artificial Intelligence
FP in Robotics
FP and Music
Advanced FP for undergraduates
FP in graduate education
Engaging students in research using FP
FP in Programming Languages
FP in the high school curriculum
FP as a stepping stone to other CS topics
FP and Philosophy
Best Lectures

In addition to papers, this year we are requesting “best lecture” presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.

Papers and abstracts can be submitted via easychair at the following link:

https://easychair.org/conferences/?conf=tfpie2015

It is expected at at least one author for each submitted paper will attend the workshop.

== Important Dates ==

?? 2015: Early Registration for TFP closes

?? 2015: Submission deadline for draft TFPIE papers and abstracts

?? 2015: Notification of acceptance for presentation

?? 2015: Registration for TFPIE closes - as does late registration for TFP

?? 2015: Presentations in Sophia-Antipolis, France

?? 2015: Full papers for EPTCS proceedings due.

?? 2015: Notification of acceptance for proceedings

?? 2015: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn.

TFPIE2015

2014-11-20T12:46:21Z

JohanJeuring:

The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, will be co-located with the Symposium on Trends in Functional Programming (TFP 2015) in Sophia-Antipolis in France in June 2015. TFP takes place from June 3 - 5.

== Goal ==
The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2015 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2015 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC.

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), and Soesterberg, The Netherlands (2014).

== Program Committee ==

Johan Jeuring, Utrecht University and Open University, The Netherlands (Chair)

Tba

== Invited Speaker ==

Tba

== Submission Guidelines ==

TFPIE 2015 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:

FP and beginning CS students
FP and Computational Thinking
FP and Artificial Intelligence
FP in Robotics
FP and Music
Advanced FP for undergraduates
FP in graduate education
Engaging students in research using FP
FP in Programming Languages
FP in the high school curriculum
FP as a stepping stone to other CS topics
FP and Philosophy
Best Lectures

In addition to papers, this year we are requesting “best lecture” presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.

Papers and abstracts can be submitted via easychair at the following link:

It is expected at at least one author for each submitted paper will attend the workshop.

== Important Dates ==

?? 2015: Early Registration for TFP closes

?? 2015: Submission deadline for draft TFPIE papers and abstracts

?? 2015: Notification of acceptance for presentation

?? 2015: Registration for TFPIE closes - as does late registration for TFP

?? 2015: Presentations in Sophia-Antipolis, France

?? 2015: Full papers for EPTCS proceedings due.

?? 2015: Notification of acceptance for proceedings

?? 2015: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn.

TFPIE2015

2014-11-20T12:33:36Z

JohanJeuring:

The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, will be co-located with the Symposium on Trends in Functional Programming (TFP 2015) in Sophia-Antipolis in France in June 2015. TFP takes place from June 3 - 5.

== Goal ==
The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2015 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2015 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC.

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), and Soesterberg, The Netherlands (2014).

== Program Committee ==

Johan Jeuring, Utrecht University and Open University, The Netherlands (Chair)
Tba

== Invited Speaker ==

Tba

== Submission Guidelines ==

TFPIE 2015 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:

FP and beginning CS students
FP and Computational Thinking
FP and Artificial Intelligence
FP in Robotics
FP and Music
Advanced FP for undergraduates
FP in graduate education
Engaging students in research using FP
FP in Programming Languages
FP in the high school curriculum
FP as a stepping stone to other CS topics
FP and Philosophy
Best Lectures

In addition to papers, this year we are requesting “best lecture” presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.

Papers and abstracts can be submitted via easychair at the following link:

It is expected at at least one author for each submitted paper will attend the workshop.

== Important Dates ==

?? 2015: Early Registration for TFP closes

?? 2015: Submission deadline for draft TFPIE papers and abstracts

?? 2015: Notification of acceptance for presentation

?? 2015: Registration for TFPIE closes - as does late registration for TFP

?? 2015: Presentations in Sophia-Antipolis, France

?? 2015: Full papers for EPTCS proceedings due.

?? 2015: Notification of acceptance for proceedings

?? 2015: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn.

TFPIE2015

2014-11-20T12:33:06Z

JohanJeuring:

The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, will be co-located with the Symposium on Trends in Functional Programming (TFP 2015) in Sophia-Antipolis in France in June 2015. TFP takes place from June 3 - 5.

The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2015 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2015 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC.

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), and Soesterberg, The Netherlands (2014).

== Program Committee ==

Johan Jeuring, Utrecht University and Open University, The Netherlands (Chair)
Tba

== Invited Speaker ==

Tba

== Submission Guidelines ==

TFPIE 2015 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:

FP and beginning CS students
FP and Computational Thinking
FP and Artificial Intelligence
FP in Robotics
FP and Music
Advanced FP for undergraduates
FP in graduate education
Engaging students in research using FP
FP in Programming Languages
FP in the high school curriculum
FP as a stepping stone to other CS topics
FP and Philosophy
Best Lectures

In addition to papers, this year we are requesting “best lecture” presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.

Papers and abstracts can be submitted via easychair at the following link:

It is expected at at least one author for each submitted paper will attend the workshop.

== Important Dates ==

?? 2015: Early Registration for TFP closes

?? 2015: Submission deadline for draft TFPIE papers and abstracts

?? 2015: Notification of acceptance for presentation

?? 2015: Registration for TFPIE closes - as does late registration for TFP

?? 2015: Presentations in Sophia-Antipolis, France

?? 2015: Full papers for EPTCS proceedings due.

?? 2015: Notification of acceptance for proceedings

?? 2015: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn.

TFPIE2015

2014-11-20T12:32:27Z

JohanJeuring:

The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, will be co-located with the Symposium on Trends in Functional Programming (TFP 2015) in Sophia-Antipolis in France in June 2015. TFP takes place from June 3 - 5.

The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2015 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2015 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC.

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), and Soesterberg, The Netherlands (2014).

== Program Committee ==

Tba

== Invited Speaker ==

Tba

== Submission Guidelines ==

TFPIE 2015 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:

FP and beginning CS students
FP and Computational Thinking
FP and Artificial Intelligence
FP in Robotics
FP and Music
Advanced FP for undergraduates
FP in graduate education
Engaging students in research using FP
FP in Programming Languages
FP in the high school curriculum
FP as a stepping stone to other CS topics
FP and Philosophy
Best Lectures

In addition to papers, this year we are requesting “best lecture” presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.

Papers and abstracts can be submitted via easychair at the following link:

It is expected at at least one author for each submitted paper will attend the workshop.

== Important Dates ==

?? 2015: Early Registration for TFP closes

?? 2015: Submission deadline for draft TFPIE papers and abstracts

?? 2015: Notification of acceptance for presentation

?? 2015: Registration for TFPIE closes - as does late registration for TFP

?? 2015: Presentations in Sophia-Antipolis, France

?? 2015: Full papers for EPTCS proceedings due.

?? 2015: Notification of acceptance for proceedings

?? 2015: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn.

Main Page

2014-11-20T12:23:58Z

JohanJeuring:

TFPIE2015

2014-11-20T12:22:19Z

JohanJeuring: Created page with "Welcome to the website for TFPIE 2015"

Welcome to the website for TFPIE 2015

File:TFPIEJeuring.pdf

2014-05-27T06:51:14Z

JohanJeuring:

TFPIE2014

2014-05-27T06:47:52Z

JohanJeuring: /* Preliminary program */

== 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 [http://www.cs.uwyo.edu/~jlc/tfpie14/ 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''' [[:File:TFPIEJeuring.pdf|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''] [[:File:tfpie2014_submission_1.pdf|PREPRINT]]

[[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''] [[:File:tfpie2014_submission_10.pdf|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''] [[:File:tfpie2014_submission_13.pdf|PREPRINT]]

[[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. Morazán, Rosario Antunez''] [[:File:tfpie2014_submission_14.pdf|PREPRINT]], [[:File:FSM.pdf|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''] [[:File:tfpie2014_submission_9.pdf|PREPRINT]]

[[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''] [[:File:tfpie2014_submission_6.pdf|PREPRINT]], [[:File:LearnPhysics.pdf|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''] [[:File:tfpie2014_submission_12.pdf|PREPRINT]]

[[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell''' [''Alejandro Serrano''] [[:File:tfpie2014_submission_5.pdf|PREPRINT]]

[[15:40 - 16:00]] '''Simple Balanced Binary Search Trees''' [''Prabhakar Ragde''] [[:File:tfpie2014_submission_8.pdf|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''] [[: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''] [[:File:tfpie2014_submission_16.pdf|PREPRINT]], [http://grammarware.net/slides/2014/tfpie.pdf 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 [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.

Main Page

2012-06-25T18:23:06Z

JohanJeuring: /* TFPIE */

'''MediaWiki has been successfully installed.'''

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== TFPIE ==
Welcome to the TFPIE wiki. The TFPIE wiki is a portal to find material on the subject of Functional Programming in an educational setting. It has been created on the occasion of the first International Workshop on Trends in Functional Programming In Education that was held at the University of St. Andrews, Scotland, on june 11th 2012. The link is below.

* [[TFPIE2012]]

During this workshop, a group of enthusiastic functional programmers expressed their willingness to contribute further to this wiki. We are currently exploring how to structure this wiki, its policies, and initial content. A brainstorm lunch-meeting was held during the subsequent Trends in Functional Programming Symposium. A brief report on this brainstorm meeting can be found below.

* [[TFPIEwiki]]
Frequently, Zazzle [http://www.fmcoupons.com wienerschnitzel coupons chili cheese fries] are constructed for solutions for example iphone cases, or fit a particular calendar event like Men Evening or Halloween parties year. By keeping an eye on offered coupons, you are able to manage specific offers on your keep that be connected alongside one another the available reductions having a specific variety of merchandise or graphics. One example is, you could possibly publicise the (now ran out) coupon InchesEarningIn . plus a selection of Charlie Sheen associated products! This can be ideal for marketing and advertising and creating a reliable, dependable storefront. Bear in mind centering on a certain theme is among the essential regulations of reliable promoting. [http://wiki.answers.com/Q/What_is_the_stock_market_symbol_for_the_restaurant_Chili&#39;s http://wiki.answers.com/Q/What_is_the_stock_market_symbol_for_the_restaurant_Chili&#39;s]
An added bonus to working with this web site is really because revise their results on a regular basis. Additionally they different the [http://www.free-meal-coupons.net discover more information] that are expiring rapidly from those which do not have an certain cessation day. Basically what you really are getting is accessibility coupon codes for such retailers. You'll find, nonetheless, some coupons you can actually impress and decide to try an outlet. Additionally they aspect coupons for specific manufacturers which you can use likewise. [http://jobsearch.money.cnn.com/a/all-jobs/list/q-Shift+Managers/l-Delafield,+WI/c-Boston+Market relevant page]