tfpie - User contributions [en]

TFPIE2023

2023-01-12T15:12:40Z

Morazanm: /* Presentation session 2 (chair: Jason Hemann) */

=Trends in Functional Programming in Education (TFPIE)=

Welcome! The 2023 edition of Trends in Functional Programming in Education will be held '''on January 12th in Boston, Massachusetts''' at UMass Boston, Massachusetts in the United States, together with TFP which will be held on January 13-14, and in conjunction with POPL held January 15-21.

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 2023 will screen submissions to ensure that all presentations are within scope and are of interest to participants. After the workshop, presenters will be invited to submit revised versions of their articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS).

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands (2014), Sophia-Antipolis, France (2015), College Park, USA (2016), Canterbury, UK (2017), Gothenburg (2018) and Vancouver (2019), Krakow, Poland (2020) and online due to COVID-19 (2021, 2022, with some talks from TFPIE 2022 also presented in person at the Lambda Days in Krakow, Poland).

== Topics ==
TFPIE 2022 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
* 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.

== Important Dates ==

* Submission deadline: December 27th 2022, Anywhere on Earth
* Notification: by December 30th 2022 (Note: earlier submissions will receive earlier response)
* TFPIE Registration Deadline: TBA
* Workshop: January 12th 2023
* Submission for formal review: April 19th 2023, Anywhere on Earth.
* Notification of full article: May 24th 2023
* Camera ready: July 1st 2023

== The Programme Committee ==

* [http://www.cas.mcmaster.ca/~anand ''Christopher Anand''] - McMaster University, Canada
* [http://www.egri-nagy.hu/ ''Attila Egri-Nagy''] - Akita International University, Japan
* [https://icfp22.sigplan.org/profile/jasonhemann ''Jason Hemann''] - Seton Hall University, USA
* [https://www21.in.tum.de/team/kappelmk/ ''Kevin Kappelmann''] - Technical University of Munich, Germany
* [http://cda.morris.umn.edu/~elenam/ ''Elena Machkasova (Chair)''] - University of Minnesota Morris, USA
* [https://who.rocq.inria.fr/Kristina.Sojakova/ ''Kristina Sojakova''] - INRIA, France
* [http://www.imm.dtu.dk/~jovi/ ''Jørgen Villadsen''] - Technical University of Denmark, Denmark

== How To Submit ==
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: [https://easychair.org/conferences/?conf=tfpie2023 ''https://easychair.org/conferences/?conf=tfpie2023'']

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.

== Invited Speaker ==
[https://cs.brown.edu/~sk/ Shriram Krishnamurthi] "How to Plan Programs"

A lot of programming education focuses on programs. But when novices struggle with programming, a lot of their difficulty is not with the program per se. What else is there? What do we know about it? And how can we make their experience better? This talk surveys recent research in programming education, with a heavy dependence on functional programming.

== How To Register ==
Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]

Registration and attendance are 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.

== Program ==

Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: elenam at morris dot umn dot edu).

The conference will take place on the [https://www.umb.edu/map UMass Boston Campus in University Hall], 2nd floor, room 2110.

[[09:30 - 9:55]] Breakfast

[[9:55 - 10:00]] Welcome (Elena Machkasova)

==== Presentation session 1 (chair: Peter Achten) ====

[[10:00-10:30]] '''Disco: A Functional Programming Language for Discrete Mathematics''' ''Brent Yorgey'' - Hendrix College, Conway, Arkansas, USA

[[10:30 - 11:00]] '''ProofBuddy: Acquiring Proof Competence with Friendly Assistance''' ''Nadine Karsten, Frederik Krogsdal Jacobsen, Uwe Nestmann and Jørgen Villadsen'' - Technical University of Denmark Technische Universität Berlin, Germany

[[11:00 - 11:30]] Coffee Break

==== Keynote (chair: Marco Morazan) ====

[[11:30 - 12:30]] [https://cs.brown.edu/~sk/ Shriram Krishnamurthi] '''How to Plan Programs'''

[[12:30 - 14:00]] Lunch

==== Presentation session 2 (chair: Jason Hemann) ====

[[14:00 - 14:30]] '''Regular Expressions for Computer Science Students''' ''Marco Morazan'' - Seton Hall University, South Orange, New Jersey, USA
* [[File:Slides-reg-exp-fsm.pdf]]

[[14:30 - 15:00]] '''They Already Know the Syntax!''' ''Enzo Alda'' - Lakebolt Research, USA

[[15:00 - 15:30]] Coffee Break

==== Presentation session 3 (chair: Elena Machkasova) ====

[[15:30 - 16:00]] '''How To Derive an Electronic Functional Programming Exam from a Paper Exam with Proofs and Programming Tasks''' ''Ole Lübke, Konrad Fuger, Fin Hendrik Bahnsen, Katrin Billerbeck and Sibylle Schupp'' - Hamburg University of Technology and University Medicine Essen, Germany

[[16:00 - 16:30]] '''Mastering Functional Programming, Algorithms and Data Structures in OCaml, at Your Disposal''' ''Rui Barata and Simão Melo-de-Sousa'' - Universidade da Beira Interior, Portugal

All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Sat Jan 14th.

File:Slides-reg-exp-fsm.pdf

2023-01-12T15:07:34Z

Morazanm:

TFPIE2022

2022-03-15T13:37:25Z

Morazanm: /* Presentation session 3 (Chair: Christopher Anand) */

=Trends in Functional Programming in Education (TFPIE)=

Welcome! The 2022 edition of Trends in Functional Programming in Education will be held '''virtually on March 16th 2022''', together with TFP which will be held on March 17-18. Note that [https://www.lambdadays.org/lambdadays2022 ''Lambda Days''] in Krakow, Poland has been rescheduled to July 28-29, and authors of TFPIE accepted papers are welcome to present their papers at the Lambda Days, in addition to the virtual presentations in March.

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 2022 will screen submissions to ensure that all presentations are within scope and are of interest to participants. After the workshop, presenters will be invited to submit revised versions of their articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS).

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands (2014), Sophia-Antipolis, France (2015), College Park, USA (2016), Canterbury, UK (2017), Gothenburg (2018) and Vancouver (2019), Krakow, Poland (2020) and online due to COVID-19 (2021).

== Announcement 1/7/2022, update 1/11/2022 ==

Due to the rescheduling of the Lambda Days to July 28-29 the TFPIE organizing committee decided to make the following changes:

* TFPIE 2022 will be held together with TFP 2022 '''virtually''' on March 16 2022
* The Lambda Days are inviting TFP and TFPIE speakers to give in-person presentations at the Lambda Days July 28-29 if they are able and interested (registration fee waived)
* The submission deadline for TFPIE is extended to February 7th 2022
* Authors' notification is February 11th, 2022 (but we are evaluating submissions on the ongoing basis)
* Submission for formal review is extended to April 29th 2022

== Topics ==
TFPIE 2022 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
* 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.

[[Call For Papers 2022]]

== Important Dates ==

* Submission deadline: <s>January 5th 2022</s> February 7th 2022, Anywhere on Earth.
* Notification: <s>January 10th 2022</s> February 11th 2022
* TFPIE Registration Deadline:<s>February 2nd 2022</s> March 15th 2022
* Workshop: <s>February 11th 2022</s> March 16th 2022, followed by TFP March 17-18th
* Submission for formal review: <s>April 15th 2022</s> April 29th 2022, Anywhere on Earth.
* Notification of full article: June 1st 2022
* Camera ready: July 1st 2022
* Optional: presentation at the Lambda Days July 28-29, Krakow, Poland

== The Programme Committee ==

* [https://www.cs.ru.nl/P.Achten/ ''Peter Achten''], Radboud University, Netherlands
* [https://stchang.github.io/ ''Stephen Chang''], University of Massachusetts Boston, USA
* [http://www.cse.chalmers.se/~rjmh/''John Hughes''], Chalmers University of Technology, Sweden
* [http://cda.morris.umn.edu/~elenam/ ''Elena Machkasova (Chair)''] - University of Minnesota Morris, USA
* [https://who.rocq.inria.fr/Kristina.Sojakova/ ''Kristina Sojakova''] - INRIA, Paris, France
* [https://www.inf.elte.hu/en/staff/melinda-toth ''Melinda Tóth''], Eötvös Loránd University, Budapest, Hungary

== How To Submit ==
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=tfpie2022 EasyChair TFPIE 2022]

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.

== Invited Speaker ==
Our keynote talk is "The perfect Functional Programming course" by Peter Achten.

== How To Register ==
<s>TFPIE is part of [https://www.lambdadays.org/lambdadays2022 Lambda Days 2022]. To register, please visit the [https://www.lambdadays.org/lambdadays2022#register Lambda Days 2022 registration page].</s>

TFPIE, together with TFP, will be held virtually on March 16-18th (TFPIE: March 16, TFP: March 17-18). '''Click [https://forms.gle/aFHRmSJuCa5E8UGR6 here] to register.''' </br>
Registration is for both TFP and TFPIE. There is no registration fee. The zoom links will be sent to the registered participants shortly before the start of the conference.

Only papers that have been presented at TFPIE may be submitted to the post-reviewing process. Note that this implies that at least one of the authors has registered for TFPIE 2022 and has presented the work at the workshop.

Note that the Lambda Days in Krakow, Poland has been rescheduled to July 28-29, and authors of TFPIE accepted papers are welcome to present their papers at the Lambda Days, in addition to the virtual presentations in March.

== Program ==

Below you can find the program of TFPIE 2022. Note that all times are in [https://savvytime.com/converter/utc UTC time] (US participants - please be aware of the daylight saving time starting on Sunday March 13th!).

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: elenam at morris dot umn dot edu).

[[11:00 - 11:10]] Welcome

==== Presentation session 1 (Chair: Youyou Cong) ====

[[11:10 - 11:30]] '''Functional programming learning path''' ''Lidia Gorodnyaya and Dmitry Kondratyev'' - A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia

[[11:35 - 11:55]] '''Teaching Simple Constructive Proofs with Haskell Programs''' ''Matthew Farrugia-Roberts and Harald Sondergaard'' - The University of Melbourne, Melbourne, Australia
* [[Media:Farrugia-Roberts_and_Sondergaard_TFPIE_2022_extended_abstract.pdf|Extended Abstract]]
* [[Media:Farrugia-Roberts_and_Sondergaard_TFPIE_2022_slides.pdf|Presentation Slides]]

==== Presentation session 2 (Chair: Peter Achten) ====

[[12:00 - 12:20]] '''Towards Type-Based Music Composition''' ''Youyou Cong'' - Tokyo Institute of Technology, Tokyo, Japan
* [https://drive.google.com/file/d/1GZalMD3T5YFVfIO4xeUL4G35Y4pURFDE/view?usp=sharing Extended Abstract]
* [https://drive.google.com/file/d/1M_ezk5ZA9_39CrNo3KQBBdI0DeJ_3xSf/view?usp=sharing Presentation Slides]

[[12:25 - 12:45]] '''Teaching Functional Programmers Logic and Metatheory''' ''Frederik Krogsdal Jacobsen and Jørgen Villadsen'' - Technical University of Denmark, Copenhagen, Denmark

==== Hello tables ====

[[12:45 - 13:15]] Hellos and mingling in breakout rooms

[[13:15 - 13:30]] Coffee break (zoom on)

==== Keynote address (Chair: Marco Morazan) ====

[[13:30 - 14:30]] '''Keynote: The Perfect Functional Programming Course''' ''Peter Achten'' - Radboud University Nijmegen, The Netherlands [[File:Keynote_TFPIE_2022_The_Perfect_FP_Course.pdf]]

[[14:30 - 15:00]] Break (zoom off)

==== Presentation session 3 (Chair: Christopher Anand) ====

[[15:00 - 15:20]] '''Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space''' ''Kevin Kappelmann, Jonas Rädle and Lukas Stevens'' - Technical University of Munich, Munich, Germany
* [https://github.com/kappelmann/engaging-large-scale-functional-programming/releases/download/pdf/engaging_fp_education.pdf Paper Draft]
* [https://github.com/kappelmann/engaging-large-scale-functional-programming/ Resources Repository]

[[15:25 - 15:45]] '''Introduction to Functional Classes in CS1''' ''Marco T. Morazan'' - Seton Hall University, New Jersey, USA
* [[File:Intro-Func-Objects-CS1.pdf]]
* [[File:Slides-tfpie2022.pdf]]

[[15:45 - 16:00]] Coffee break (zoom on)

==== Presentation session 4 (Chair: Elena Machkasova) ====

[[16:00 - 16:20]] '''Teaching Interaction using State Diagrams''' ''Padma Pasupathi, Christopher Schankula, Nicole DiVincenzo, Sarah Coker and Christopher Anand'' - McMaster University, Hamilton, Ontario, Canada

[[16:25 - 16:45]] '''Toward Smart Mentor Dispatch: Can we predict when children need help to overcome errors or other roadblocks?''' ''Chinmay Sheth, Vaitheeka Nallasamy, Kruthiga Karunakaran and Christopher K. Anand'' - McMaster University, Hamilton, Ontario, Canada

[[16:45 - 17:30]] Wrap-up, followed by breakout rooms

File:Intro-Func-Objects-CS1.pdf

2022-03-15T13:36:01Z

Morazanm: Draft article

== Summary ==
Draft article

TFPIE2022

2022-03-15T13:34:17Z

Morazanm: /* Presentation session 3 (Chair: Christopher Anand) */

=Trends in Functional Programming in Education (TFPIE)=

Welcome! The 2022 edition of Trends in Functional Programming in Education will be held '''virtually on March 16th 2022''', together with TFP which will be held on March 17-18. Note that [https://www.lambdadays.org/lambdadays2022 ''Lambda Days''] in Krakow, Poland has been rescheduled to July 28-29, and authors of TFPIE accepted papers are welcome to present their papers at the Lambda Days, in addition to the virtual presentations in March.

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 2022 will screen submissions to ensure that all presentations are within scope and are of interest to participants. After the workshop, presenters will be invited to submit revised versions of their articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS).

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands (2014), Sophia-Antipolis, France (2015), College Park, USA (2016), Canterbury, UK (2017), Gothenburg (2018) and Vancouver (2019), Krakow, Poland (2020) and online due to COVID-19 (2021).

== Announcement 1/7/2022, update 1/11/2022 ==

Due to the rescheduling of the Lambda Days to July 28-29 the TFPIE organizing committee decided to make the following changes:

* TFPIE 2022 will be held together with TFP 2022 '''virtually''' on March 16 2022
* The Lambda Days are inviting TFP and TFPIE speakers to give in-person presentations at the Lambda Days July 28-29 if they are able and interested (registration fee waived)
* The submission deadline for TFPIE is extended to February 7th 2022
* Authors' notification is February 11th, 2022 (but we are evaluating submissions on the ongoing basis)
* Submission for formal review is extended to April 29th 2022

== Topics ==
TFPIE 2022 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
* 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.

[[Call For Papers 2022]]

== Important Dates ==

* Submission deadline: <s>January 5th 2022</s> February 7th 2022, Anywhere on Earth.
* Notification: <s>January 10th 2022</s> February 11th 2022
* TFPIE Registration Deadline:<s>February 2nd 2022</s> March 15th 2022
* Workshop: <s>February 11th 2022</s> March 16th 2022, followed by TFP March 17-18th
* Submission for formal review: <s>April 15th 2022</s> April 29th 2022, Anywhere on Earth.
* Notification of full article: June 1st 2022
* Camera ready: July 1st 2022
* Optional: presentation at the Lambda Days July 28-29, Krakow, Poland

== The Programme Committee ==

* [https://www.cs.ru.nl/P.Achten/ ''Peter Achten''], Radboud University, Netherlands
* [https://stchang.github.io/ ''Stephen Chang''], University of Massachusetts Boston, USA
* [http://www.cse.chalmers.se/~rjmh/''John Hughes''], Chalmers University of Technology, Sweden
* [http://cda.morris.umn.edu/~elenam/ ''Elena Machkasova (Chair)''] - University of Minnesota Morris, USA
* [https://who.rocq.inria.fr/Kristina.Sojakova/ ''Kristina Sojakova''] - INRIA, Paris, France
* [https://www.inf.elte.hu/en/staff/melinda-toth ''Melinda Tóth''], Eötvös Loránd University, Budapest, Hungary

== How To Submit ==
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=tfpie2022 EasyChair TFPIE 2022]

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.

== Invited Speaker ==
Our keynote talk is "The perfect Functional Programming course" by Peter Achten.

== How To Register ==
<s>TFPIE is part of [https://www.lambdadays.org/lambdadays2022 Lambda Days 2022]. To register, please visit the [https://www.lambdadays.org/lambdadays2022#register Lambda Days 2022 registration page].</s>

TFPIE, together with TFP, will be held virtually on March 16-18th (TFPIE: March 16, TFP: March 17-18). '''Click [https://forms.gle/aFHRmSJuCa5E8UGR6 here] to register.''' </br>
Registration is for both TFP and TFPIE. There is no registration fee. The zoom links will be sent to the registered participants shortly before the start of the conference.

Only papers that have been presented at TFPIE may be submitted to the post-reviewing process. Note that this implies that at least one of the authors has registered for TFPIE 2022 and has presented the work at the workshop.

Note that the Lambda Days in Krakow, Poland has been rescheduled to July 28-29, and authors of TFPIE accepted papers are welcome to present their papers at the Lambda Days, in addition to the virtual presentations in March.

== Program ==

Below you can find the program of TFPIE 2022. Note that all times are in [https://savvytime.com/converter/utc UTC time] (US participants - please be aware of the daylight saving time starting on Sunday March 13th!).

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: elenam at morris dot umn dot edu).

[[11:00 - 11:10]] Welcome

==== Presentation session 1 (Chair: Youyou Cong) ====

[[11:10 - 11:30]] '''Functional programming learning path''' ''Lidia Gorodnyaya and Dmitry Kondratyev'' - A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia

[[11:35 - 11:55]] '''Teaching Simple Constructive Proofs with Haskell Programs''' ''Matthew Farrugia-Roberts and Harald Sondergaard'' - The University of Melbourne, Melbourne, Australia
* [[Media:Farrugia-Roberts_and_Sondergaard_TFPIE_2022_extended_abstract.pdf|Extended Abstract]]
* [[Media:Farrugia-Roberts_and_Sondergaard_TFPIE_2022_slides.pdf|Presentation Slides]]

==== Presentation session 2 (Chair: Peter Achten) ====

[[12:00 - 12:20]] '''Towards Type-Based Music Composition''' ''Youyou Cong'' - Tokyo Institute of Technology, Tokyo, Japan
* [https://drive.google.com/file/d/1GZalMD3T5YFVfIO4xeUL4G35Y4pURFDE/view?usp=sharing Extended Abstract]
* [https://drive.google.com/file/d/1M_ezk5ZA9_39CrNo3KQBBdI0DeJ_3xSf/view?usp=sharing Presentation Slides]

[[12:25 - 12:45]] '''Teaching Functional Programmers Logic and Metatheory''' ''Frederik Krogsdal Jacobsen and Jørgen Villadsen'' - Technical University of Denmark, Copenhagen, Denmark

==== Hello tables ====

[[12:45 - 13:15]] Hellos and mingling in breakout rooms

[[13:15 - 13:30]] Coffee break (zoom on)

==== Keynote address (Chair: Marco Morazan) ====

[[13:30 - 14:30]] '''Keynote: The Perfect Functional Programming Course''' ''Peter Achten'' - Radboud University Nijmegen, The Netherlands [[File:Keynote_TFPIE_2022_The_Perfect_FP_Course.pdf]]

[[14:30 - 15:00]] Break (zoom off)

==== Presentation session 3 (Chair: Christopher Anand) ====

[[15:00 - 15:20]] '''Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space''' ''Kevin Kappelmann, Jonas Rädle and Lukas Stevens'' - Technical University of Munich, Munich, Germany
* [https://github.com/kappelmann/engaging-large-scale-functional-programming/releases/download/pdf/engaging_fp_education.pdf Paper Draft]
* [https://github.com/kappelmann/engaging-large-scale-functional-programming/ Resources Repository]

[[15:25 - 15:45]] '''Introduction to Functional Classes in CS1''' ''Marco T. Morazan'' - Seton Hall University, New Jersey, USA
* [https://studentshu-my.sharepoint.com/:b:/g/personal/morazanm_shu_edu/EfTOw6WJOWdBvWW6zcYueEoB-3zRthDz2MRYWJh_ZcnH1g?e=I9DN0c Draft Article]
* [[File:Slides-tfpie2022.pdf]]

[[15:45 - 16:00]] Coffee break (zoom on)

==== Presentation session 4 (Chair: Elena Machkasova) ====

[[16:00 - 16:20]] '''Teaching Interaction using State Diagrams''' ''Padma Pasupathi, Christopher Schankula, Nicole DiVincenzo, Sarah Coker and Christopher Anand'' - McMaster University, Hamilton, Ontario, Canada

[[16:25 - 16:45]] '''Toward Smart Mentor Dispatch: Can we predict when children need help to overcome errors or other roadblocks?''' ''Chinmay Sheth, Vaitheeka Nallasamy, Kruthiga Karunakaran and Christopher K. Anand'' - McMaster University, Hamilton, Ontario, Canada

[[16:45 - 17:30]] Wrap-up, followed by breakout rooms

TFPIE2022

2022-03-15T13:33:01Z

Morazanm: /* Presentation session 3 (Chair: Christopher Anand) */

=Trends in Functional Programming in Education (TFPIE)=

Welcome! The 2022 edition of Trends in Functional Programming in Education will be held '''virtually on March 16th 2022''', together with TFP which will be held on March 17-18. Note that [https://www.lambdadays.org/lambdadays2022 ''Lambda Days''] in Krakow, Poland has been rescheduled to July 28-29, and authors of TFPIE accepted papers are welcome to present their papers at the Lambda Days, in addition to the virtual presentations in March.

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 2022 will screen submissions to ensure that all presentations are within scope and are of interest to participants. After the workshop, presenters will be invited to submit revised versions of their articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS).

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands (2014), Sophia-Antipolis, France (2015), College Park, USA (2016), Canterbury, UK (2017), Gothenburg (2018) and Vancouver (2019), Krakow, Poland (2020) and online due to COVID-19 (2021).

== Announcement 1/7/2022, update 1/11/2022 ==

Due to the rescheduling of the Lambda Days to July 28-29 the TFPIE organizing committee decided to make the following changes:

* TFPIE 2022 will be held together with TFP 2022 '''virtually''' on March 16 2022
* The Lambda Days are inviting TFP and TFPIE speakers to give in-person presentations at the Lambda Days July 28-29 if they are able and interested (registration fee waived)
* The submission deadline for TFPIE is extended to February 7th 2022
* Authors' notification is February 11th, 2022 (but we are evaluating submissions on the ongoing basis)
* Submission for formal review is extended to April 29th 2022

== Topics ==
TFPIE 2022 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
* 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.

[[Call For Papers 2022]]

== Important Dates ==

* Submission deadline: <s>January 5th 2022</s> February 7th 2022, Anywhere on Earth.
* Notification: <s>January 10th 2022</s> February 11th 2022
* TFPIE Registration Deadline:<s>February 2nd 2022</s> March 15th 2022
* Workshop: <s>February 11th 2022</s> March 16th 2022, followed by TFP March 17-18th
* Submission for formal review: <s>April 15th 2022</s> April 29th 2022, Anywhere on Earth.
* Notification of full article: June 1st 2022
* Camera ready: July 1st 2022
* Optional: presentation at the Lambda Days July 28-29, Krakow, Poland

== The Programme Committee ==

* [https://www.cs.ru.nl/P.Achten/ ''Peter Achten''], Radboud University, Netherlands
* [https://stchang.github.io/ ''Stephen Chang''], University of Massachusetts Boston, USA
* [http://www.cse.chalmers.se/~rjmh/''John Hughes''], Chalmers University of Technology, Sweden
* [http://cda.morris.umn.edu/~elenam/ ''Elena Machkasova (Chair)''] - University of Minnesota Morris, USA
* [https://who.rocq.inria.fr/Kristina.Sojakova/ ''Kristina Sojakova''] - INRIA, Paris, France
* [https://www.inf.elte.hu/en/staff/melinda-toth ''Melinda Tóth''], Eötvös Loránd University, Budapest, Hungary

== How To Submit ==
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=tfpie2022 EasyChair TFPIE 2022]

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.

== Invited Speaker ==
Our keynote talk is "The perfect Functional Programming course" by Peter Achten.

== How To Register ==
<s>TFPIE is part of [https://www.lambdadays.org/lambdadays2022 Lambda Days 2022]. To register, please visit the [https://www.lambdadays.org/lambdadays2022#register Lambda Days 2022 registration page].</s>

TFPIE, together with TFP, will be held virtually on March 16-18th (TFPIE: March 16, TFP: March 17-18). '''Click [https://forms.gle/aFHRmSJuCa5E8UGR6 here] to register.''' </br>
Registration is for both TFP and TFPIE. There is no registration fee. The zoom links will be sent to the registered participants shortly before the start of the conference.

Only papers that have been presented at TFPIE may be submitted to the post-reviewing process. Note that this implies that at least one of the authors has registered for TFPIE 2022 and has presented the work at the workshop.

Note that the Lambda Days in Krakow, Poland has been rescheduled to July 28-29, and authors of TFPIE accepted papers are welcome to present their papers at the Lambda Days, in addition to the virtual presentations in March.

== Program ==

Below you can find the program of TFPIE 2022. Note that all times are in [https://savvytime.com/converter/utc UTC time] (US participants - please be aware of the daylight saving time starting on Sunday March 13th!).

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: elenam at morris dot umn dot edu).

[[11:00 - 11:10]] Welcome

==== Presentation session 1 (Chair: Youyou Cong) ====

[[11:10 - 11:30]] '''Functional programming learning path''' ''Lidia Gorodnyaya and Dmitry Kondratyev'' - A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia

[[11:35 - 11:55]] '''Teaching Simple Constructive Proofs with Haskell Programs''' ''Matthew Farrugia-Roberts and Harald Sondergaard'' - The University of Melbourne, Melbourne, Australia
* [[Media:Farrugia-Roberts_and_Sondergaard_TFPIE_2022_extended_abstract.pdf|Extended Abstract]]
* [[Media:Farrugia-Roberts_and_Sondergaard_TFPIE_2022_slides.pdf|Presentation Slides]]

==== Presentation session 2 (Chair: Peter Achten) ====

[[12:00 - 12:20]] '''Towards Type-Based Music Composition''' ''Youyou Cong'' - Tokyo Institute of Technology, Tokyo, Japan
* [https://drive.google.com/file/d/1GZalMD3T5YFVfIO4xeUL4G35Y4pURFDE/view?usp=sharing Extended Abstract]
* [https://drive.google.com/file/d/1M_ezk5ZA9_39CrNo3KQBBdI0DeJ_3xSf/view?usp=sharing Presentation Slides]

[[12:25 - 12:45]] '''Teaching Functional Programmers Logic and Metatheory''' ''Frederik Krogsdal Jacobsen and Jørgen Villadsen'' - Technical University of Denmark, Copenhagen, Denmark

==== Hello tables ====

[[12:45 - 13:15]] Hellos and mingling in breakout rooms

[[13:15 - 13:30]] Coffee break (zoom on)

==== Keynote address (Chair: Marco Morazan) ====

[[13:30 - 14:30]] '''Keynote: The Perfect Functional Programming Course''' ''Peter Achten'' - Radboud University Nijmegen, The Netherlands [[File:Keynote_TFPIE_2022_The_Perfect_FP_Course.pdf]]

[[14:30 - 15:00]] Break (zoom off)

==== Presentation session 3 (Chair: Christopher Anand) ====

[[15:00 - 15:20]] '''Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space''' ''Kevin Kappelmann, Jonas Rädle and Lukas Stevens'' - Technical University of Munich, Munich, Germany
* [https://github.com/kappelmann/engaging-large-scale-functional-programming/releases/download/pdf/engaging_fp_education.pdf Paper Draft]
* [https://github.com/kappelmann/engaging-large-scale-functional-programming/ Resources Repository]

[[15:25 - 15:45]] '''Introduction to Functional Classes in CS1''' ''Marco T. Morazan'' - Seton Hall University, New Jersey, USA
* [https://studentshu-my.sharepoint.com/:b:/g/personal/morazanm_shu_edu/EfTOw6WJOWdBvWW6zcYueEoB-3zRthDz2MRYWJh_ZcnH1g?e=I9DN0c Draft Article]
* [[File:Keynote_TFPIE_2022_The_Perfect_FP_Course.pdf]]

[[15:45 - 16:00]] Coffee break (zoom on)

==== Presentation session 4 (Chair: Elena Machkasova) ====

[[16:00 - 16:20]] '''Teaching Interaction using State Diagrams''' ''Padma Pasupathi, Christopher Schankula, Nicole DiVincenzo, Sarah Coker and Christopher Anand'' - McMaster University, Hamilton, Ontario, Canada

[[16:25 - 16:45]] '''Toward Smart Mentor Dispatch: Can we predict when children need help to overcome errors or other roadblocks?''' ''Chinmay Sheth, Vaitheeka Nallasamy, Kruthiga Karunakaran and Christopher K. Anand'' - McMaster University, Hamilton, Ontario, Canada

[[16:45 - 17:30]] Wrap-up, followed by breakout rooms

File:Slides-tfpie2022.pdf

2022-03-15T13:31:23Z

Morazanm: Slides for Introduction to Functional Classes in CS1

== Summary ==
Slides for Introduction to Functional Classes in CS1

TFPIE2022

2022-03-14T22:35:37Z

Morazanm:

=Trends in Functional Programming in Education (TFPIE)=

Welcome! The 2022 edition of Trends in Functional Programming in Education will be held '''virtually on March 16th 2022''', together with TFP which will be held on March 17-18. Note that [https://www.lambdadays.org/lambdadays2022 ''Lambda Days''] in Krakow, Poland has been rescheduled to July 28-29, and authors of TFPIE accepted papers are welcome to present their papers at the Lambda Days, in addition to the virtual presentations in March.

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 2022 will screen submissions to ensure that all presentations are within scope and are of interest to participants. After the workshop, presenters will be invited to submit revised versions of their articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS).

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands (2014), Sophia-Antipolis, France (2015), College Park, USA (2016), Canterbury, UK (2017), Gothenburg (2018) and Vancouver (2019), Krakow, Poland (2020) and online due to COVID-19 (2021).

== Announcement 1/7/2022, update 1/11/2022 ==

Due to the rescheduling of the Lambda Days to July 28-29 the TFPIE organizing committee decided to make the following changes:

* TFPIE 2022 will be held together with TFP 2022 '''virtually''' on March 16 2022
* The Lambda Days are inviting TFP and TFPIE speakers to give in-person presentations at the Lambda Days July 28-29 if they are able and interested (registration fee waived)
* The submission deadline for TFPIE is extended to February 7th 2022
* Authors' notification is February 11th, 2022 (but we are evaluating submissions on the ongoing basis)
* Submission for formal review is extended to April 29th 2022

== Topics ==
TFPIE 2022 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
* 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.

[[Call For Papers 2022]]

== Important Dates ==

* Submission deadline: <s>January 5th 2022</s> February 7th 2022, Anywhere on Earth.
* Notification: <s>January 10th 2022</s> February 11th 2022
* TFPIE Registration Deadline:<s>February 2nd 2022</s> March 15th 2022
* Workshop: <s>February 11th 2022</s> March 16th 2022, followed by TFP March 17-18th
* Submission for formal review: <s>April 15th 2022</s> April 29th 2022, Anywhere on Earth.
* Notification of full article: June 1st 2022
* Camera ready: July 1st 2022
* Optional: presentation at the Lambda Days July 28-29, Krakow, Poland

== The Programme Committee ==

* [https://www.cs.ru.nl/P.Achten/ ''Peter Achten''], Radboud University, Netherlands
* [https://stchang.github.io/ ''Stephen Chang''], University of Massachusetts Boston, USA
* [http://www.cse.chalmers.se/~rjmh/''John Hughes''], Chalmers University of Technology, Sweden
* [http://cda.morris.umn.edu/~elenam/ ''Elena Machkasova (Chair)''] - University of Minnesota Morris, USA
* [https://who.rocq.inria.fr/Kristina.Sojakova/ ''Kristina Sojakova''] - INRIA, Paris, France
* [https://www.inf.elte.hu/en/staff/melinda-toth ''Melinda Tóth''], Eötvös Loránd University, Budapest, Hungary

== How To Submit ==
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=tfpie2022 EasyChair TFPIE 2022]

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.

== Invited Speaker ==
Our keynote talk is "The perfect Functional Programming course" by Peter Achten.

== How To Register ==
<s>TFPIE is part of [https://www.lambdadays.org/lambdadays2022 Lambda Days 2022]. To register, please visit the [https://www.lambdadays.org/lambdadays2022#register Lambda Days 2022 registration page].</s>

TFPIE, together with TFP, will be held virtually on March 16-18th (TFPIE: March 16, TFP: March 17-18). '''Click [https://forms.gle/aFHRmSJuCa5E8UGR6 here] to register.''' </br>
Registration is for both TFP and TFPIE. There is no registration fee. The zoom links will be sent to the registered participants shortly before the start of the conference.

Only papers that have been presented at TFPIE may be submitted to the post-reviewing process. Note that this implies that at least one of the authors has registered for TFPIE 2022 and has presented the work at the workshop.

Note that the Lambda Days in Krakow, Poland has been rescheduled to July 28-29, and authors of TFPIE accepted papers are welcome to present their papers at the Lambda Days, in addition to the virtual presentations in March.

== Program ==

Below you can find the program of TFPIE 2022. Note that all times are in [https://savvytime.com/converter/utc UTC time] (US participants - please be aware of the daylight saving time starting on Sunday March 13th!).

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: elenam at morris dot umn dot edu).

[[11:00 - 11:10]] Welcome

==== Presentation session 1 ====

[[11:10 - 11:30]] '''Functional programming learning path''' ''Lidia Gorodnyaya and Dmitry Kondratyev'' - A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia

[[11:35 - 11:55]] '''Teaching Simple Constructive Proofs with Haskell Programs''' ''Matthew Farrugia-Roberts and Harald Sondergaard'' - The University of Melbourne, Melbourne, Australia
* [https://github.com/matomatical/tfpie2022-files/raw/main/Farrugia-Roberts_and_Sondergaard_TFPIE_2022_extended_abstract.pdf Extended abstract]
* [https://github.com/matomatical/tfpie2022-files/raw/main/Farrugia-Roberts_and_Sondergaard_TFPIE_2022_slides.pdf Presentation slides]

==== Presentation session 2 ====

[[12:00 - 12:20]] '''Towards Type-Based Music Composition''' ''Youyou Cong'' - Tokyo Institute of Technology, Tokyo, Japan

[[12:25 - 12:45]] '''Teaching Functional Programmers Logic and Metatheory''' ''Frederik Krogsdal Jacobsen and Jørgen Villadsen'' - Technical University of Denmark, Copenhagen, Denmark

==== Hello tables ====

[[12:45 - 13:15]] Hellos and mingling in breakout rooms

[[13:15 - 13:30]] Coffee break (zoom on)

==== Keynote address ====

[[13:30 - 14:30]] '''Keynote: The Perfect Functional Programming Course''' ''Peter Achten'' - Radboud University Nijmegen, The Netherlands

[[14:30 - 15:00]] Break (zoom off)

==== Presentation session 3 ====

[[15:00 - 15:20]] '''Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space''' ''Kevin Kappelmann, Jonas Rädle and Lukas Stevens'' - Technical University of Munich, Munich, Germany
* [https://github.com/kappelmann/engaging-large-scale-functional-programming/releases/download/pdf/engaging_fp_education.pdf Paper Draft]
* [https://github.com/kappelmann/engaging-large-scale-functional-programming/ Resources Repository]

[[15:25 - 15:45]] '''Introduction to Functional Classes in CS1''' ''Marco T. Morazan'' - Seton Hall University, New Jersey, USA
* [https://studentshu-my.sharepoint.com/:b:/g/personal/morazanm_shu_edu/EfTOw6WJOWdBvWW6zcYueEoB-3zRthDz2MRYWJh_ZcnH1g?e=I9DN0c Draft Article]
* [https://studentshu-my.sharepoint.com/:b:/g/personal/morazanm_shu_edu/EbElspZjuflFsMXd9l9V3LEBnIjwpuLl8UAgMChCa8MZ4Q?e=TFyGTo Presentation slides]

[[15:45 - 16:00]] Coffee break (zoom on)

==== Presentation session 4 ====

[[16:00 - 16:20]] '''Teaching Interaction using State Diagrams''' ''Padma Pasupathi, Christopher Schankula, Nicole DiVincenzo, Sarah Coker and Christopher Anand'' - McMaster University, Hamilton, Ontario, Canada

[[16:25 - 16:45]] '''Toward Smart Mentor Dispatch: Can we predict when children need help to overcome errors or other roadblocks?''' ''Chinmay Sheth, Vaitheeka Nallasamy, Kruthiga Karunakaran and Christopher K. Anand'' - McMaster University, Hamilton, Ontario, Canada

[[16:45 - 17:00]] Wrap-up

TFPIE2020

2021-02-18T18:14:24Z

Morazanm: /* Preliminary program */

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

The location for the workshop is

'''Computer Science Centre of AGH'''

'''ul. Kawiory 21, Krakow'''

'''Room 1.19 on the ground floor'''

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 j.hage@uu.nl so I can do it).

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan''] [[Media:Morazan-TFPIE-2020-Prog-InnerCity.pdf|Slides]]

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''A better rainfall problem? (position talk)''' [''Peter Achten''] [[File:TFPIE2020.pdf]]

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

TFPIE2020

2021-02-18T18:12:58Z

Morazanm: /* Preliminary program */

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

The location for the workshop is

'''Computer Science Centre of AGH'''

'''ul. Kawiory 21, Krakow'''

'''Room 1.19 on the ground floor'''

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 j.hage@uu.nl so I can do it).

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan''] [[File:Morazan-TFPIE-2020-Prog-InnerCity.pdf|Slides]]

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''A better rainfall problem? (position talk)''' [''Peter Achten''] [[File:TFPIE2020.pdf]]

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

File:How-to-Design-while-Loops.pdf

2021-02-18T18:09:33Z

Morazanm:

TFPIE2019

2021-02-18T18:08:13Z

Morazanm: /* Preliminary program */

The 8th International Workshop on Trends in Functional Programming in Education, TFPIE 2019, will be held on June 11, 2019 at the University of British Columbia, Canada. It is co-located with the Symposium on Trends in Functional Programming (TFP 2019) which takes place from June 12 - 14, 2019.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2019/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2019.

The location where TFPIE will be held is the same as for TFP. That information is at https://www.tfp2019.org/local-info.html

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.

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Gregor Kiczales: Functional Programming at the Core of a High Throughput Software Engineering Curriculum'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Prabhakar Ragde]

[[10:30 - 11:00]] '''How to Design while Loops''' [''Marco T. Morazan''][[Media:How-to-Design-while-Loops.pdf|Slides]]

[[11:00 - 11:30]] '''Haskell for Everyone: An IDE Created by Students''' [''Barry Burd'']

[[11:30 - 12:00]] '''Modelling Distributed Computation with Petri Nets so Children Can Program Multiplayer Universes''' [''Christopher Schankula, Lucas Dutton, Nhan Thai, Emily Ham, Jessica Schultz, Ankit Kapoor, Yumna Irfan, Padma Pasupathi, Stephanie Koehl, Tanya Bouman, Chitwan Sharma, Pedram Yazdinia, Curtis d'Alves and Christopher K. Anand'']

[[12:00 - 13:45]] lunch

'''Session II:''' [chair: Jurriaan Hage]

[[13:45 - 14:30]] '''A Unified Framework for Purely-Functional Balanced Binary Search Trees (Best Lecture Presentation)''' [''Prabhakar Ragde'']

[[14:30 - 15:00]] '''ComMotion: Using Animation to Illustrate Functional Programming Concepts''' [''Barry Burd'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:00]] '''Ray Tracing Motivating Application in Teaching Functional Programming''' [''Pedro Figueirêdo, Yuri Kim, Nghia Le Minh, Evan Sitt, Xue Ying, and Viktoria Zsok'']

[[16:00 - 16:30]] '''Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs''' [''Oliver Westphal and Janis Voigtländer'']

[[16:30 - 16:55]] '''plenary discussion'''

[[16:55 - 17:00]] close

TFPIE2021

2021-02-18T17:42:57Z

Morazanm: /* Program */

== 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-18T17:42:12Z

Morazanm: /* Program */

== 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|Sides]]

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

File:TFPIE-2021-DOCI-Morazan.pdf

2021-02-18T17:36:36Z

Morazanm:

TFPIE2014

2014-05-26T14:01:50Z

Morazanm: /* 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'''

[[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''] Preprint:[[File:tfpie2014_submission_14.pdf]] Slides: [[File:FSM.pdf]]

[[12:30 - 13:45]] lunch

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

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

[[14:05 - 14:25]] '''The Sprockell''' [''Jan Kuper''] [[File:tfpie2014_submission_11.pdf]] [[File:tfpie2014_submission_11_slides.pdf]]

[[14:25 - 14:45]] '''Learn Physics by Programming in Haskell''' [''Scott Walck''] [[File:tfpie2014_submission_6.pdf]]

[[14:45 - 15:00]] break

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

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

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

[[15:40 - 16:00]] '''Simple Balanced Binary Search Trees''' [''Prabhakar Ragde''] [[File:tfpie2014_submission_8.pdf]]

[[16:00 - 16:15]] break

'''Session V: Education Formats''' [chair: Johan Jeuring]

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

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

[[16:55 - 17:10]] break

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

[[17:55 - 18:00]] close

=== Invited Speaker ===
It is our pleasure that [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.

TFPIE2014

2014-05-26T13:59:21Z

Morazanm: /* 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'''

[[10:00 - 10:15]] break

'''Session I: Pedagogical tooling''' [chair: Prabhakar Ragde]

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

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

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

[[11:15 - 11:30]] break

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

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

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

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

[[12:30 - 13:45]] lunch

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

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

[[14:05 - 14:25]] '''The Sprockell''' [''Jan Kuper''] [[File:tfpie2014_submission_11.pdf]] [[File:tfpie2014_submission_11_slides.pdf]]

[[14:25 - 14:45]] '''Learn Physics by Programming in Haskell''' [''Scott Walck''] [[File:tfpie2014_submission_6.pdf]]

[[14:45 - 15:00]] break

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

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

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

[[15:40 - 16:00]] '''Simple Balanced Binary Search Trees''' [''Prabhakar Ragde''] [[File:tfpie2014_submission_8.pdf]]

[[16:00 - 16:15]] break

'''Session V: Education Formats''' [chair: Johan Jeuring]

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

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

[[16:55 - 17:10]] break

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

[[17:55 - 18:00]] close

=== Invited Speaker ===
It is our pleasure that [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.

File:FSM.pdf

2014-05-26T13:57:57Z

Morazanm: These are the slides of my presentation on programming in an Intro to Automata Theory and Formal Languages course.

These are the slides of my presentation on programming in an Intro to Automata Theory and Formal Languages course.