TFPIE2027

YouyouCong — Wed, 29 Jul 2026 07:11:21 GMT

More small edits

← Older revision		Revision as of 07:11, 29 July 2026
(3 intermediate revisions by the same user not shown)
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)
	* 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

	~~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 38:		Line 35:
	TBA		TBA

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

	* ''Youyou Cong'' (chair) - Institute of Science Tokyo, Japan		* ''Youyou Cong'' (chair) - Institute of Science Tokyo, Japan
Line 48:		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:

	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.

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

tfpie - Recent changes [en]

TFPIE2027