tfpie - User contributions [en]

TFPIE2021

2021-02-19T08:08:02Z

WikiSysop: /* Dates */

== TFPIE 2021 ==
''Because of the covid pandemic, the event is online this year.''

TFPIE 2021 is the '''10th''' edition of the International Workshop on Trends in Functional Programming in Education. After having been successfully co-located with [https://www.lambdadays.org/lambdadays2020 Lambda Days in 2020], it is now joining forces with [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021] and [http://tfp2021.org TFP 2021]. In the current schedule, TFPIE 2021 will be held on February 16 2021.

=== Call For Papers ===
The goal of the International Workshops on Trends in Functional Programming in
Education is to gather 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 workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.

TFPIE 2021 welcomes submissions in the above mentioned areas. This year many
teaching programmes have had to make a rapid transition to online teaching, and
we explicitly solicit papers that explore this area of teaching functional
programming.

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
* The pedagogy of teaching FP
* FP and e-learning: MOOCs, automated assessment etc.
* Best Lectures - more details below

In addition to papers, 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. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

==== Submissions ====
Potential presenters are invited to submit an extended abstract (4-6 pages) or a
draft paper (up to 20 pages) in [http://info.eptcs.org/ EPTCS style]. The authors of accepted
presentations will have their preprints and their slides made available on the
workshop's website. Papers and abstracts can be submitted via easychair at the
following link:

[https://easychair.org/conferences/?conf=tfpie2021 EasyChair TFPIE 2021]

After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles for publication
in the Electronic Proceedings in Theoretical Computer Science ([http://about.eptcs.org/ EPTCS]).
Articles rejected for presentation and extended abstracts will not be formally
reviewed by the PC.

==== Dates ====
* Submission deadline: January 11 2021, Anywhere on Earth.
* Notification: January 15 2021
* Workshop: February 16 2021
* '''Submission for formal review: April 20 2021, Anywhere on Earth.'''
* '''Notification of full article: June 7 2021'''
* '''Camera ready: July 1st 2021'''

==== Registration ====
TFPIE is part of [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021]. Please visit the Lambda Days 2021 pages when registration information becomes available.

Only papers that have been presented at TFPIE may be submitted to the post-reviewing process.

=== Proceedings via EPTCS ===
The final proceedings will be published as an [http://about.eptcs.org/ EPTCS volume]. Previous proceedings have appeared as volume 106, 136, 170, 230, 270, 295, 321.

=== Programme committee ===
The programme committee members are:
* Peter Achten, Radboud University, Netherlands (chair)
* Edwin Brady, University of St Andrews, UK
* Laura Castro, Universidade da Coruña, Spain
* Stephen Chang, University of Massachusetts Boston, USA
* Youyou Cong, Tokyo Institute of Technology, Japan
* Matthew Flatt, University of Utah, USA
* Seth Fogarty, Trinity University, San Antonio, USA
* Alex Gerdes, University of Gothenburg, Sweden
* Gabriele Keller, Utrecht University, Netherlands
* Prabhakar Ragde, University of Waterloo, Canada
* Melinda Tóth, Eötvös Loránd University, Budapest, Hungary

=== Program ===
Below you can find the program of TFPIE 2021. Note that all times are in Central European time zone.

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to P.Achten@cs.ru.nl).

[[12:00 - 12:10]] Welcome

'''Keynote I''' (chair: Peter Achten)

[[12:10 - 13:10]] '''Industry versus academia? Learning and teaching programming''' [''[https://www.lambdadays.org/lambdadays2021/francesco-cesarini Francesco Cesarini] and [https://www.lambdadays.org/lambdadays2021/simon-thompson Simon Thompson]'']

[[13:10 - 13:40]] Hello tables (time for mingling)

'''Session I''' (chair: Marc Feeley)

[[13:40 - 14:05]] '''Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach''' ['''Junya Nose''', ''Youyou Cong, Hidehiko Masuhara'' - Tokyo Institute of Technology, Tokyo, Japan]

[[14:05 - 14:30]] '''Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One''' [''Daniil Berezun'', '''Dmitry Boulytchev''' - St. Petersburg State University, St. Petersburg, Russia]

[[14:30 - 14:40]] Coffee break

'''Session II:''' (chair: Dmitry Boulytchev)

[[14:40 - 15:05]] '''Teaching Automated Reasoning and Formally Verified Functional Programming in Agda and Isabelle/HOL''' [''Asta Halkjær From'', '''Jørgen Villadsen''' - DTU Compute, Denmark] [[:Media:TFPIE_AHF_JV.pdf|Paper]] [[:Media:TFPIE_AHF_JV_Slides.pdf|Slides]]

[[15:05 - 15:30]] '''Teaching Programming to Novices Using the codeBoot Online Environment''' [''Marc Feeley'', '''Olivier Melançon''' - Université de Montréal, Canada] [[Media:Teaching_Programming_to_Novices_Using_the_codeBoot_Online_Environment.pdf|Slides]]

[[15:30 - 15:40]] Coffee break

'''Session III:''' (chair: Matthew Flatt)

[[15:40 - 16:05]] '''Design of Classes I''' ['''Marco T. Morazán''' - Seton Hall University, New York, USA][[Media:TFPIE-2021-DOCI-Morazan.pdf|Slides]]

[[16:05 - 16:30]] '''A Bricklayer-Tech Report''' ['''Victor Winter''', ''Hubert Hickman, Isabella Winter'' - Omaha Nebraska, USA]

[[16:30 - 16:40]] Coffee break

'''Keynote II''' (chair: Marco T. Morazán)

[[16:40 - 17:40]] '''Functorio - having fun with functional programming''' [''[https://www.lambdadays.org/lambdadays2021/bartosz-milewski Bartosz Milewski]'']

'''Ask the experts'''

[[17:40 - 18:10]] Ask the experts

TFPIE2021

2021-02-18T08:44:26Z

WikiSysop: /* TFPIE 2021 */

== TFPIE 2021 ==
''Because of the covid pandemic, the event is online this year.''

TFPIE 2021 is the '''10th''' edition of the International Workshop on Trends in Functional Programming in Education. After having been successfully co-located with [https://www.lambdadays.org/lambdadays2020 Lambda Days in 2020], it is now joining forces with [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021] and [http://tfp2021.org TFP 2021]. In the current schedule, TFPIE 2021 will be held on February 16 2021.

=== Call For Papers ===
The goal of the International Workshops on Trends in Functional Programming in
Education is to gather 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 workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.

TFPIE 2021 welcomes submissions in the above mentioned areas. This year many
teaching programmes have had to make a rapid transition to online teaching, and
we explicitly solicit papers that explore this area of teaching functional
programming.

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
* The pedagogy of teaching FP
* FP and e-learning: MOOCs, automated assessment etc.
* Best Lectures - more details below

In addition to papers, 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. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

==== Submissions ====
Potential presenters are invited to submit an extended abstract (4-6 pages) or a
draft paper (up to 20 pages) in [http://info.eptcs.org/ EPTCS style]. The authors of accepted
presentations will have their preprints and their slides made available on the
workshop's website. Papers and abstracts can be submitted via easychair at the
following link:

[https://easychair.org/conferences/?conf=tfpie2021 EasyChair TFPIE 2021]

After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles for publication
in the Electronic Proceedings in Theoretical Computer Science ([http://about.eptcs.org/ EPTCS]).
Articles rejected for presentation and extended abstracts will not be formally
reviewed by the PC.

==== Dates ====
* Submission deadline: January 11 2021, Anywhere on Earth.
* Notification: January 15 2021
* Workshop: February 16 2021
* Submission for formal review: April 20 2021, Anywhere on Earth.
* Notification of full article: June 7 2021
* Camera ready: July 1st 2021

==== Registration ====
TFPIE is part of [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021]. Please visit the Lambda Days 2021 pages when registration information becomes available.

Only papers that have been presented at TFPIE may be submitted to the post-reviewing process.

=== Proceedings via EPTCS ===
The final proceedings will be published as an [http://about.eptcs.org/ EPTCS volume]. Previous proceedings have appeared as volume 106, 136, 170, 230, 270, 295, 321.

=== Programme committee ===
The programme committee members are:
* Peter Achten, Radboud University, Netherlands (chair)
* Edwin Brady, University of St Andrews, UK
* Laura Castro, Universidade da Coruña, Spain
* Stephen Chang, University of Massachusetts Boston, USA
* Youyou Cong, Tokyo Institute of Technology, Japan
* Matthew Flatt, University of Utah, USA
* Seth Fogarty, Trinity University, San Antonio, USA
* Alex Gerdes, University of Gothenburg, Sweden
* Gabriele Keller, Utrecht University, Netherlands
* Prabhakar Ragde, University of Waterloo, Canada
* Melinda Tóth, Eötvös Loránd University, Budapest, Hungary

=== Program ===
Below you can find the program of TFPIE 2021. Note that all times are in Central European time zone.

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to P.Achten@cs.ru.nl).

[[12:00 - 12:10]] Welcome

'''Keynote I''' (chair: Peter Achten)

[[12:10 - 13:10]] '''Industry versus academia? Learning and teaching programming''' [''[https://www.lambdadays.org/lambdadays2021/francesco-cesarini Francesco Cesarini] and [https://www.lambdadays.org/lambdadays2021/simon-thompson Simon Thompson]'']

[[13:10 - 13:40]] Hello tables (time for mingling)

'''Session I''' (chair: Marc Feeley)

[[13:40 - 14:05]] '''Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach''' ['''Junya Nose''', ''Youyou Cong, Hidehiko Masuhara'' - Tokyo Institute of Technology, Tokyo, Japan]

[[14:05 - 14:30]] '''Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One''' [''Daniil Berezun'', '''Dmitry Boulytchev''' - St. Petersburg State University, St. Petersburg, Russia]

[[14:30 - 14:40]] Coffee break

'''Session II:''' (chair: Dmitry Boulytchev)

[[14:40 - 15:05]] '''Teaching Automated Reasoning and Formally Verified Functional Programming in Agda and Isabelle/HOL''' [''Asta Halkjær From'', '''Jørgen Villadsen''' - DTU Compute, Denmark] [[:Media:TFPIE_AHF_JV.pdf|Paper]] [[:Media:TFPIE_AHF_JV_Slides.pdf|Slides]]

[[15:05 - 15:30]] '''Teaching Programming to Novices Using the codeBoot Online Environment''' [''Marc Feeley'', '''Olivier Melançon''' - Université de Montréal, Canada] [[Media:Teaching_Programming_to_Novices_Using_the_codeBoot_Online_Environment.pdf|Slides]]

[[15:30 - 15:40]] Coffee break

'''Session III:''' (chair: Matthew Flatt)

[[15:40 - 16:05]] '''Design of Classes I''' ['''Marco T. Morazán''' - Seton Hall University, New York, USA]

[[16:05 - 16:30]] '''A Bricklayer-Tech Report''' ['''Victor Winter''', ''Hubert Hickman, Isabella Winter'' - Omaha Nebraska, USA]

[[16:30 - 16:40]] Coffee break

'''Keynote II''' (chair: Marco T. Morazán)

[[16:40 - 17:40]] '''Functorio - having fun with functional programming''' [''[https://www.lambdadays.org/lambdadays2021/bartosz-milewski Bartosz Milewski]'']

'''Ask the experts'''

[[17:40 - 18:10]] Ask the experts

TFPIE2021

2021-02-08T14:02:03Z

WikiSysop: /* Program */

TFPIE2021

2021-02-05T08:25:04Z

WikiSysop: /* Program */

TFPIE2021

2021-01-22T08:17:10Z

WikiSysop: /* Program */

TFPIE2021

2021-01-22T08:16:02Z

WikiSysop: /* TFPIE 2021 */

Call For Papers

2020-10-13T14:52:30Z

WikiSysop: /* Registration */

== Call For Papers TFPIE 2021 ==
[https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021 TFPIE 2021]
(February 16 2021, co-organized with [http://tfp2021.org TFP 2021] and [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021])

''Because of the covid pandemic, the events are online this year.''

The goal of the International Workshops on Trends in Functional Programming in
Education is to gather 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 workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.

TFPIE 2021 welcomes submissions in the above mentioned areas. This year many
teaching programmes have had to make a rapid transition to online teaching, and
we explicitly solicit papers that explore this area of teaching functional
programming.

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
* The pedagogy of teaching FP
* FP and e-learning: MOOCs, automated assessment etc.
* Best Lectures - more details below

In addition to papers, 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. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

=== Submissions ===
Potential presenters are invited to submit an extended abstract (4-6 pages) or a
draft paper (up to 20 pages) in [http://info.eptcs.org/ EPTCS style]. The authors of accepted
presentations will have their preprints and their slides made available on the
workshop's website. Papers and abstracts can be submitted via easychair at the
following link:

[https://easychair.org/conferences/?conf=tfpie2021 EasyChair TFPIE 2021]

After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles for publication
in the Electronic Proceedings in Theoretical Computer Science ([http://about.eptcs.org/ EPTCS]).
Articles rejected for presentation and extended abstracts will not be formally
reviewed by the PC.

=== Dates ===
* Submission deadline: January 11 2021, Anywhere on Earth.
* Notification: January 15 2021
* Workshop: February 16 2021
* Submission for formal review: April 20 2021, Anywhere on Earth.
* Notification of full article: June 7 2021
* Camera ready: July 1st 2021

=== Program Committee ===
* Peter Achten, Radboud University, Netherlands (chair)
* Edwin Brady, University of St Andrews, UK
* Laura Castro, Universidade da Coruña, Spain
* Stephen Chang, University of Massachusetts Boston, USA
* Youyou Cong, Tokyo Institute of Technology, Japan
* Matthew Flatt, University of Utah, USA
* Seth Fogarty, Trinity University, San Antonio, USA
* Alex Gerdes, University of Gothenburg, Sweden
* Gabriele Keller, Utrecht University, Netherlands
* Prabhakar Ragde, University of Waterloo, Canada
* Melinda Tóth, Eötvös Loránd University, Budapest, Hungary

=== Registration ===
TFPIE is part of [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021]. Please visit the Lambda Days 2021 pages when registration information becomes available.

Only papers that have been presented at TFPIE may be submitted to the post-reviewing process.

Call For Papers

2020-10-12T09:25:36Z

WikiSysop: /* Program Committee */

== Call For Papers TFPIE 2021 ==
[https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021 TFPIE 2021]
(February 16 2021, co-organized with [http://tfp2021.org TFP 2021] and [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021])

''Because of the covid pandemic, the events are online this year.''

The goal of the International Workshops on Trends in Functional Programming in
Education is to gather 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 workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.

TFPIE 2021 welcomes submissions in the above mentioned areas. This year many
teaching programmes have had to make a rapid transition to online teaching, and
we explicitly solicit papers that explore this area of teaching functional
programming.

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
* The pedagogy of teaching FP
* FP and e-learning: MOOCs, automated assessment etc.
* Best Lectures - more details below

In addition to papers, 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. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

=== Submissions ===
Potential presenters are invited to submit an extended abstract (4-6 pages) or a
draft paper (up to 20 pages) in [http://info.eptcs.org/ EPTCS style]. The authors of accepted
presentations will have their preprints and their slides made available on the
workshop's website. Papers and abstracts can be submitted via easychair at the
following link:

[https://easychair.org/conferences/?conf=tfpie2021 EasyChair TFPIE 2021]

After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles for publication
in the Electronic Proceedings in Theoretical Computer Science ([http://about.eptcs.org/ EPTCS]).
Articles rejected for presentation and extended abstracts will not be formally
reviewed by the PC.

=== Dates ===
* Submission deadline: January 11 2021, Anywhere on Earth.
* Notification: January 15 2021
* Workshop: February 16 2021
* Submission for formal review: April 20 2021, Anywhere on Earth.
* Notification of full article: June 7 2021
* Camera ready: July 1st 2021

=== Program Committee ===
* Peter Achten, Radboud University, Netherlands (chair)
* Edwin Brady, University of St Andrews, UK
* Laura Castro, Universidade da Coruña, Spain
* Stephen Chang, University of Massachusetts Boston, USA
* Youyou Cong, Tokyo Institute of Technology, Japan
* Matthew Flatt, University of Utah, USA
* Seth Fogarty, Trinity University, San Antonio, USA
* Alex Gerdes, University of Gothenburg, Sweden
* Gabriele Keller, Utrecht University, Netherlands
* Prabhakar Ragde, University of Waterloo, Canada
* Melinda Tóth, Eötvös Loránd University, Budapest, Hungary

=== Registration ===
TFPIE is part of [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021]. Please visit the Lambda Days 2021 pages when registration information becomes available.

Registration is mandatory for at least one author of every paper that is
presented at the workshop. Only papers that have been presented at TFPIE may be
submitted to the post-reviewing process.

TFPIE2021

2020-10-12T09:24:32Z

WikiSysop: /* Programme committee */

TFPIE2021

2020-10-12T09:19:04Z

WikiSysop: /* Programme committee */

Call For Papers

2020-10-12T09:18:24Z

WikiSysop: /* Program Committee (under construction) */

== Call For Papers TFPIE 2021 ==
[https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021 TFPIE 2021]
(February 16 2021, co-organized with [http://tfp2021.org TFP 2021] and [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021])

''Because of the covid pandemic, the events are online this year.''

The goal of the International Workshops on Trends in Functional Programming in
Education is to gather 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 workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.

TFPIE 2021 welcomes submissions in the above mentioned areas. This year many
teaching programmes have had to make a rapid transition to online teaching, and
we explicitly solicit papers that explore this area of teaching functional
programming.

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
* The pedagogy of teaching FP
* FP and e-learning: MOOCs, automated assessment etc.
* Best Lectures - more details below

In addition to papers, 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. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

=== Submissions ===
Potential presenters are invited to submit an extended abstract (4-6 pages) or a
draft paper (up to 20 pages) in [http://info.eptcs.org/ EPTCS style]. The authors of accepted
presentations will have their preprints and their slides made available on the
workshop's website. Papers and abstracts can be submitted via easychair at the
following link:

[https://easychair.org/conferences/?conf=tfpie2021 EasyChair TFPIE 2021]

After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles for publication
in the Electronic Proceedings in Theoretical Computer Science ([http://about.eptcs.org/ EPTCS]).
Articles rejected for presentation and extended abstracts will not be formally
reviewed by the PC.

=== Dates ===
* Submission deadline: January 11 2021, Anywhere on Earth.
* Notification: January 15 2021
* Workshop: February 16 2021
* Submission for formal review: April 20 2021, Anywhere on Earth.
* Notification of full article: June 7 2021
* Camera ready: July 1st 2021

=== Program Committee (under construction) ===
* Peter Achten, Radboud University, Netherlands (chair)
* Edwin Brady, University of St Andrews, UK
* Laura Castro, Universidade da Coruña, Spain
* Stephen Chang, University of Massachusetts Boston, USA
* Youyou Cong, Tokyo Institute of Technology, Japan
* Matthew Flatt, University of Utah, USA
* Alex Gerdes, University of Gothenburg, Sweden
* Gabriele Keller, Utrecht University, Netherlands
* Prabhakar Ragde, University of Waterloo, Canada
* Melinda Tóth, Eötvös Loránd University, Hungary

=== Registration ===
TFPIE is part of [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021]. Please visit the Lambda Days 2021 pages when registration information becomes available.

Registration is mandatory for at least one author of every paper that is
presented at the workshop. Only papers that have been presented at TFPIE may be
submitted to the post-reviewing process.

TFPIE2021

2020-09-30T07:51:36Z

WikiSysop: /* TFPIE 2021 */

Call For Papers

2020-09-30T07:17:21Z

WikiSysop: /* Submissions */

== Call For Papers TFPIE 2021 ==
[https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021 TFPIE 2021]
(February 16 2021, co-organized with [http://tfp2021.org TFP 2021] and [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021])

''Because of the covid pandemic, the events are online this year.''

The goal of the International Workshops on Trends in Functional Programming in
Education is to gather 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 workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.

TFPIE 2021 welcomes submissions in the above mentioned areas. This year many
teaching programmes have had to make a rapid transition to online teaching, and
we explicitly solicit papers that explore this area of teaching functional
programming.

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
* The pedagogy of teaching FP
* FP and e-learning: MOOCs, automated assessment etc.
* Best Lectures - more details below

In addition to papers, 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. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

=== Submissions ===
Potential presenters are invited to submit an extended abstract (4-6 pages) or a
draft paper (up to 20 pages) in [http://info.eptcs.org/ EPTCS style]. The authors of accepted
presentations will have their preprints and their slides made available on the
workshop's website. Papers and abstracts can be submitted via easychair at the
following link:

[https://easychair.org/conferences/?conf=tfpie2021 EasyChair TFPIE 2021]

After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles for publication
in the Electronic Proceedings in Theoretical Computer Science ([http://about.eptcs.org/ EPTCS]).
Articles rejected for presentation and extended abstracts will not be formally
reviewed by the PC.

=== Dates ===
* Submission deadline: January 11 2021, Anywhere on Earth.
* Notification: January 15 2021
* Workshop: February 16 2021
* Submission for formal review: April 20 2021, Anywhere on Earth.
* Notification of full article: June 7 2021
* Camera ready: July 1st 2021

=== Program Committee (under construction) ===
* Peter Achten, Radboud University, Netherlands (chair)
* Edwin Brady, University of St Andrews, UK
* Laura Castro, Universidade da Coruña, Spain
* Stephen Chang, University of Massachusetts Boston, USA
* Youyou Cong, Tokyo Institute of Technology, Japan
* Matthew Flatt, University of Utah, USA
* Alex Gerdes, University of Gothenburg, Sweden
* Prabhakar Ragde, University of Waterloo, Canada
* Melinda Tóth, Eötvös Loránd University, Hungary

=== Registration ===
TFPIE is part of [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021]. Please visit the Lambda Days 2021 pages when registration information becomes available.

Registration is mandatory for at least one author of every paper that is
presented at the workshop. Only papers that have been presented at TFPIE may be
submitted to the post-reviewing process.

Call For Papers

2020-09-30T07:14:36Z

WikiSysop: /* Submissions */

== Call For Papers TFPIE 2021 ==
[https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021 TFPIE 2021]
(February 16 2021, co-organized with [http://tfp2021.org TFP 2021] and [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021])

''Because of the covid pandemic, the events are online this year.''

The goal of the International Workshops on Trends in Functional Programming in
Education is to gather 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 workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.

TFPIE 2021 welcomes submissions in the above mentioned areas. This year many
teaching programmes have had to make a rapid transition to online teaching, and
we explicitly solicit papers that explore this area of teaching functional
programming.

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
* The pedagogy of teaching FP
* FP and e-learning: MOOCs, automated assessment etc.
* Best Lectures - more details below

In addition to papers, 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. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

=== Submissions ===
Potential presenters are invited to submit an extended abstract (4-6 pages) or a
draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available on the
workshop's website. Papers and abstracts can be submitted via easychair at the
following link:

[https://easychair.org/conferences/?conf=tfpie2021 EasyChair TFPIE 2021]

After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles for publication
in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Articles rejected for presentation and extended abstracts will not be formally
reviewed by the PC.

=== Dates ===
* Submission deadline: January 11 2021, Anywhere on Earth.
* Notification: January 15 2021
* Workshop: February 16 2021
* Submission for formal review: April 20 2021, Anywhere on Earth.
* Notification of full article: June 7 2021
* Camera ready: July 1st 2021

=== Program Committee (under construction) ===
* Peter Achten, Radboud University, Netherlands (chair)
* Edwin Brady, University of St Andrews, UK
* Laura Castro, Universidade da Coruña, Spain
* Stephen Chang, University of Massachusetts Boston, USA
* Youyou Cong, Tokyo Institute of Technology, Japan
* Matthew Flatt, University of Utah, USA
* Alex Gerdes, University of Gothenburg, Sweden
* Prabhakar Ragde, University of Waterloo, Canada
* Melinda Tóth, Eötvös Loránd University, Hungary

=== Registration ===
TFPIE is part of [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021]. Please visit the Lambda Days 2021 pages when registration information becomes available.

Registration is mandatory for at least one author of every paper that is
presented at the workshop. Only papers that have been presented at TFPIE may be
submitted to the post-reviewing process.

Call For Papers

2020-09-30T07:02:15Z

WikiSysop: /* Call For Papers TFPIE 2021 */

== Call For Papers TFPIE 2021 ==
[https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021 TFPIE 2021]
(February 16 2021, co-organized with [http://tfp2021.org TFP 2021] and [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021])

''Because of the covid pandemic, the events are online this year.''

The goal of the International Workshops on Trends in Functional Programming in
Education is to gather 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 workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.

TFPIE 2021 welcomes submissions in the above mentioned areas. This year many
teaching programmes have had to make a rapid transition to online teaching, and
we explicitly solicit papers that explore this area of teaching functional
programming.

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
* The pedagogy of teaching FP
* FP and e-learning: MOOCs, automated assessment etc.
* Best Lectures - more details below

In addition to papers, 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. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

=== Submissions ===
Potential presenters are invited to submit an extended abstract (4-6 pages) or a
draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available on the
workshop's website. Papers and abstracts can be submitted via easychair at the
following link:

[https://easychair.org/conferences/?conf=tfpie2021 EasyChair TFPIE 2021]

After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles. We plan to
publish them in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Articles rejected for presentation and extended abstracts will not be formally
reviewed by the PC.

=== Dates ===
* Submission deadline: January 11 2021, Anywhere on Earth.
* Notification: January 15 2021
* Workshop: February 16 2021
* Submission for formal review: April 20 2021, Anywhere on Earth.
* Notification of full article: June 7 2021
* Camera ready: July 1st 2021

=== Program Committee (under construction) ===
* Peter Achten, Radboud University, Netherlands (chair)
* Edwin Brady, University of St Andrews, UK
* Laura Castro, Universidade da Coruña, Spain
* Stephen Chang, University of Massachusetts Boston, USA
* Youyou Cong, Tokyo Institute of Technology, Japan
* Matthew Flatt, University of Utah, USA
* Alex Gerdes, University of Gothenburg, Sweden
* Prabhakar Ragde, University of Waterloo, Canada
* Melinda Tóth, Eötvös Loránd University, Hungary

=== Registration ===
TFPIE is part of [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021]. Please visit the Lambda Days 2021 pages when registration information becomes available.

Registration is mandatory for at least one author of every paper that is
presented at the workshop. Only papers that have been presented at TFPIE may be
submitted to the post-reviewing process.

Main Page

2020-09-30T06:59:32Z

WikiSysop: /* TFPIE workshops */

'''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.

==== [[TFPIE2016]] ====
The fifth TFPIE workshop, University of Maryland College Park, USA, June 7, 2016.

==== [[TFPIE2017]] ====
The sixth TFPIE workshop, University of Kent, UK, June 22, 2017.

==== [[TFPIE2018]] ====
The seventh TFPIE workshop, Chalmers University, Sweden, June 14, 2018.

==== [[TFPIE2019]] ====
The eighth TFPIE workshop, University of British Columbia, CA, June 11, 2019.
For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html the current home page of TFPIE 2019].

==== [[TFPIE2020]] ====
The ninth TFPIE workshop, Krakow, Poland, February 12, 2020.
For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html the current home page of TFPIE 2020].

==== [[TFPIE2021]] ====
The tenth TFPIE workshop, February 16, 2021. It is organized in collaboration with Lambda Days and TFP. Due to covid, the event is online.

TFPIE2021

2020-09-28T18:20:23Z

WikiSysop: /* TFPIE 2021 */

== TFPIE 2021 ==
TFPIE 2021 is the '''10th''' edition of the International Workshop on Trends in Functional Programming in Education. After having been successfully co-located with [https://www.lambdadays.org/lambdadays2020 Lambda Days in 2020], it is now joining forces with [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021] and [http://tfp2021.org TFP 2021]. In the current schedule, TFPIE 2021 will be held on February 16 2021. Because of the current pandemic, the event is going to be online.

=== [[Call For Papers]] ===

=== Submissions via EasyChair ===
We use [https://easychair.org/conferences/?conf=tfpie2021 EasyChair TFPIE 2021] for the paper submission and reviewing process.

=== Proceedings via EPTCS ===
The goal is to publish accepted papers as an [http://about.eptcs.org/ EPTCS volume]. The request is currently being processed. Previous proceedings have appeared as volume 106, 136, 170, 230, 270, 295, 321.

=== Programme committee ===
The programme committee is under construction. The currently confirmed members are:
* Peter Achten, Radboud University, Netherlands (chair)
* Edwin Brady, University of St Andrews, UK
* Laura Castro, Universidade da Coruña, Spain
* Stephen Chang, University of Massachusetts Boston, USA
* Youyou Cong, Tokyo Institute of Technology, Japan
* Matthew Flatt, University of Utah, USA
* Alex Gerdes, University of Gothenburg, Sweden
* Prabhakar Ragde, University of Waterloo, Canada
* Melinda Tóth, Eötvös Loránd University, Hungary

=== Programme chair ===
[http://www.cs.ru.nl/P.Achten/ Peter Achten, Radboud University, Netherlands]

Call For Papers

2020-09-28T18:14:21Z

WikiSysop: /* Call For Papers TFPIE 2021 */

== Call For Papers TFPIE 2021 ==
[https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021 TFPIE 2021]
(February 16 2021, Krakow, Poland co-organized with [http://tfp2021.org TFP 2021] and [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021])

The goal of the International Workshops on Trends in Functional Programming in
Education is to gather 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 workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.

TFPIE 2021 welcomes submissions in the above mentioned areas. This year many
teaching programmes have had to make a rapid transition to online teaching, and
we explicitly solicit papers that explore this area of teaching functional
programming.

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
* The pedagogy of teaching FP
* FP and e-learning: MOOCs, automated assessment etc.
* Best Lectures - more details below

In addition to papers, 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. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

=== Submissions ===
Potential presenters are invited to submit an extended abstract (4-6 pages) or a
draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available on the
workshop's website. Papers and abstracts can be submitted via easychair at the
following link:

[https://easychair.org/conferences/?conf=tfpie2021 EasyChair TFPIE 2021]

After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles. We plan to
publish them in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Articles rejected for presentation and extended abstracts will not be formally
reviewed by the PC.

=== Dates ===
* Submission deadline: January 11 2021, Anywhere on Earth.
* Notification: January 15 2021
* Workshop: February 16 2021
* Submission for formal review: April 20 2021, Anywhere on Earth.
* Notification of full article: June 7 2021
* Camera ready: July 1st 2021

=== Program Committee (under construction) ===
* Peter Achten, Radboud University, Netherlands (chair)
* Edwin Brady, University of St Andrews, UK
* Laura Castro, Universidade da Coruña, Spain
* Stephen Chang, University of Massachusetts Boston, USA
* Youyou Cong, Tokyo Institute of Technology, Japan
* Matthew Flatt, University of Utah, USA
* Alex Gerdes, University of Gothenburg, Sweden
* Prabhakar Ragde, University of Waterloo, Canada
* Melinda Tóth, Eötvös Loránd University, Hungary

=== Registration ===
TFPIE is part of [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021]. Please visit the Lambda Days 2021 pages when registration information becomes available.

Registration is mandatory for at least one author of every paper that is
presented at the workshop. Only papers that have been presented at TFPIE may be
submitted to the post-reviewing process.

Call For Papers

2020-09-28T18:12:48Z

WikiSysop: Created page with "== Call For Papers TFPIE 2021 == [https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021 TFPIE 2021] (February 16 2021, Krakow, Poland co-organized with [http://tfp2021.org TFP..."

== Call For Papers TFPIE 2021 ==
[https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021 TFPIE 2021]
(February 16 2021, Krakow, Poland co-organized with [http://tfp2021.org TFP 2021] and [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021])

The goal of the International Workshops on Trends in Functional Programming in
Education is to gather 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 workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.

TFPIE 2021 welcomes submissions in the above mentioned areas. This year many
teaching programmes have had to make a rapid transition to online teaching, and
we explicitly solicit papers that explore this area of teaching functional
programming.

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
* The pedagogy of teaching FP
* FP and e-learning: MOOCs, automated assessment etc.
* Best Lectures - more details below

In addition to papers, 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. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

=== Submissions ===
Potential presenters are invited to submit an extended abstract (4-6 pages) or a
draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available on the
workshop's website. Papers and abstracts can be submitted via easychair at the
following link:

[https://easychair.org/conferences/?conf=tfpie2021 EasyChair TFPIE 2021]

After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles that will be
published in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Articles rejected for presentation and extended abstracts will not be formally
reviewed by the PC.

=== Dates ===
* Submission deadline: January 11 2021, Anywhere on Earth.
* Notification: January 15 2021
* Workshop: February 16 2021
* Submission for formal review: April 20 2021, Anywhere on Earth.
* Notification of full article: June 7 2021
* Camera ready: July 1st 2021

=== Program Committee (under construction) ===
* Peter Achten, Radboud University, Netherlands (chair)
* Edwin Brady, University of St Andrews, UK
* Laura Castro, Universidade da Coruña, Spain
* Stephen Chang, University of Massachusetts Boston, USA
* Youyou Cong, Tokyo Institute of Technology, Japan
* Matthew Flatt, University of Utah, USA
* Alex Gerdes, University of Gothenburg, Sweden
* Prabhakar Ragde, University of Waterloo, Canada
* Melinda Tóth, Eötvös Loránd University, Hungary

=== Registration ===
TFPIE is part of [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021]. Please visit the Lambda Days 2021 pages when registration information becomes available.

Registration is mandatory for at least one author of every paper that is
presented at the workshop. Only papers that have been presented at TFPIE may be
submitted to the post-reviewing process.

TFPIE2021

2020-09-28T18:04:56Z

WikiSysop: /* TFPIE 2021 */

== TFPIE 2021 ==
TFPIE 2021 is the '''10th''' edition of the International Workshop on Trends in Functional Programming in Education. After having been successfully co-located with [https://www.lambdadays.org/lambdadays2020 Lambda Days in 2020], it is now joining forces with [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021] and [http://tfp2021.org TFP 2021]. In the current schedule, TFPIE 2021 will be held on February 16 2021. Because of the current pandemic, the event is going to be online.

=== [[Call For Papers]] ===

=== Submissions via EasyChair ===
We plan to use EasyChair for the paper submission and reviewing process.

=== Proceedings via EPTCS ===
The goal is to publish accepted papers as an [http://about.eptcs.org/ EPTCS volume]. The request is currently being processed. Previous proceedings have appeared as volume 106, 136, 170, 230, 270, 295, 321.

=== Programme committee ===
The programme committee is under construction. The currently confirmed members are:
* Peter Achten, Radboud University, Netherlands (chair)
* Edwin Brady, University of St Andrews, UK
* Laura Castro, Universidade da Coruña, Spain
* Stephen Chang, University of Massachusetts Boston, USA
* Youyou Cong, Tokyo Institute of Technology, Japan
* Matthew Flatt, University of Utah, USA
* Alex Gerdes, University of Gothenburg, Sweden
* Prabhakar Ragde, University of Waterloo, Canada
* Melinda Tóth, Eötvös Loránd University, Hungary

=== Programme chair ===
[http://www.cs.ru.nl/P.Achten/ Peter Achten, Radboud University, Netherlands]

TFPIE2021

2020-09-28T11:44:00Z

WikiSysop: /* Programme committee */

== TFPIE 2021 ==
TFPIE 2021 is the '''10th''' edition of the International Workshop on Trends in Functional Programming in Education. After having been successfully co-located with [https://www.lambdadays.org/lambdadays2020 Lambda Days in 2020], it is now joining forces with [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021] and [http://tfp2021.org TFP 2021]. In the current schedule, TFPIE 2021 will be held on February 16 2021. Because of the current pandemic, the event is going to be online.

=== Call For Papers ===
The first version of the Call For Papers will be announced in calendar week 39.

=== Submissions via EasyChair ===
We plan to use EasyChair for the paper submission and reviewing process.

=== Proceedings via EPTCS ===
The goal is to publish accepted papers as an [http://about.eptcs.org/ EPTCS volume]. The request is currently being processed. Previous proceedings have appeared as volume 106, 136, 170, 230, 270, 295, 321.

=== Programme committee ===
The programme committee is under construction. The currently confirmed members are:
* Peter Achten, Radboud University, Netherlands (chair)
* Edwin Brady, University of St Andrews, UK
* Laura Castro, Universidade da Coruña, Spain
* Stephen Chang, University of Massachusetts Boston, USA
* Youyou Cong, Tokyo Institute of Technology, Japan
* Matthew Flatt, University of Utah, USA
* Alex Gerdes, University of Gothenburg, Sweden
* Prabhakar Ragde, University of Waterloo, Canada
* Melinda Tóth, Eötvös Loránd University, Hungary

=== Programme chair ===
[http://www.cs.ru.nl/P.Achten/ Peter Achten, Radboud University, Netherlands]

TFPIE2021

2020-09-22T17:35:42Z

WikiSysop: /* TFPIE 2021 */

TFPIE2021

2020-09-22T15:42:57Z

WikiSysop: /* TFPIE 2021 */

== TFPIE 2021 ==
TFPIE 2021 is the '''10th''' edition of the International Workshop on Trends in Functional Programming in Education. After having been successfully co-located with [https://www.lambdadays.org/lambdadays2020 Lambda Days in 2020], it is now joining forces with [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021] and [http://www.cse.chalmers.se/~rjmh/tfp21/index.htm TFP 2021]. In the current schedule, TFPIE 2021 will be held on February 16 2021. Because of the current pandemic, the event is going to be online.

=== Call For Papers ===
The first version of the Call For Papers will be announced in calendar week 39.

=== Submissions via EasyChair ===
We plan to use EasyChair for the paper submission and reviewing process.

=== Proceedings via EPTCS ===
The goal is to publish accepted papers as an [http://about.eptcs.org/ EPTCS volume]. The request is currently being processed. Previous proceedings have appeared as volume 106, 136, 170, 230, 270, 295, 321.

=== Programme committee ===
Under construction.

=== Programme chair ===
[http://www.cs.ru.nl/P.Achten/ Peter Achten, Radboud University, Netherlands]

TFPIE2021

2020-09-22T15:35:53Z

WikiSysop: Created page with "== TFPIE 2021 == TFPIE 2021 is the '''10th''' edition of the International Workshop on Trends in Functional Programming in Education. After having been successfully co-located..."

Main Page

2020-09-22T14:39:43Z

WikiSysop: /* TFPIE workshops */

TFPIE2018

2019-06-22T10:19:10Z

WikiSysop: /* EPTCS proceedings */

The 8th International Workshop on Trends in Functional Programming in Education, TFPIE 2018, will be held on June 14, 2018 at Chalmers University in Sweden. It is co-located with the Symposium on Trends in Functional Programming (TFP 2018) which takes place from June 11 - 13.

For further information, please navigate to http://www.ccs.neu.edu/home/heather/tfpie2018/.

== Program ==

<pre>
9-10:
Keynote
Functional Programming @Spotify
Julien Tournay, Spotify
When it comes to data-engineering, functional programming and Scala are natural choices at Spotify.
The "flatmap" squad develops among other things Scio, an open-source functional Scala library that
we use to write all of our data-pipelines. In this talk we'll give insights on the challenges of training
experienced professionals with profiles ranging from data scientists to backend engineers to write
production ready functional Scala code. We'll show how we support Spotifiers on a daily basis, and
how we leverage power-users to build an internal community where people can share knowledge and
help each other.

10-10:30:
Investigating compilation errors of students learning Haskell
Boldizsár Németh, Eunjong Choi, Erina Makihara and Hajimu Iida

10:30-11:
COFFEE BREAK

11-11:30:
Embedded Programming adopting Functional Constructs in Rust
Per Lindgren, Marcus Lindner and Jorge Aparicio

11:30-12:
Vector Programming Using Generative Recursion
Marco T. Morazan

12-12:30:
LUNCH

13:30-14:
FSM Error Messages
Marco T. Morazan and Josephine Des Rosiers

14-14:30:
Induction via Recursion: A Proofs-as-Programs Approach to Math Education
Youyou Cong and Akiko Mito

14:30-15:
COFFEE BREAK

15-15:30:
Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics
Patrik Jansson, Sólrún Halla Einarsdóttir and Cezar Ionescu

15:30-16:
Stepping OCaml
Tsukino Furukawa, Youyou Cong and Kenichi Asai

16-16:30:
Introducing Certified Compilation in Education by a Functional Language Approach
Per Lindgren and Marcus Lindner

16:30-17:
Inclusive Programming with Truly Visual Polymorphic Algebraic Data Structures through Maramafication
Chide Groenouwe
</pre>

== 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 295.
You can find [http://eptcs.web.cse.unsw.edu.au/content.cgi?TFPIE2018 the formal TFPIE 2018 proceedings].

# FSM Error Messages (Marco T. Morazán and Josephine A. Des Rosiers)
# Stepping OCaml (Tsukino Furukawa, Youyou Cong and Kenichi Asai)
# Vector Programming Using Generative Recursion (Marco T. Morazán)
# Investigating Compilation Errors of Students Learning Haskell (Boldizsár Németh, Eunjong Choi, Erina Makihara and Hajimu Iida)
# Introducing Certified Compilation in Education by a Functional Language Approach (Per Lindgren, Marcus Lindner and Nils Fitinghoff)
# Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics (Patrik Jansson, Sólrún Halla Einarsdóttir and Cezar Ionescu)

TFPIE2017

2018-05-23T09:53:42Z

WikiSysop: added information about EPTCS proceedings

The 6th International Workshop on Trends in Functional Programming in Education, TFPIE 2017, will be held on June 22, 2017 at the University of Kent in the UK. It is co-located with the Symposium on Trends in Functional Programming (TFP 2017) which takes place from June 19 - 21.

For further information, please navigate to https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Home.html.

== 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 270.
You can find [http://eptcs.web.cse.unsw.edu.au/content.cgi?TFPIE2017 the formal TFPIE 2017 proceedings].
Alternatively, you can follow [https://arxiv.org/abs/1805.04255 this link to arXiv.org].

# Vector Programming Using Structural Recursion (Marco T. Morazán)
# Using Elm to Introduce Algebraic Thinking to K-8 Students (Curtis d'Alves, Tanya Bouman, Christopher Schankula, Jenell Hogg, Levin Noronha, Emily Horsman, Rumsha Siddiqui, Christopher Kumar Anand)
# Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers (Jeremy Singer and Blair Archibald)
# Teaching Erlang through the Internet: An Experience Report (Stephen Adams)

TFPIE2014

2014-05-24T17:26:26Z

WikiSysop: /* Program + chairs */

== 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'''

[[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]]

[[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]]

[[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 [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.

TFPIE2012: Teaching Parallel FP at Chalmers

2012-06-01T11:36:00Z

WikiSysop: /* Teaching Parallel Functional Programming at Chalmers */

== Teaching Parallel Functional Programming at Chalmers ==
By: John Hughes, Mary Sheeran

* URL to the course home page: [[http://www.cse.chalmers.se/edu/course/pfp/]]

TFPIE2012

2012-05-29T14:42:35Z

WikiSysop: /* TFPIE 2012 */

== TFPIE 2012 ==
TFPIE 2012 is the first International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2012 at the University of St. Andrews in Scotland.

=== Contributions ===
Below you can find the draft papers and additional material provided by the participants of TFPIE 2012. The order is identical to the workshop program.

# How Computers Work: Computational Thinking for Everyone (Rex Page, Ruben Gamboa) [[TFPIE 2012: How Computers Work]]
# Mathematics Is Imprecise (Prabhakar Ragde) [[TFPIE2012: Mathematics is Imprecise]]
# Step-by-step tutorial of good abstraction design (Philip Hölzenspies) [[TFPIE2012: Good Abstraction Design]]
# Teaching generic programming (Pieter Koopman and Rinus Plasmeijer) [[TFPIE2012: Teaching Generic Programming]]
# Forty hours of declarative programming -- Teaching Prolog at the Junior College Utrecht (Jurriën Stutterheim, Wouter Swierstra, and Doaitse Swierstra) [[TFPIE2012: Forty Hours of Declarative Programming]]
# COMP 2650 Experience: Teaching Functional Programming to Non-Majors (Ashoke Deb) [[TFPIE2012: COMP 2650 Experience]]
# CS4204: Concurrency and Multicore Architectures (Kevin Hammond) [[TFPIE2012: Concurrency and Multicore Architectures]]
# Teaching Functional Programming to Professional .NET Developers (Tomas Petricek) [[TFPIE2012: Teaching FP to .NET Developers]]
# Holmes for Haskell (Jurriaan Hage and Brian Vermeer) [[TFPIE2012: Holmes for Haskell]]
# Intensive Programmes in Functional Programming (Viktória Zsók and Zoltán Horváth) [[TFPIE2012: Intensive Programs in FP]]
# The Recursion Schemes of Scientific Models -- A Multi-Paradigm Study of the Logistic Map in Haskell (Baltasar Trancón y Widemann) [[TFPIE2012: Recursion Schemes of Scientific Models]]
# Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (John O'Donnell) [[TFPIE2012: Connecting the Dots]]
# Tactile Terms (Philip Hölzenspies) [[TFPIE2012: Tactile Terms]]

The workshop ends with a discussion on functional programming in education, science, and industry. It is led by Simon Thompson. [[TFPIE2012: Discussion]]

Main Page

2012-05-29T14:40:37Z

WikiSysop: /* TFPIE wiki home */

'''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. Here you can find additional material that is provided by participants of the TFPIE workshops. You can find the pages to the very first workshop below. We hope more events will be organized in the future.

* [[TFPIE2012]]

File:TFPIE2012 Draft TactileTerms Holzenspies.pdf

2012-05-29T13:27:51Z

WikiSysop: In this paper, we are arguing for a new way of programmer-compiler interaction. ...

In this paper, we are arguing for a new way of programmer-compiler interaction. ...

TFPIE2012: Tactile Terms

2012-05-29T13:26:44Z

WikiSysop: /* Tactile Terms */

== Tactile Terms ==
By: Philip Hölzenspies

* Draft proceedings version [[File:TFPIE2012_Draft_TactileTerms_Holzenspies.pdf]]

File:TFPIE2012 Draft ConnectingTheDots ODonnell.pdf

2012-05-29T13:25:50Z

WikiSysop: A functional hardware description language enables students to gain a working understanding of computer systems, and to see how the levels of abstraction fit together. ...

A functional hardware description language enables students to gain a working understanding of computer systems, and to see how the levels of abstraction fit together. ...

TFPIE2012: Connecting the Dots

2012-05-29T13:25:12Z

WikiSysop: /* Connecting the Dots */

== Connecting the Dots ==
By: John O'Donnell

* Draft proceedings version [[File:TFPIE2012_Draft_ConnectingTheDots_ODonnell.pdf]]

File:TFPIE2012 Draft RecursionSchemesOfScientificModels Widemann.pdf

2012-05-29T13:24:08Z

WikiSysop: The Squiggol approach to recursive algorithms separates computation and recursion scheme. We revisit the idea in a setting of simple but paradigmatic problems in scientific, particularly ecological, modelling. ...

The Squiggol approach to recursive algorithms separates computation and recursion scheme. We revisit the idea in a setting of simple but paradigmatic problems in scientific, particularly ecological, modelling. ...

TFPIE2012: Recursion Schemes of Scientific Models

2012-05-29T13:22:40Z

WikiSysop: /* The Recursion Schemes of Scientific Models */

== The Recursion Schemes of Scientific Models ==
By: Baltasar Trancón y Widemann

* Draft proceedings version [[File:TFPIE2012_Draft_RecursionSchemesOfScientificModels_Widemann.pdf]]

File:TFPIE2012 Draft IntensiveProgrammesInFP Zsok and Horvath.pdf

2012-05-29T13:21:34Z

WikiSysop: In this paper we present the advantages and experiences of the Central European Functional Programming summer school series. ...

In this paper we present the advantages and experiences of the Central European Functional Programming summer school series. ...

TFPIE2012: Intensive Programs in FP

2012-05-29T13:20:56Z

WikiSysop: /* Intensive Programmes in FP */

== Intensive Programmes in Functional Programming ==
By: Viktória Zsók and Zoltán Horváth

* Draft proceedings version [[File:TFPIE2012_Draft_IntensiveProgrammesInFP_Zsok_and_Horvath.pdf]]

File:Tfpie2012 submission 5.pdf

2012-05-29T13:19:24Z

WikiSysop: Holmes is a plagiarism detection tool for Haskell programs. ...

Holmes is a plagiarism detection tool for Haskell programs. ...

TFPIE2012: Holmes for Haskell

2012-05-29T13:18:24Z

WikiSysop: /* Holmes for Haskell */

== Holmes for Haskell ==
By: Jurriaan Hage and Brian Vermeer

* Draft proceedings version [[File:TFPIE2012_Draft_HolmesForHaskell_Hage_and_Vermeer.pdf]]

File:TFPIE2012 Draft TeachingFPtoDOTNETDevelopers Petricek.pdf

2012-05-29T13:17:27Z

WikiSysop: ... With the recent rise of functional programming in the industry, it becomes important to teach functional concepts to professional developers with deep knowledge of other paradigms, most importantly object-oriented. ...

... With the recent rise of functional programming in the industry, it
becomes important to teach functional concepts to professional developers with
deep knowledge of other paradigms, most importantly object-oriented. ...

TFPIE2012: Teaching FP to .NET Developers

2012-05-29T13:16:31Z

WikiSysop: /* Teaching FP to Professional .NET Developers */

== Teaching Functional Programming to Professional .NET Developers ==
By: Tomas Petricek

* Draft proceedings version [[File:TFPIE2012_Draft_TeachingFPtoDOTNETDevelopers_Petricek.pdf]]

File:TFPIE2012 Draft CS4204ConcurrencyMulticore Hammond.pdf

2012-05-29T13:15:09Z

WikiSysop: We have been teaching a new 25-hour advanced lecture module on concurrency and multicore parallelism in 2012. ...

We have been teaching a new 25-hour advanced lecture module on concurrency and multicore parallelism in 2012. ...

TFPIE2012: Concurrency and Multicore Architectures

2012-05-29T13:13:41Z

WikiSysop: /* CS4204: Concurrency and Multicore Architectures */

== CS4204: Concurrency and Multicore Architectures ==
By: Kevin Hammond

* Draft proceedings version [[File:TFPIE2012_Draft_CS4204ConcurrencyMulticore_Hammond.pdf]]

File:TFPIE2012 Draft COMP 2650Experience Deb.pdf

2012-05-29T13:12:15Z

WikiSysop: A proposal to teach functional programming, in an introductory service course, to non-majors with minimal mathematics background, is certain to face skepticism, cynicism, and strong opposition. ...

A proposal to teach functional programming, in an introductory service
course, to non-majors with minimal mathematics background, is certain to
face skepticism, cynicism, and strong opposition. ...

TFPIE2012: COMP 2650 Experience

2012-05-29T13:11:36Z

WikiSysop: /* COMP 2650 Experience */

== COMP 2650 Experience: Teaching Functional Programming to Non-Majors ==
By: Ashoke Deb

* Draft proceedings version [[File:TFPIE2012_Draft_COMP_2650Experience_Deb.pdf]]

File:TFPIE2012 Draft FortyHoursOfDeclarativeProgramming Stutterheim et al.pdf

2012-05-29T13:10:17Z

WikiSysop: This paper documents our experience using declarative languages to give secondary school students a first taste of Computer Science. ...

This paper documents our experience using declarative languages to give secondary school students a first taste of Computer Science. ...

TFPIE2012: Forty Hours of Declarative Programming

2012-05-29T13:09:39Z

WikiSysop: /* Forty Hours of Declarative Programming */

== Forty hours of declarative programming ==
By: Jurriën Stutterheim, Wouter Swierstra, and Doaitse Swierstra

* Draft proceedings version [[File:TFPIE2012_Draft_FortyHoursOfDeclarativeProgramming_Stutterheim_et_al.pdf]]

File:TFPIE2012 Draft TeachingGenericProgramming Koopman and Plasmeijer.pdf

2012-05-29T13:07:52Z

WikiSysop: In this paper we explain how we teach generic programming to master students in computer science. ...

In this paper we explain how we teach generic programming to master students in computer science. ...