TFPIE2027 - Revision history

YouyouCong at 07:13, 29 July 2026

2026-07-29T07:13:28Z

← Older revision		Revision as of 07:13, 29 July 2026
Line 7:		Line 7:

	== Topics ==		== Topics ==
	TFPIE ~~2027~~ welcomes submissions describing classroom techniques, classroom tools, and creative uses of functional programming (FP) to aid education in or outside computer science. Topics of interest include, but are not limited to:		TFPIE welcomes submissions describing classroom techniques, classroom tools, and creative uses of functional programming (FP) to aid education in or outside computer science. Topics of interest include, but are not limited to:

	* FP at different levels (high school, first-year and advanced undergraduate, graduate)		* FP at different levels (high school, first-year and advanced undergraduate, graduate)

YouyouCong: More small edits

2026-07-29T07:11:21Z

More small edits

← Older revision		Revision as of 07:11, 29 July 2026
Line 2:		Line 2:
	Welcome! The 2027 edition of Trends in Functional Programming in Education will be held '''on March 12''' at Kyoto Univerity in Kyoto, Japan, together with TFP which will be held on March 13-15.		Welcome! The 2027 edition of Trends in Functional Programming in Education will be held '''on March 12''' at Kyoto Univerity in Kyoto, Japan, together with TFP which will be held on March 13-15.

	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 2027 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 who 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.

	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) Vancouver (2019), Krakow, Poland (2020), online due to COVID-19 (2021, 2022, with some talks from TFPIE 2022 also presented in person at the Lambda Days in Krakow, Poland), Boston, MA, USA (2023) (back in-person), Seton Hall, NJ, USA (2024), Oxford, UK (2025), and Odense, Denmark (2026).		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) Vancouver (2019), Krakow, Poland (2020), online due to COVID-19 (2021, 2022, with some talks from TFPIE 2022 also presented in person at the Lambda Days in Krakow, Poland), Boston, MA, USA (2023) (back in-person), Seton Hall, NJ, USA (2024), Oxford, UK (2025), and Odense, Denmark (2026).

	== Topics ==		== Topics ==
	TFPIE 2027 welcomes submissions describing classroom techniques, classroom tools, and creative uses of functional programming (FP) to aid education in or outside ~~Computer Science~~. Topics of interest include, but are not limited to:		TFPIE 2027 welcomes submissions describing classroom techniques, classroom tools, and creative uses of functional programming (FP) to aid education in or outside computer science. Topics of interest include, but are not limited to:

	* FP at different levels (high school, first-year and advanced undergraduate, graduate)		* FP at different levels (high school, first-year and advanced undergraduate, graduate)
Line 35:		Line 35:
	TBA		TBA

	== ~~The~~ Program Committee ==		== Program Committee ==

	* ''Youyou Cong'' (chair) - Institute of Science Tokyo, Japan		* ''Youyou Cong'' (chair) - Institute of Science Tokyo, Japan
Line 45:		Line 45:
	* ''Katsuhiro Ueno'' - Nigata University, Japan		* ''Katsuhiro Ueno'' - Nigata University, Japan

	== Instructions ~~for Authors~~ ==		== Submission Instructions ==

	Submission is via EasyChair:		Submission is via EasyChair:

YouyouCong: Small edits

2026-07-29T06:55:40Z

Small edits

← Older revision		Revision as of 06:55, 29 July 2026
Line 9:		Line 9:
	TFPIE 2027 welcomes submissions describing classroom techniques, classroom tools, and creative uses of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:		TFPIE 2027 welcomes submissions describing classroom techniques, classroom tools, and creative uses of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:

	* FP at different levels (high-school, first-year and advanced undergraduate, graduate)		* FP at different levels (high school, first-year and advanced undergraduate, graduate)
	* FP and the arts (incl. ~~Music~~, ~~Animation~~, ~~Games~~, philosophy and other liberal arts)		* FP and the arts (incl. music, animation, games, philosophy and other liberal arts)
	* FP and applications (in ~~Computer Science~~, ~~Robotics~~, ~~Artificial Intelligence~~, etc.)		* FP and applications (in computer science, robotics, artificial intelligence, etc.)
	* FP and pedagogy (incl., e.g., ~~Computational Thinking~~, e-learning, automated assessment)		* FP and pedagogy (incl., e.g., computational thinking, e-learning, automated assessment)
	* FP for building student engagement in research		* FP for building student engagement in research

Line 35:		Line 35:
	TBA		TBA

	== The ~~Programme~~ Committee ==		== The Program Committee ==

	* ''Youyou Cong'' (chair) - Institute of Science Tokyo, Japan		* ''Youyou Cong'' (chair) - Institute of Science Tokyo, Japan

YouyouCong: Updated EasyChair link

2026-07-28T13:40:17Z

Updated EasyChair link

← Older revision		Revision as of 13:40, 28 July 2026
Line 49:		Line 49:
	Submission is via EasyChair:		Submission is via EasyChair:

	https://easychair.org/my/conference?conf=~~tfpie27~~		https://easychair.org/my/conference?conf=tfpie2027

	Authors of papers have the choice of having their contributions formally reviewed either before or after the workshop. Further, pre-workshop submissions may either be full (earlier deadline) or draft papers (later deadline). See below for more details.		Authors of papers have the choice of having their contributions formally reviewed either before or after the workshop. Further, pre-workshop submissions may either be full (earlier deadline) or draft papers (later deadline). See below for more details.

YouyouCong: Minor edits to instructions for authors

2026-07-26T12:22:56Z

Minor edits to instructions for authors

← Older revision		Revision as of 12:22, 26 July 2026
Line 15:		Line 15:
	* FP for building student engagement in research		* FP for building student engagement in research

	~~Best Lectures (details below)~~		In addition to papers, we invite best-lecture presentations. These are an opportunity to share your favorite classroom moments. Show us your favorite material or favorite way of presenting it. For best-lecture presentations, please submit a short abstract describing the lecture and its interest to TFPIE attendees.
	In addition to papers, we invite best-lecture presentations. These are an opportunity to share your favorite classroom moments. Show us your favorite material or favorite way of presenting it. For best-lecture presentations, submit a short abstract describing the lecture and its interest to TFPIE attendees.

	If you wish to make a submission outside the above formats, please contact the PC chair to discuss. Because TFPIE aims to encourage creative and experimental research ideas, we may be able to accommodate some non-traditional submissions on a case-by-case basis.

	== Important Dates ==		== Important Dates ==
Line 55:		Line 52:

	Authors of papers have the choice of having their contributions formally reviewed either before or after the workshop. Further, pre-workshop submissions may either be full (earlier deadline) or draft papers (later deadline). See below for more details.		Authors of papers have the choice of having their contributions formally reviewed either before or after the workshop. Further, pre-workshop submissions may either be full (earlier deadline) or draft papers (later deadline). See below for more details.

	~~Submission is single-blind.~~

	~~Submissions are welcome from PC members (except the chair).~~

	Accepted papers from the pre-workshop and post-workshop formal review will appear in a formal proceedings, published in the Electronic Proceedings in Theoretical Computer Science (EPTCS).		Accepted papers from the pre-workshop and post-workshop formal review will appear in a formal proceedings, published in the Electronic Proceedings in Theoretical Computer Science (EPTCS).

	~~Papers must be written in English, and formatted using the EPTCS style. For more information about formatting, please consult the EPTCS style website (https://style.eptcs.org/)~~.		Reviewing is single-blind.

	=== Pre-workshop formal review ===		=== Pre-workshop formal review ===
Line 70:		Line 63:
	Draft papers will receive minimal reviews and notification of acceptance for presentation at the workshop. Authors of draft papers will be invited to submit revised papers based on the feedback received at the workshop. A post-workshop refereeing process will then select a subset of these papers for formal publication.		Draft papers will receive minimal reviews and notification of acceptance for presentation at the workshop. Authors of draft papers will be invited to submit revised papers based on the feedback received at the workshop. A post-workshop refereeing process will then select a subset of these papers for formal publication.

	=== ~~Paper categories~~ ===		=== Formatting requirements ===
	Papers submitted for formal review must be submitted as full papers (7-20 pages). Draft papers may be submitted as extended abstracts (4-6 pages) or full papers (7-20 pages). The page limits do not include bibliography. For best-lecture presentations, we also accept short abstracts.		Papers must be written in English, and formatted using the EPTCS style (https://style.eptcs.org/). Papers submitted for formal review must be submitted as full papers (7-20 pages). Draft papers may be submitted as extended abstracts (4-6 pages) or full papers (7-20 pages). The page limits do not include bibliography. For best-lecture presentations, we also accept short abstracts.

	If you wish to make a submission outside the above formats, please contact the PC chair to discuss. Because TFPIE aims to encourage creative and experimental research ideas, we may be able to accommodate some non-traditional submissions on a case-by-case basis.		If you wish to make a submission outside the above formats, please contact the PC chair to discuss. Because TFPIE aims to encourage creative and experimental research ideas, we may be able to accommodate some non-traditional submissions on a case-by-case basis.
Line 78:		Line 71:
	Registration includes attending both TFP and TFPIE and is done via [https://trendsfp.github.io/ TFP webpage]. Registration and attendance are mandatory for at least one author of every paper presented at the workshop.		Registration includes attending both TFP and TFPIE and is done via [https://trendsfp.github.io/ TFP webpage]. Registration and attendance are mandatory for at least one author of every paper presented at the workshop.

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

	All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.		All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.

YouyouCong: Added description of TFPIE 2027

2026-07-15T14:38:58Z

Added description of TFPIE 2027

New page

=Trends in Functional Programming in Education (TFPIE)=
Welcome! The 2027 edition of Trends in Functional Programming in Education will be held '''on March 12''' at Kyoto Univerity in Kyoto, Japan, together with TFP which will be held on March 13-15.

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 2027 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) Vancouver (2019), Krakow, Poland (2020), online due to COVID-19 (2021, 2022, with some talks from TFPIE 2022 also presented in person at the Lambda Days in Krakow, Poland), Boston, MA, USA (2023) (back in-person), Seton Hall, NJ, USA (2024), Oxford, UK (2025), and Odense, Denmark (2026).

== Topics ==
TFPIE 2027 welcomes submissions describing classroom techniques, classroom tools, and creative uses of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:

* FP at different levels (high-school, first-year and advanced undergraduate, graduate)
* FP and the arts (incl. Music, Animation, Games, philosophy and other liberal arts)
* FP and applications (in Computer Science, Robotics, Artificial Intelligence, etc.)
* FP and pedagogy (incl., e.g., Computational Thinking, e-learning, automated assessment)
* FP for building student engagement in research

Best Lectures (details below)
In addition to papers, we invite best-lecture presentations. These are an opportunity to share your favorite classroom moments. Show us your favorite material or favorite way of presenting it. For best-lecture presentations, submit a short abstract describing the lecture and its interest to TFPIE attendees.

If you wish to make a submission outside the above formats, please contact the PC chair to discuss. Because TFPIE aims to encourage creative and experimental research ideas, we may be able to accommodate some non-traditional submissions on a case-by-case basis.

== Important Dates ==

All deadlines are Anywhere-on-Earth.

* Submission deadline (pre-workshop full papers): November 19, 2026
* Notification (pre-workshop full papers): December 17, 2026
* Submission deadline (pre-workshop draft papers): February 4, 2027
* Notification (pre-workshop draft papers): February 11, 2027
* Submission deadline (post-workshop review): April 8, 2027
* Notification (post-workshop review): May 12, 2027

== Invited Keynote ==
TBA

== Program ==

TBA

== The Programme Committee ==

* ''Youyou Cong'' (chair) - Institute of Science Tokyo, Japan
* ''Hsiang-Shang 'Josh' Ko'' - Academia Sinica, Taiwan
* ''Jens Mönig'' - SAP, Germany
* ''Paige Randall North'' - Utrecht University, Netherlands
* ''Liam O'Connor'' - Australian National University, Australia
* ''Joe Gibbs Politz'' - University of California at San Diego, USA
* ''Katsuhiro Ueno'' - Nigata University, Japan

== Instructions for Authors ==

Submission is via EasyChair:

https://easychair.org/my/conference?conf=tfpie27

Authors of papers have the choice of having their contributions formally reviewed either before or after the workshop. Further, pre-workshop submissions may either be full (earlier deadline) or draft papers (later deadline). See below for more details.

Submission is single-blind.

Submissions are welcome from PC members (except the chair).

Accepted papers from the pre-workshop and post-workshop formal review will appear in a formal proceedings, published in the Electronic Proceedings in Theoretical Computer Science (EPTCS).

Papers must be written in English, and formatted using the EPTCS style. For more information about formatting, please consult the EPTCS style website (https://style.eptcs.org/).

=== Pre-workshop formal review ===
Papers to be formally reviewed before the workshop should be submitted before the early deadline and will receive their reviews and notification of acceptance for both presentation and publication before the workshop. A paper that has been rejected for publication but accepted for presentation may be revised and resubmitted for the post-workshop formal review. A paper that has been rejected for presentation will not be formally reviewed by the PC.

=== Post-workshop formal review ===
Draft papers will receive minimal reviews and notification of acceptance for presentation at the workshop. Authors of draft papers will be invited to submit revised papers based on the feedback received at the workshop. A post-workshop refereeing process will then select a subset of these papers for formal publication.

=== Paper categories ===
Papers submitted for formal review must be submitted as full papers (7-20 pages). Draft papers may be submitted as extended abstracts (4-6 pages) or full papers (7-20 pages). The page limits do not include bibliography. For best-lecture presentations, we also accept short abstracts.

If you wish to make a submission outside the above formats, please contact the PC chair to discuss. Because TFPIE aims to encourage creative and experimental research ideas, we may be able to accommodate some non-traditional submissions on a case-by-case basis.

== How To Register ==
Registration includes attending both TFP and TFPIE and is done via [https://trendsfp.github.io/ TFP webpage]. Registration and attendance are mandatory for at least one author of every paper presented at the workshop.

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

All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.