Difference between revisions of "TFPIE2022"

From tfpie
(Trends in Functional Programming in Education (TFPIE))
(Presentation session 2 (Chair: Peter Achten))
 
(35 intermediate revisions by 9 users not shown)
Line 1: Line 1:
 
=Trends in Functional Programming in Education (TFPIE)=
 
=Trends in Functional Programming in Education (TFPIE)=
  
Welcome! The 2022 edition of Trends in Functional Programming in Education will be held in Krakow Poland, co-located with TFP. TFPIE takes place on the 11th of February. [https://www.lambdadays.org/lambdadays2022 ''TFP and Lambda Days''] take place on February 10-11th.  
+
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).
 
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).
 
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 ==
 
== Topics ==
Line 31: Line 41:
  
 
== Important Dates ==
 
== Important Dates ==
* Submission deadline: January 5th 2022, Anywhere on Earth.
+
 
* Notification: January 10th 2022
+
* Submission deadline: <s>January 5th 2022</s> February 7th 2022, Anywhere on Earth.
* TFPIE Registration Deadline: February 2nd 2022
+
* Notification: <s>January 10th 2022</s> February 11th 2022
* Workshop: February 11th 2022
+
* TFPIE Registration Deadline:<s>February 2nd 2022</s> March 15th 2022
* Submission for formal review: April 15th 2022, Anywhere on Earth.
+
* 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
 
* Notification of full article: June 1st 2022
 
* Camera ready: July 1st 2022
 
* Camera ready: July 1st 2022
 +
* Optional: presentation at the Lambda Days July 28-29, Krakow, Poland
  
 
== The Programme Committee ==
 
== The Programme Committee ==
Line 59: Line 71:
  
 
== How To Register ==
 
== How To Register ==
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 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.
 
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
 +
* [[Media:Functional_programming_learning_path.pdf|Paper draft]]
 +
* [[Media:GorodnyayaKondratyev.pdf|Presentation slides]]
 +
 +
[[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
 +
* [[File:TFPIE_2022_Jacobsen_Villadsen.pdf]]
 +
* [[File:TFPIE_2022_Jacobsen_Villadsen_Slides.pdf]]
 +
 +
==== 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/blob/pdfs/engaging_fp_education.pdf Paper Draft]
 +
* [https://github.com/kappelmann/engaging-large-scale-functional-programming/blob/pdfs/presentation_TFPIE2022.pdf Presentation Slides]
 +
* [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
 +
* [http://www.cas.mcmaster.ca/~anand/TFPIEStateDiagrams.pdf Paper Draft]
 +
* [http://www.cas.mcmaster.ca/~anand/TFPIE2022StateDiagramsMcMaster.pdf Presentation Slides]
 +
 +
[[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
 +
* [http://www.cas.mcmaster.ca/~anand/TFPIEMentorDispatch.pdf Extended Abstract]
 +
* [http://www.cas.mcmaster.ca/~anand/Towards_Smart_Mentor_Dispatch_TFPIE2022.pdf Presentation Slides]
 +
 +
[[16:45 - 17:30]] Wrap-up, followed by breakout rooms

Latest revision as of 13:19, 16 March 2022

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 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: January 5th 2022 February 7th 2022, Anywhere on Earth.
  • Notification: January 10th 2022 February 11th 2022
  • TFPIE Registration Deadline:February 2nd 2022 March 15th 2022
  • Workshop: February 11th 2022 March 16th 2022, followed by TFP March 17-18th
  • Submission for formal review: April 15th 2022 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

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:

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

TFPIE is part of Lambda Days 2022. To register, please visit the Lambda Days 2022 registration page.

TFPIE, together with TFP, will be held virtually on March 16-18th (TFPIE: March 16, TFP: March 17-18). Click here to register.
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 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

Presentation session 2 (Chair: Peter Achten)

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 (Chair: Marco Morazan)

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

15:25 - 15:45 Introduction to Functional Classes in CS1 Marco T. Morazan - Seton Hall University, New Jersey, USA

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