https://wiki.tfpie.science.ru.nl/api.php?action=feedcontributions&feedformat=atom&user=MartLubbers 2026-05-21T19:42:08Z User contributions MediaWiki 1.43.0 https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2026&diff=526 2026-04-23T08:15:07Z

<p>MartLubbers: /* The Programme Committee */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2026 edition of Trends in Functional Programming in Education will be held '''on January 26th''' at University of Southern Denmark in Odense, Denmark, together with TFP which will be held on January 27-29.<br /> <br /> 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 2026 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).<br /> <br /> 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), and Oxford (2025).<br /> <br /> == Topics ==<br /> TFPIE 2026 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:<br /> <br /> * FP at different levels (high-school, first-year and advanced undergraduate, graduate)<br /> * FP and the arts (incl. Music, Animation, Games, philosophy and other liberal arts) <br /> * FP and applications (in Computer Science, Robotics, Artificial Intelligence, etc.)<br /> * FP and pedagogy (incl., e.g., Computational Thinking, e-learning, automated assessment)<br /> * FP for building student engagement in research <br /> <br /> Best Lectures (details below)<br /> 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.<br /> <br /> 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.<br /> <br /> == Important Dates == <br /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: Decemben 26th, 2025 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 30th, 2025<br /> * TFPIE Registration Deadline: January 20th, 2026<br /> * Workshop: January 26th 2026<br /> * Submission for formal review: April 22nd, 2026<br /> * Notification of full article: May 27th, 2026<br /> * Camera ready: June 24th 2026<br /> <br /> <br /> == Invited Keynote ==<br /> Speaker: Alex Gerdes, University of Gothenburg and Chalmers<br /> <br /> Title: Generating feedback from rewrite strategies for interactive exercises.<br /> <br /> Abstract:<br /> This talk introduces the IDEAS library, a framework for building domain<br /> reasoners that generate rich and semantically meaningful feedback for students.<br /> We explore the core concepts underlying the approach, such as rewrite rules,<br /> strategies, and exercises, and show how these components can be combined to<br /> create interactive educational tools. Through concrete examples, we demonstrate<br /> how to define rules and strategies, construct a domain reasoner, and expose<br /> feedback services that can be integrated into teaching environments.<br /> <br /> == Program ==<br /> <br /> 9:00-9:30 Registration<br /> <br /> Session 1 (chair: Mart Lubbers)<br /> <br /> 9:30-10:30 Keynote: '''Generating feedback from rewrite strategies for interactive exercises''' ''Alex Gerdes'' - University of Gothenburg and Chalmers<br /> <br /> 10:30-11:00 Coffee break<br /> <br /> Session 2 (chair: Andres Garced)<br /> <br /> 11:00-11:30 '''Automatically Generating Programming Exercises with Open-Source LLMs: Integrating Lecture Slides and Learning Objectives''' ''Marc Bessa Hoffmann, Daniel Rashedi and Sibylle Schupp''<br /> <br /> 11:30-12:00 '''Integrating artificial intelligence, computational modeling, and functional paradigms in medical education: towards a methodological''' ''Roberto Pagliarini''<br /> <br /> 12:00-13:30 Lunch break<br /> <br /> Session 3 (chair: Marc Bessa Hoffman)<br /> <br /> 13:30-14:00 '''Unit Testing for Regular Expressions''' ''Marco T. Morazán and Andres Garced''<br /> <br /> 14:00-14:30 '''Design Recipes + Video Game Development = Success in CS1''' ''Marco T. Morazán, Andres Garced, David Anthony Fields and Sophia G. Turano''<br /> <br /> 14:30-15:00 '''A Recipe for Writing Inductive Proofs (in Intro to Theory of Computation courses)''' ''Stephen Chang''<br /> <br /> 15:00-16:00 Coffee break<br /> <br /> == The Programme Committee ==<br /> <br /> * ''Mart Lubbers'' (chair) - Radboud University, Nijmegen, Netherlands<br /> * ''Guannan Wei'' - Tufts University, Medford, MA, USA<br /> * ''Johannes Åman Pohjola'' - Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden<br /> * ''Marco T. Morazán'' - Seton Hall University, South Orange, NY, USA<br /> * ''Marcos Viera'' - Universidad de la República, Montevideo, Uruguay<br /> * ''Tim Steenvoorden'' - Open Universiteit, Heerlen, Netherlands<br /> <br /> == How To Submit ==<br /> Paper submissions should be formatted in EPTCS style. We accept extended abstracts (4-6 pages) and full paper drafts (7-20 pages). For best-lecture presentations, we also accept short abstracts. Before the workshop, these submissions undergo an initial round of light review, performed primarily by the PC chair. Only full papers presented at the conference will be invited to the post-workshop process for full review by the PC. Preprints and slides will be shared on the workshop website.<br /> <br /> Papers and abstracts can be submitted via EasyChair:<br /> <br /> https://easychair.org/my/conference?conf=tfpie26<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: https://trendsfp.github.io/<br /> <br /> Registration and attendance are mandatory for at least one author of every paper<br /> that is presented at the workshop. <br /> <br /> Only papers that have been presented at TFPIE may be submitted to the post-reviewing<br /> process.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2026&diff=524 2026-01-25T17:34:42Z

<p>MartLubbers: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2026 edition of Trends in Functional Programming in Education will be held '''on January 26th''' at University of Southern Denmark in Odense, Denmark, together with TFP which will be held on January 27-29.<br /> <br /> 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 2026 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).<br /> <br /> 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), and Oxford (2025).<br /> <br /> == Topics ==<br /> TFPIE 2026 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:<br /> <br /> * FP at different levels (high-school, first-year and advanced undergraduate, graduate)<br /> * FP and the arts (incl. Music, Animation, Games, philosophy and other liberal arts) <br /> * FP and applications (in Computer Science, Robotics, Artificial Intelligence, etc.)<br /> * FP and pedagogy (incl., e.g., Computational Thinking, e-learning, automated assessment)<br /> * FP for building student engagement in research <br /> <br /> Best Lectures (details below)<br /> 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.<br /> <br /> 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.<br /> <br /> == Important Dates == <br /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: Decemben 26th, 2025 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 30th, 2025<br /> * TFPIE Registration Deadline: January 20th, 2026<br /> * Workshop: January 26th 2026<br /> * Submission for formal review: April 22nd, 2026<br /> * Notification of full article: May 27th, 2026<br /> * Camera ready: June 24th 2026<br /> <br /> <br /> == Invited Keynote ==<br /> Speaker: Alex Gerdes, University of Gothenburg and Chalmers<br /> <br /> Title: Generating feedback from rewrite strategies for interactive exercises.<br /> <br /> Abstract:<br /> This talk introduces the IDEAS library, a framework for building domain<br /> reasoners that generate rich and semantically meaningful feedback for students.<br /> We explore the core concepts underlying the approach, such as rewrite rules,<br /> strategies, and exercises, and show how these components can be combined to<br /> create interactive educational tools. Through concrete examples, we demonstrate<br /> how to define rules and strategies, construct a domain reasoner, and expose<br /> feedback services that can be integrated into teaching environments.<br /> <br /> == Program ==<br /> <br /> 9:00-9:30 Registration<br /> <br /> Session 1 (chair: Mart Lubbers)<br /> <br /> 9:30-10:30 Keynote: '''Generating feedback from rewrite strategies for interactive exercises''' ''Alex Gerdes'' - University of Gothenburg and Chalmers<br /> <br /> 10:30-11:00 Coffee break<br /> <br /> Session 2 (chair: Andres Garced)<br /> <br /> 11:00-11:30 '''Automatically Generating Programming Exercises with Open-Source LLMs: Integrating Lecture Slides and Learning Objectives''' ''Marc Bessa Hoffmann, Daniel Rashedi and Sibylle Schupp''<br /> <br /> 11:30-12:00 '''Integrating artificial intelligence, computational modeling, and functional paradigms in medical education: towards a methodological''' ''Roberto Pagliarini''<br /> <br /> 12:00-13:30 Lunch break<br /> <br /> Session 3 (chair: Marc Bessa Hoffman)<br /> <br /> 13:30-14:00 '''Unit Testing for Regular Expressions''' ''Marco T. Morazán and Andres Garced''<br /> <br /> 14:00-14:30 '''Design Recipes + Video Game Development = Success in CS1''' ''Marco T. Morazán, Andres Garced, David Anthony Fields and Sophia G. Turano''<br /> <br /> 14:30-15:00 '''A Recipe for Writing Inductive Proofs (in Intro to Theory of Computation courses)''' ''Stephen Chang''<br /> <br /> 15:00-16:00 Coffee break<br /> <br /> == The Programme Committee ==<br /> <br /> * ''Mart Lubbers'' (chair) - Radboud University, Nijmegen, Netherlands<br /> * ''Guannan Wei'' - Tuftst University, Medford, MA, USA<br /> * ''Johannes Åman Pohjola'' - Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden<br /> * ''Marco T. Morazán'' - Seton Hall University, South Orange, NY, USA<br /> * ''Marcos Viera'' - Universidad de la República, Montevideo, Uruguay<br /> * ''Tim Steenvoorden'' - Open Universiteit, Heerlen, Netherlands<br /> <br /> <br /> == How To Submit ==<br /> Paper submissions should be formatted in EPTCS style. We accept extended abstracts (4-6 pages) and full paper drafts (7-20 pages). For best-lecture presentations, we also accept short abstracts. Before the workshop, these submissions undergo an initial round of light review, performed primarily by the PC chair. Only full papers presented at the conference will be invited to the post-workshop process for full review by the PC. Preprints and slides will be shared on the workshop website.<br /> <br /> Papers and abstracts can be submitted via EasyChair:<br /> <br /> https://easychair.org/my/conference?conf=tfpie26<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: https://trendsfp.github.io/<br /> <br /> Registration and attendance are mandatory for at least one author of every paper<br /> that is presented at the workshop. <br /> <br /> Only papers that have been presented at TFPIE may be submitted to the post-reviewing<br /> process.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2026&diff=523 2026-01-20T15:10:29Z

<p>MartLubbers: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2026 edition of Trends in Functional Programming in Education will be held '''on January 26th''' at University of Southern Denmark in Odense, Denmark, together with TFP which will be held on January 27-29.<br /> <br /> 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 2026 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).<br /> <br /> 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), and Oxford (2025).<br /> <br /> == Topics ==<br /> TFPIE 2026 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:<br /> <br /> * FP at different levels (high-school, first-year and advanced undergraduate, graduate)<br /> * FP and the arts (incl. Music, Animation, Games, philosophy and other liberal arts) <br /> * FP and applications (in Computer Science, Robotics, Artificial Intelligence, etc.)<br /> * FP and pedagogy (incl., e.g., Computational Thinking, e-learning, automated assessment)<br /> * FP for building student engagement in research <br /> <br /> Best Lectures (details below)<br /> 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.<br /> <br /> 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.<br /> <br /> == Important Dates == <br /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: Decemben 26th, 2025 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 30th, 2025<br /> * TFPIE Registration Deadline: January 20th, 2026<br /> * Workshop: January 26th 2026<br /> * Submission for formal review: April 22nd, 2026<br /> * Notification of full article: May 27th, 2026<br /> * Camera ready: June 24th 2026<br /> <br /> <br /> == Invited Keynote ==<br /> Speaker: Alex Gerdes, University of Gothenburg and Chalmers<br /> <br /> Title: Generating feedback from rewrite strategies for interactive exercises.<br /> <br /> Abstract:<br /> This talk introduces the IDEAS library, a framework for building domain<br /> reasoners that generate rich and semantically meaningful feedback for students.<br /> We explore the core concepts underlying the approach, such as rewrite rules,<br /> strategies, and exercises, and show how these components can be combined to<br /> create interactive educational tools. Through concrete examples, we demonstrate<br /> how to define rules and strategies, construct a domain reasoner, and expose<br /> feedback services that can be integrated into teaching environments.<br /> <br /> == Program ==<br /> <br /> 9:00-9:30 Registration<br /> <br /> Session 1<br /> <br /> 9:30-10:30 Keynote: '''Generating feedback from rewrite strategies for interactive exercises''' ''Alex Gerdes'' - University of Gothenburg and Chalmers<br /> <br /> 10:30-11:00 Coffee break<br /> <br /> Session 2<br /> <br /> 11:00-11:30 '''Automatically Generating Programming Exercises with Open-Source LLMs: Integrating Lecture Slides and Learning Objectives''' ''Marc Bessa Hoffmann, Daniel Rashedi and Sibylle Schupp''<br /> <br /> 11:30-12:00 '''Integrating artificial intelligence, computational modeling, and functional paradigms in medical education: towards a methodological''' ''Roberto Pagliarini''<br /> <br /> 12:00-13:30 Lunch break<br /> <br /> Session 3<br /> <br /> 13:30-14:00 '''Unit Testing for Regular Expressions''' ''Marco T. Morazán and Andres Garced''<br /> <br /> 14:00-14:30 '''Design Recipes + Video Game Development = Success in CS1''' ''Marco T. Morazán, Andres Garced, David Anthony Fields and Sophia G. Turano''<br /> <br /> 14:30-15:00 '''A Recipe for Writing Inductive Proofs (in Intro to Theory of Computation courses)''' ''Stephen Chang''<br /> <br /> 15:00-16:00 Coffee break<br /> <br /> == The Programme Committee ==<br /> <br /> * ''Mart Lubbers'' (chair) - Radboud University, Nijmegen, Netherlands<br /> * ''Guannan Wei'' - Tuftst University, Medford, MA, USA<br /> * ''Johannes Åman Pohjola'' - Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden<br /> * ''Marco T. Morazán'' - Seton Hall University, South Orange, NY, USA<br /> * ''Marcos Viera'' - Universidad de la República, Montevideo, Uruguay<br /> * ''Tim Steenvoorden'' - Open Universiteit, Heerlen, Netherlands<br /> <br /> <br /> == How To Submit ==<br /> Paper submissions should be formatted in EPTCS style. We accept extended abstracts (4-6 pages) and full paper drafts (7-20 pages). For best-lecture presentations, we also accept short abstracts. Before the workshop, these submissions undergo an initial round of light review, performed primarily by the PC chair. Only full papers presented at the conference will be invited to the post-workshop process for full review by the PC. Preprints and slides will be shared on the workshop website.<br /> <br /> Papers and abstracts can be submitted via EasyChair:<br /> <br /> https://easychair.org/my/conference?conf=tfpie26<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: https://trendsfp.github.io/<br /> <br /> Registration and attendance are mandatory for at least one author of every paper<br /> that is presented at the workshop. <br /> <br /> Only papers that have been presented at TFPIE may be submitted to the post-reviewing<br /> process.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2026&diff=522 2026-01-20T08:00:54Z

<p>MartLubbers: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2026 edition of Trends in Functional Programming in Education will be held '''on January 26th''' at University of Southern Denmark in Odense, Denmark, together with TFP which will be held on January 27-29.<br /> <br /> 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 2026 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).<br /> <br /> 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), and Oxford (2025).<br /> <br /> == Topics ==<br /> TFPIE 2026 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:<br /> <br /> * FP at different levels (high-school, first-year and advanced undergraduate, graduate)<br /> * FP and the arts (incl. Music, Animation, Games, philosophy and other liberal arts) <br /> * FP and applications (in Computer Science, Robotics, Artificial Intelligence, etc.)<br /> * FP and pedagogy (incl., e.g., Computational Thinking, e-learning, automated assessment)<br /> * FP for building student engagement in research <br /> <br /> Best Lectures (details below)<br /> 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.<br /> <br /> 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.<br /> <br /> == Important Dates == <br /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: Decemben 26th, 2025 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 30th, 2025<br /> * TFPIE Registration Deadline: January 20th, 2026<br /> * Workshop: January 26th 2026<br /> * Submission for formal review: April 22nd, 2026<br /> * Notification of full article: May 27th, 2026<br /> * Camera ready: June 24th 2026<br /> <br /> <br /> == Invited Keynote ==<br /> Speaker: Alex Gerdes, University of Gothenburg and Chalmers<br /> <br /> Title: Generating feedback from rewrite strategies for interactive exercises.<br /> <br /> Abstract:<br /> This talk introduces the IDEAS library, a framework for building domain<br /> reasoners that generate rich and semantically meaningful feedback for students.<br /> We explore the core concepts underlying the approach, such as rewrite rules,<br /> strategies, and exercises, and show how these components can be combined to<br /> create interactive educational tools. Through concrete examples, we demonstrate<br /> how to define rules and strategies, construct a domain reasoner, and expose<br /> feedback services that can be integrated into teaching environments.<br /> <br /> == Program ==<br /> Session 1<br /> <br /> 9:00-10:00 Keynote: '''Generating feedback from rewrite strategies for interactive exercises''' ''Alex Gerdes'' - University of Gothenburg and Chalmers<br /> <br /> 10:30-11:00 Coffee break<br /> <br /> Session 2<br /> <br /> 11:00-11:30 '''Automatically Generating Programming Exercises with Open-Source LLMs: Integrating Lecture Slides and Learning Objectives''' ''Marc Bessa Hoffmann, Daniel Rashedi and Sibylle Schupp''<br /> <br /> 11:30-12:00 '''Integrating artificial intelligence, computational modeling, and functional paradigms in medical education: towards a methodological''' ''Roberto Pagliarini''<br /> <br /> 12:00-13:30 Lunch break<br /> <br /> Session 3<br /> <br /> 13:30-14:00 '''Unit Testing for Regular Expressions''' ''Marco T. Morazán and Andres Garced''<br /> <br /> 14:00-14:30 '''Design Recipes + Video Game Development = Success in CS1''' ''Marco T. Morazán, Andres Garced, David Anthony Fields and Sophia G. Turano''<br /> <br /> 14:30-15:00 '''A Recipe for Writing Inductive Proofs (in Intro to Theory of Computation courses)''' ''Stephen Chang''<br /> <br /> 15:00-16:00 Coffee break<br /> <br /> == The Programme Committee ==<br /> <br /> * ''Mart Lubbers'' (chair) - Radboud University, Nijmegen, Netherlands<br /> * ''Guannan Wei'' - Tuftst University, Medford, MA, USA<br /> * ''Johannes Åman Pohjola'' - Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden<br /> * ''Marco T. Morazán'' - Seton Hall University, South Orange, NY, USA<br /> * ''Marcos Viera'' - Universidad de la República, Montevideo, Uruguay<br /> * ''Tim Steenvoorden'' - Open Universiteit, Heerlen, Netherlands<br /> <br /> <br /> == How To Submit ==<br /> Paper submissions should be formatted in EPTCS style. We accept extended abstracts (4-6 pages) and full paper drafts (7-20 pages). For best-lecture presentations, we also accept short abstracts. Before the workshop, these submissions undergo an initial round of light review, performed primarily by the PC chair. Only full papers presented at the conference will be invited to the post-workshop process for full review by the PC. Preprints and slides will be shared on the workshop website.<br /> <br /> Papers and abstracts can be submitted via EasyChair:<br /> <br /> https://easychair.org/my/conference?conf=tfpie26<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: https://trendsfp.github.io/<br /> <br /> Registration and attendance are mandatory for at least one author of every paper<br /> that is presented at the workshop. <br /> <br /> Only papers that have been presented at TFPIE may be submitted to the post-reviewing<br /> process.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2026&diff=521 2026-01-20T07:56:01Z

<p>MartLubbers: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2026 edition of Trends in Functional Programming in Education will be held '''on January 26th''' at University of Southern Denmark in Odense, Denmark, together with TFP which will be held on January 27-29.<br /> <br /> 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 2026 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).<br /> <br /> 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), and Oxford (2025).<br /> <br /> == Topics ==<br /> TFPIE 2026 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:<br /> <br /> * FP at different levels (high-school, first-year and advanced undergraduate, graduate)<br /> * FP and the arts (incl. Music, Animation, Games, philosophy and other liberal arts) <br /> * FP and applications (in Computer Science, Robotics, Artificial Intelligence, etc.)<br /> * FP and pedagogy (incl., e.g., Computational Thinking, e-learning, automated assessment)<br /> * FP for building student engagement in research <br /> <br /> Best Lectures (details below)<br /> 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.<br /> <br /> 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.<br /> <br /> == Important Dates == <br /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: Decemben 26th, 2025 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 30th, 2025<br /> * TFPIE Registration Deadline: T.B.A.<br /> * Workshop: January 26th 2026<br /> * Submission for formal review: April 22nd, 2026<br /> * Notification of full article: May 27th, 2026<br /> * Camera ready: June 24th 2026<br /> <br /> <br /> == Invited Keynote ==<br /> Speaker: Alex Gerdes, University of Gothenburg and Chalmers<br /> <br /> Title: Generating feedback from rewrite strategies for interactive exercises.<br /> <br /> Abstract:<br /> This talk introduces the IDEAS library, a framework for building domain<br /> reasoners that generate rich and semantically meaningful feedback for students.<br /> We explore the core concepts underlying the approach, such as rewrite rules,<br /> strategies, and exercises, and show how these components can be combined to<br /> create interactive educational tools. Through concrete examples, we demonstrate<br /> how to define rules and strategies, construct a domain reasoner, and expose<br /> feedback services that can be integrated into teaching environments.<br /> <br /> == Program ==<br /> Session 1<br /> <br /> 9:00-10:00 Keynote: '''Generating feedback from rewrite strategies for interactive exercises''' ''Alex Gerdes'' - University of Gothenburg and Chalmers<br /> <br /> 10:30-11:00 Coffee break<br /> <br /> Session 2<br /> <br /> 11:00-11:30 '''Automatically Generating Programming Exercises with Open-Source LLMs: Integrating Lecture Slides and Learning Objectives''' ''Marc Bessa Hoffmann, Daniel Rashedi and Sibylle Schupp''<br /> <br /> 11:30-12:00 '''Integrating artificial intelligence, computational modeling, and functional paradigms in medical education: towards a methodological''' ''Roberto Pagliarini''<br /> <br /> 12:00-13:30 Lunch break<br /> <br /> Session 3<br /> <br /> 13:30-14:00 '''Unit Testing for Regular Expressions''' ''Marco T. Morazán and Andres Garced''<br /> <br /> 14:00-14:30 '''Design Recipes + Video Game Development = Success in CS1''' ''Marco T. Morazán, Andres Garced, David Anthony Fields and Sophia G. Turano''<br /> <br /> 14:30-15:00 '''A Recipe for Writing Inductive Proofs (in Intro to Theory of Computation courses)''' ''Stephen Chang''<br /> <br /> 15:00-16:00 Coffee break<br /> <br /> == The Programme Committee ==<br /> <br /> * ''Mart Lubbers'' (chair) - Radboud University, Nijmegen, Netherlands<br /> * ''Guannan Wei'' - Tuftst University, Medford, MA, USA<br /> * ''Johannes Åman Pohjola'' - Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden<br /> * ''Marco T. Morazán'' - Seton Hall University, South Orange, NY, USA<br /> * ''Marcos Viera'' - Universidad de la República, Montevideo, Uruguay<br /> * ''Tim Steenvoorden'' - Open Universiteit, Heerlen, Netherlands<br /> <br /> <br /> == How To Submit ==<br /> Paper submissions should be formatted in EPTCS style. We accept extended abstracts (4-6 pages) and full paper drafts (7-20 pages). For best-lecture presentations, we also accept short abstracts. Before the workshop, these submissions undergo an initial round of light review, performed primarily by the PC chair. Only full papers presented at the conference will be invited to the post-workshop process for full review by the PC. Preprints and slides will be shared on the workshop website.<br /> <br /> Papers and abstracts can be submitted via EasyChair:<br /> <br /> https://easychair.org/my/conference?conf=tfpie26<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: https://trendsfp.github.io/<br /> <br /> Registration and attendance are mandatory for at least one author of every paper<br /> that is presented at the workshop. <br /> <br /> Only papers that have been presented at TFPIE may be submitted to the post-reviewing<br /> process.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2026&diff=520 2026-01-20T07:55:46Z

<p>MartLubbers: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2026 edition of Trends in Functional Programming in Education will be held '''on January 26th''' at University of Southern Denmark in Odense, Denmark, together with TFP which will be held on January 27-29.<br /> <br /> 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 2026 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).<br /> <br /> 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), and Oxford (2025).<br /> <br /> == Topics ==<br /> TFPIE 2026 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:<br /> <br /> * FP at different levels (high-school, first-year and advanced undergraduate, graduate)<br /> * FP and the arts (incl. Music, Animation, Games, philosophy and other liberal arts) <br /> * FP and applications (in Computer Science, Robotics, Artificial Intelligence, etc.)<br /> * FP and pedagogy (incl., e.g., Computational Thinking, e-learning, automated assessment)<br /> * FP for building student engagement in research <br /> <br /> Best Lectures (details below)<br /> 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.<br /> <br /> 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.<br /> <br /> == Important Dates == <br /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: Decemben 26th, 2025 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 30th, 2025<br /> * TFPIE Registration Deadline: T.B.A.<br /> * Workshop: January 26th 2026<br /> * Submission for formal review: April 22nd, 2026<br /> * Notification of full article: May 27th, 2026<br /> * Camera ready: June 24th 2026<br /> <br /> <br /> == Invited Keynote ==<br /> Speaker: Alex Gerdes, University of Gothenburg and Chalmers<br /> <br /> Title: Generating feedback from rewrite strategies for interactive exercises.<br /> <br /> Abstract:<br /> This talk introduces the IDEAS library, a framework for building domain<br /> reasoners that generate rich and semantically meaningful feedback for students.<br /> We explore the core concepts underlying the approach, such as rewrite rules,<br /> strategies, and exercises, and show how these components can be combined to<br /> create interactive educational tools. Through concrete examples, we demonstrate<br /> how to define rules and strategies, construct a domain reasoner, and expose<br /> feedback services that can be integrated into teaching environments.<br /> <br /> == Programme ==<br /> <br /> == Programme ==<br /> Session 1<br /> <br /> 9:00-10:00 Keynote: '''Generating feedback from rewrite strategies for interactive exercises''' ''Alex Gerdes'' - University of Gothenburg and Chalmers<br /> <br /> 10:30-11:00 Coffee break<br /> <br /> Session 2<br /> <br /> 11:00-11:30 '''Automatically Generating Programming Exercises with Open-Source LLMs: Integrating Lecture Slides and Learning Objectives''' ''Marc Bessa Hoffmann, Daniel Rashedi and Sibylle Schupp''<br /> <br /> 11:30-12:00 '''Integrating artificial intelligence, computational modeling, and functional paradigms in medical education: towards a methodological''' ''Roberto Pagliarini''<br /> <br /> 12:00-13:30 Lunch break<br /> <br /> Session 3<br /> <br /> 13:30-14:00 '''Unit Testing for Regular Expressions''' ''Marco T. Morazán and Andres Garced''<br /> <br /> 14:00-14:30 '''Design Recipes + Video Game Development = Success in CS1''' ''Marco T. Morazán, Andres Garced, David Anthony Fields and Sophia G. Turano''<br /> <br /> 14:30-15:00 '''A Recipe for Writing Inductive Proofs (in Intro to Theory of Computation courses)''' ''Stephen Chang''<br /> <br /> 15:00-16:00 Coffee break<br /> <br /> == The Programme Committee ==<br /> <br /> * ''Mart Lubbers'' (chair) - Radboud University, Nijmegen, Netherlands<br /> * ''Guannan Wei'' - Tuftst University, Medford, MA, USA<br /> * ''Johannes Åman Pohjola'' - Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden<br /> * ''Marco T. Morazán'' - Seton Hall University, South Orange, NY, USA<br /> * ''Marcos Viera'' - Universidad de la República, Montevideo, Uruguay<br /> * ''Tim Steenvoorden'' - Open Universiteit, Heerlen, Netherlands<br /> <br /> <br /> == How To Submit ==<br /> Paper submissions should be formatted in EPTCS style. We accept extended abstracts (4-6 pages) and full paper drafts (7-20 pages). For best-lecture presentations, we also accept short abstracts. Before the workshop, these submissions undergo an initial round of light review, performed primarily by the PC chair. Only full papers presented at the conference will be invited to the post-workshop process for full review by the PC. Preprints and slides will be shared on the workshop website.<br /> <br /> Papers and abstracts can be submitted via EasyChair:<br /> <br /> https://easychair.org/my/conference?conf=tfpie26<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: https://trendsfp.github.io/<br /> <br /> Registration and attendance are mandatory for at least one author of every paper<br /> that is presented at the workshop. <br /> <br /> Only papers that have been presented at TFPIE may be submitted to the post-reviewing<br /> process.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2026&diff=519 2026-01-11T19:11:34Z

<p>MartLubbers: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2026 edition of Trends in Functional Programming in Education will be held '''on January 26th''' at University of Southern Denmark in Odense, Denmark, together with TFP which will be held on January 27-29.<br /> <br /> 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 2026 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).<br /> <br /> 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), and Oxford (2025).<br /> <br /> == Topics ==<br /> TFPIE 2026 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:<br /> <br /> * FP at different levels (high-school, first-year and advanced undergraduate, graduate)<br /> * FP and the arts (incl. Music, Animation, Games, philosophy and other liberal arts) <br /> * FP and applications (in Computer Science, Robotics, Artificial Intelligence, etc.)<br /> * FP and pedagogy (incl., e.g., Computational Thinking, e-learning, automated assessment)<br /> * FP for building student engagement in research <br /> <br /> Best Lectures (details below)<br /> 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.<br /> <br /> 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.<br /> <br /> == Important Dates == <br /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: Decemben 26th, 2025 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 30th, 2025<br /> * TFPIE Registration Deadline: T.B.A.<br /> * Workshop: January 26th 2026<br /> * Submission for formal review: April 22nd, 2026<br /> * Notification of full article: May 27th, 2026<br /> * Camera ready: June 24th 2026<br /> <br /> <br /> == Invited Keynote ==<br /> Speaker: Alex Gerdes, University of Gothenburg and Chalmers<br /> <br /> Title: Generating feedback from rewrite strategies for interactive exercises.<br /> <br /> Abstract:<br /> This talk introduces the IDEAS library, a framework for building domain<br /> reasoners that generate rich and semantically meaningful feedback for students.<br /> We explore the core concepts underlying the approach, such as rewrite rules,<br /> strategies, and exercises, and show how these components can be combined to<br /> create interactive educational tools. Through concrete examples, we demonstrate<br /> how to define rules and strategies, construct a domain reasoner, and expose<br /> feedback services that can be integrated into teaching environments.<br /> <br /> == The Programme Committee ==<br /> <br /> * ''Mart Lubbers'' (chair) - Radboud University, Nijmegen, Netherlands<br /> * ''Guannan Wei'' - Tuftst University, Medford, MA, USA<br /> * ''Johannes Åman Pohjola'' - Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden<br /> * ''Marco T. Morazán'' - Seton Hall University, South Orange, NY, USA<br /> * ''Marcos Viera'' - Universidad de la República, Montevideo, Uruguay<br /> * ''Tim Steenvoorden'' - Open Universiteit, Heerlen, Netherlands<br /> <br /> <br /> == How To Submit ==<br /> Paper submissions should be formatted in EPTCS style. We accept extended abstracts (4-6 pages) and full paper drafts (7-20 pages). For best-lecture presentations, we also accept short abstracts. Before the workshop, these submissions undergo an initial round of light review, performed primarily by the PC chair. Only full papers presented at the conference will be invited to the post-workshop process for full review by the PC. Preprints and slides will be shared on the workshop website.<br /> <br /> Papers and abstracts can be submitted via EasyChair:<br /> <br /> https://easychair.org/my/conference?conf=tfpie26<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: https://trendsfp.github.io/<br /> <br /> Registration and attendance are mandatory for at least one author of every paper<br /> that is presented at the workshop. <br /> <br /> Only papers that have been presented at TFPIE may be submitted to the post-reviewing<br /> process.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2026&diff=518 2025-11-13T14:29:56Z

<p>MartLubbers: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2026 edition of Trends in Functional Programming in Education will be held '''on January 26th''' at University of Southern Denmark in Odense, Denmark, together with TFP which will be held on January 27-29.<br /> <br /> 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 2026 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).<br /> <br /> 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), and Oxford (2025).<br /> <br /> == Topics ==<br /> TFPIE 2026 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:<br /> <br /> * FP at different levels (high-school, first-year and advanced undergraduate, graduate)<br /> * FP and the arts (incl. Music, Animation, Games, philosophy and other liberal arts) <br /> * FP and applications (in Computer Science, Robotics, Artificial Intelligence, etc.)<br /> * FP and pedagogy (incl., e.g., Computational Thinking, e-learning, automated assessment)<br /> * FP for building student engagement in research <br /> <br /> Best Lectures (details below)<br /> 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.<br /> <br /> 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.<br /> <br /> == Important Dates == <br /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: Decemben 26th, 2025 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 30th, 2025<br /> * TFPIE Registration Deadline: T.B.A.<br /> * Workshop: January 26th 2026<br /> * Submission for formal review: April 22nd, 2026<br /> * Notification of full article: May 27th, 2026<br /> * Camera ready: June 24th 2026<br /> <br /> <br /> == Invited Keynote ==<br /> Speaker: Alex Gerdes, University of Gothenburg and Chalmers<br /> <br /> Title: Generating feedback from rewrite strategies for interactive exercises.<br /> <br /> Abstract: T.B.A.<br /> <br /> == The Programme Committee ==<br /> <br /> * ''Mart Lubbers'' (chair) - Radboud University, Nijmegen, Netherlands<br /> * ''Guannan Wei'' - Tuftst University, Medford, MA, USA<br /> * ''Johannes Åman Pohjola'' - Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden<br /> * ''Marco T. Morazán'' - Seton Hall University, South Orange, NY, USA<br /> * ''Marcos Viera'' - Universidad de la República, Montevideo, Uruguay<br /> * ''Tim Steenvoorden'' - Open Universiteit, Heerlen, Netherlands<br /> <br /> <br /> == How To Submit ==<br /> Paper submissions should be formatted in EPTCS style. We accept extended abstracts (4-6 pages) and full paper drafts (7-20 pages). For best-lecture presentations, we also accept short abstracts. Before the workshop, these submissions undergo an initial round of light review, performed primarily by the PC chair. Only full papers presented at the conference will be invited to the post-workshop process for full review by the PC. Preprints and slides will be shared on the workshop website.<br /> <br /> Papers and abstracts can be submitted via EasyChair:<br /> <br /> https://easychair.org/my/conference?conf=tfpie26<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: https://trendsfp.github.io/<br /> <br /> Registration and attendance are mandatory for at least one author of every paper<br /> that is presented at the workshop. <br /> <br /> Only papers that have been presented at TFPIE may be submitted to the post-reviewing<br /> process.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2026&diff=517 2025-10-28T11:19:05Z

<p>MartLubbers: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2026 edition of Trends in Functional Programming in Education will be held '''on January 26th''' at University of Southern Denmark in Odense, Denmark, together with TFP which will be held on January 27-29.<br /> <br /> 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 2026 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).<br /> <br /> 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), and Oxford (2025).<br /> <br /> == Topics ==<br /> TFPIE 2026 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:<br /> <br /> * FP at different levels (high-school, first-year and advanced undergraduate, graduate)<br /> * FP and the arts (incl. Music, Animation, Games, philosophy and other liberal arts) <br /> * FP and applications (in Computer Science, Robotics, Artificial Intelligence, etc.)<br /> * FP and pedagogy (incl., e.g., Computational Thinking, e-learning, automated assessment)<br /> * FP for building student engagement in research <br /> <br /> Best Lectures (details below)<br /> 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.<br /> <br /> 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.<br /> <br /> == Important Dates == <br /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: Decemben 26th, 2025 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 30th, 2025<br /> * TFPIE Registration Deadline: T.B.A.<br /> * Workshop: January 26th 2026<br /> * Submission for formal review: April 22nd, 2026<br /> * Notification of full article: May 27th, 2026<br /> * Camera ready: June 24th 2026<br /> <br /> <br /> == Invited Keynote ==<br /> Speaker: Alex Gerdes, University of Gothenburg and Chalmers<br /> <br /> Title: T.B.A.<br /> <br /> Abstract: T.B.A.<br /> <br /> == The Programme Committee ==<br /> <br /> * ''Mart Lubbers'' (chair) - Radboud University, Nijmegen, Netherlands<br /> * ''Guannan Wei'' - Tuftst University, Medford, MA, USA<br /> * ''Johannes Åman Pohjola'' - Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden<br /> * ''Marco T. Morazán'' - Seton Hall University, South Orange, NY, USA<br /> * ''Marcos Viera'' - Universidad de la República, Montevideo, Uruguay<br /> * ''Tim Steenvoorden'' - Open Universiteit, Heerlen, Netherlands<br /> <br /> <br /> == How To Submit ==<br /> Paper submissions should be formatted in EPTCS style. We accept extended abstracts (4-6 pages) and full paper drafts (7-20 pages). For best-lecture presentations, we also accept short abstracts. Before the workshop, these submissions undergo an initial round of light review, performed primarily by the PC chair. Only full papers presented at the conference will be invited to the post-workshop process for full review by the PC. Preprints and slides will be shared on the workshop website.<br /> <br /> Papers and abstracts can be submitted via EasyChair:<br /> <br /> https://easychair.org/my/conference?conf=tfpie26<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: https://trendsfp.github.io/<br /> <br /> Registration and attendance are mandatory for at least one author of every paper<br /> that is presented at the workshop. <br /> <br /> Only papers that have been presented at TFPIE may be submitted to the post-reviewing<br /> process.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2026&diff=516 2025-10-21T11:58:07Z

<p>MartLubbers: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2026 edition of Trends in Functional Programming in Education will be held '''on January 26th''' at University of Southern Denmark in Odense, Denmark, together with TFP which will be held on January 27-29.<br /> <br /> 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 2026 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).<br /> <br /> 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), and Oxford (2025).<br /> <br /> == Topics ==<br /> TFPIE 2026 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:<br /> <br /> * FP at different levels (high-school, first-year and advanced undergraduate, graduate)<br /> * FP and the arts (incl. Music, Animation, Games, philosophy and other liberal arts) <br /> * FP and applications (in Computer Science, Robotics, Artificial Intelligence, etc.)<br /> * FP and pedagogy (incl., e.g., Computational Thinking, e-learning, automated assessment)<br /> * FP for building student engagement in research <br /> <br /> Best Lectures (details below)<br /> 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.<br /> <br /> 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.<br /> <br /> == Important Dates == <br /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: Decemben 26th, 2025 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 30th, 2025<br /> * TFPIE Registration Deadline: T.B.A.<br /> * Workshop: January 26th 2026<br /> * Submission for formal review: April 22nd, 2026<br /> * Notification of full article: May 27th, 2026<br /> * Camera ready: June 24th 2026<br /> <br /> <br /> == Invited Keynote ==<br /> Speaker: Alex Gerdes, University of Gothenburg and Chalmers<br /> <br /> Title: T.B.A.<br /> <br /> Abstract: T.B.A.<br /> <br /> == The Programme Committee ==<br /> <br /> * ''Mart Lubbers'' (chair) - Radboud University, Nijmegen, Netherlands<br /> * ''Guannan Wei'' - Tuftst University, Medford, MA, USA<br /> * ''Johannes Åman Pohjola'' - Chalmers tekniska högskola, Göteborg, Sweden<br /> * ''Marco T. Morazán'' - Seton Hall University, South Orange, NY, USA<br /> * ''Marcos Viera'' - Universidad de la República, Montevideo, Uruguay<br /> * ''Tim Steenvoorden'' - Open Universiteit, Heerlen, Netherlands<br /> <br /> <br /> == How To Submit ==<br /> Paper submissions should be formatted in EPTCS style. We accept extended abstracts (4-6 pages) and full paper drafts (7-20 pages). For best-lecture presentations, we also accept short abstracts. Before the workshop, these submissions undergo an initial round of light review, performed primarily by the PC chair. Only full papers presented at the conference will be invited to the post-workshop process for full review by the PC. Preprints and slides will be shared on the workshop website.<br /> <br /> Papers and abstracts can be submitted via EasyChair:<br /> <br /> https://easychair.org/my/conference?conf=tfpie26<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: https://trendsfp.github.io/<br /> <br /> Registration and attendance are mandatory for at least one author of every paper<br /> that is presented at the workshop. <br /> <br /> Only papers that have been presented at TFPIE may be submitted to the post-reviewing<br /> process.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2026&diff=515 2025-08-20T10:49:46Z

<p>MartLubbers: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2026 edition of Trends in Functional Programming in Education will be held '''on January 26th''' at University of Southern Denmark in Odense, Denmark, together with TFP which will be held on January 27-29.<br /> <br /> 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 2026 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).<br /> <br /> 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), and Oxford (2025).<br /> <br /> == Topics ==<br /> TFPIE 2026 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:<br /> <br /> * FP at different levels (high-school, first-year and advanced undergraduate, graduate)<br /> * FP and the arts (incl. Music, Animation, Games, philosophy and other liberal arts) <br /> * FP and applications (in Computer Science, Robotics, Artificial Intelligence, etc.)<br /> * FP and pedagogy (incl., e.g., Computational Thinking, e-learning, automated assessment)<br /> * FP for building student engagement in research <br /> <br /> Best Lectures (details below)<br /> 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.<br /> <br /> 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.<br /> <br /> == Important Dates == <br /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: T.B.A. (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: T.B.A.<br /> * TFPIE Registration Deadline: T.B.A.<br /> * Workshop: January 26th 2026<br /> * Submission for formal review: T.B.A.<br /> * Notification of full article: T.B.A.<br /> * Camera ready: T.B.A.<br /> <br /> <br /> == Invited Keynote ==<br /> Speaker: Alex Gerdes, University of Gothenburg and Chalmers<br /> <br /> Title: T.B.A.<br /> <br /> Abstract: T.B.A.<br /> <br /> == The Programme Committee ==<br /> <br /> * ''Mart Lubbers'' (chair) - Radboud University, Nijmegen, Netherlands<br /> * ''Guannan Wei'' - Tuftst University, Medford, MA, USA<br /> * ''Johannes Åman Pohjola'' - Chalmers tekniska högskola, Göteborg, Sweden<br /> * ''Marco T. Morazán'' - Seton Hall University, South Orange, NY, USA<br /> * ''Marcos Viera'' - Universidad de la República, Montevideo, Uruguay<br /> * ''Tim Steenvoorden'' - Open Universiteit, Heerlen, Netherlands<br /> <br /> <br /> == How To Submit ==<br /> Paper submissions should be formatted in EPTCS style. We accept extended abstracts (4-6 pages) and full paper drafts (7-20 pages). For best-lecture presentations, we also accept short abstracts. Before the workshop, these submissions undergo an initial round of light review, performed primarily by the PC chair. Only full papers presented at the conference will be invited to the post-workshop process for full review by the PC. Preprints and slides will be shared on the workshop website.<br /> <br /> Papers and abstracts can be submitted via EasyChair:<br /> T.B.A.<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: T.B.A.<br /> <br /> Registration and attendance are mandatory for at least one author of every paper<br /> that is presented at the workshop. <br /> <br /> Only papers that have been presented at TFPIE may be submitted to the post-reviewing<br /> process.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2026&diff=514 2025-06-30T09:07:35Z

<p>MartLubbers: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2026 edition of Trends in Functional Programming in Education will be held '''on January 26th''' at University of Southern Denmark in Odense, Denmark, together with TFP which will be held on January 27-29.<br /> <br /> 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 2026 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).<br /> <br /> 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), and Oxford (2025).<br /> <br /> == Topics ==<br /> TFPIE 2026 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:<br /> <br /> * FP at different levels (high-school, first-year and advanced undergraduate, graduate)<br /> * FP and the arts (incl. Music, Animation, Games, philosophy and other liberal arts) <br /> * FP and applications (in Computer Science, Robotics, Artificial Intelligence, etc.)<br /> * FP and pedagogy (incl., e.g., Computational Thinking, e-learning, automated assessment)<br /> * FP for building student engagement in research <br /> <br /> Best Lectures (details below)<br /> 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.<br /> <br /> 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.<br /> <br /> == Important Dates == <br /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: T.B.A. (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: T.B.A.<br /> * TFPIE Registration Deadline: T.B.A.<br /> * Workshop: January 26th 2026<br /> * Submission for formal review: T.B.A.<br /> * Notification of full article: T.B.A.<br /> * Camera ready: T.B.A.<br /> <br /> <br /> == Invited Keynote ==<br /> Speaker: Alex Gerdes, University of Gothenburg and Chalmers<br /> <br /> Title: T.B.A.<br /> <br /> Abstract: T.B.A.<br /> <br /> == The Programme Committee ==<br /> <br /> * ''Mart Lubbers'' - Radboud University, Nijmegen, Netherlands<br /> * T.B.A.<br /> <br /> == How To Submit ==<br /> Paper submissions should be formatted in EPTCS style. We accept extended abstracts (4-6 pages) and full paper drafts (7-20 pages). For best-lecture presentations, we also accept short abstracts. Before the workshop, these submissions undergo an initial round of light review, performed primarily by the PC chair. Only full papers presented at the conference will be invited to the post-workshop process for full review by the PC. Preprints and slides will be shared on the workshop website.<br /> <br /> Papers and abstracts can be submitted via EasyChair:<br /> T.B.A.<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: T.B.A.<br /> <br /> Registration and attendance are mandatory for at least one author of every paper<br /> that is presented at the workshop. <br /> <br /> Only papers that have been presented at TFPIE may be submitted to the post-reviewing<br /> process.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=Main_Page&diff=513 2025-06-30T09:01:33Z

<p>MartLubbers: </p> <hr /> <div>== TFPIE ==<br /> Welcome to the TFPIE wiki. The TFPIE wiki is a portal to find and contribute material on the subject of Functional Programming in an educational setting. It has been created on the occasion of the first International Workshop on Trends in Functional Programming In Education that was held at the University of St. Andrews, Scotland, on june 11th 2012. <br /> <br /> === TFPIE wiki ===<br /> During the first TFPIE workshop, a group of enthusiastic functional programmers expressed their willingness to contribute further to this wiki. We are currently exploring how to structure this wiki, its policies, and initial content. A brainstorm lunch-meeting was held during the subsequent Trends in Functional Programming Symposium. We invite you to contribute to this wiki as well. <br /> <br /> === TFPIE workshops ===<br /> We plan to organize the TFPIE workshops annually. These workshops are an informal meeting intended for researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshops will foster a spirit of open discussion by having a review process for publication after the workshop.<br /> <br /> ==== [[TFPIE2026]] ====<br /> The fifteenth TFPIE workshop, January 26th 2025 in Odense, Denmark (University of Southern Denmark) in conjunction with [https://trendsfp.github.io/ TFP 2026]<br /> <br /> ==== [[TFPIE2025]] ====<br /> The fourteenth TFPIE workshop, January 13th 2025 in Oxford, UK (Oxford University) in conjunction with [https://trendsfp.github.io/ TFP 2025]<br /> <br /> ==== [[TFPIE2024]] ====<br /> The thirteenth TFPIE workshop, January 9th 2024 in South Orange, New Jersey, USA (Seton Hall University) in conjunction with [https://trendsfp.github.io/ TFP 2024]<br /> <br /> ==== [[TFPIE2023]] ====<br /> The twelfth TFPIE workshop, January 12th 2023 in Boston, Massachusetts, USA in conjunction with [https://popl23.sigplan.org/ POPL 2023 and TFP]<br /> <br /> ==== [[TFPIE2022]] ====<br /> The eleventh TFPIE workshop March 16th 2022 online due to COVID. It is organized in collaboration with Lambda Days and TFP.<br /> <br /> ==== [[TFPIE2021]] ====<br /> The tenth TFPIE workshop, February 16, 2021. It is organized in collaboration with Lambda Days and TFP. Due to covid, the event is online.<br /> <br /> ==== [[TFPIE2020]] ====<br /> The ninth TFPIE workshop, Krakow, Poland, February 12, 2020.<br /> For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html the current home page of TFPIE 2020].<br /> <br /> ==== [[TFPIE2019]] ====<br /> The eighth TFPIE workshop, University of British Columbia, CA, June 11, 2019.<br /> For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html the current home page of TFPIE 2019].<br /> <br /> ==== [[TFPIE2018]] ====<br /> The seventh TFPIE workshop, Chalmers University, Sweden, June 14, 2018.<br /> <br /> ==== [[TFPIE2017]] ====<br /> The sixth TFPIE workshop, University of Kent, UK, June 22, 2017.<br /> <br /> ==== [[TFPIE2016]] ====<br /> The fifth TFPIE workshop, University of Maryland College Park, USA, June 7, 2016.<br /> <br /> ==== [[TFPIE2015]] ====<br /> The fourth TFPIE workshop, Sophia-Antipolis, France, June 2, 2015.<br /> <br /> ==== [[TFPIE2014]] ====<br /> The third TFPIE workshop, Soesterberg at 'Kontakt der Kontinenten', The Netherlands, May 25 2014.<br /> <br /> ==== [[TFPIE2013]] ====<br /> The second TFPIE workshop, Brigham Young University, Provo, Utah, USA, May 13 2013.<br /> <br /> ==== [[TFPIE2012]] ====<br /> The first TFPIE workshop, University of St. Andrews, Scotland, June 11th 2012.<br /> <br /> === TFPIE steering committee ===<br /> <br /> The steering committee of TFPIE consists of Marco T Morazan and Peter Achten.</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=Main_Page&diff=512 2025-05-15T13:12:28Z

<p>MartLubbers: </p> <hr /> <div>== TFPIE ==<br /> Welcome to the TFPIE wiki. The TFPIE wiki is a portal to find and contribute material on the subject of Functional Programming in an educational setting. It has been created on the occasion of the first International Workshop on Trends in Functional Programming In Education that was held at the University of St. Andrews, Scotland, on june 11th 2012. <br /> <br /> === TFPIE wiki ===<br /> During the first TFPIE workshop, a group of enthusiastic functional programmers expressed their willingness to contribute further to this wiki. We are currently exploring how to structure this wiki, its policies, and initial content. A brainstorm lunch-meeting was held during the subsequent Trends in Functional Programming Symposium. We invite you to contribute to this wiki as well. <br /> <br /> === TFPIE workshops ===<br /> We plan to organize the TFPIE workshops annually. These workshops are an informal meeting intended for researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshops will foster a spirit of open discussion by having a review process for publication after the workshop.<br /> <br /> ==== [[TFPIE2026]] ====<br /> The fifteenth TFPIE workshop, January 26th 2025 in Odense, Denmark (University of Southern Denmark) in conjunction with [https://trendsfp.github.io/ TFP 2026]<br /> <br /> ==== [[TFPIE2025]] ====<br /> The fourteenth TFPIE workshop, January 13th 2025 in Oxford, UK (Oxford University) in conjunction with [https://trendsfp.github.io/ TFP 2025]<br /> <br /> ==== [[TFPIE2024]] ====<br /> The thirteenth TFPIE workshop, January 9th 2024 in South Orange, New Jersey, USA (Seton Hall University) in conjunction with [https://trendsfp.github.io/ TFP 2024]<br /> <br /> ==== [[TFPIE2023]] ====<br /> The twelfth TFPIE workshop, January 12th 2023 in Boston, Massachusetts, USA in conjunction with [https://popl23.sigplan.org/ POPL 2023 and TFP]<br /> <br /> ==== [[TFPIE2022]] ====<br /> The eleventh TFPIE workshop March 16th 2022 online due to COVID. It is organized in collaboration with Lambda Days and TFP.<br /> <br /> ==== [[TFPIE2021]] ====<br /> The tenth TFPIE workshop, February 16, 2021. It is organized in collaboration with Lambda Days and TFP. Due to covid, the event is online.<br /> <br /> ==== [[TFPIE2020]] ====<br /> The ninth TFPIE workshop, Krakow, Poland, February 12, 2020.<br /> For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html the current home page of TFPIE 2020].<br /> <br /> ==== [[TFPIE2019]] ====<br /> The eighth TFPIE workshop, University of British Columbia, CA, June 11, 2019.<br /> For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html the current home page of TFPIE 2019].<br /> <br /> ==== [[TFPIE2018]] ====<br /> The seventh TFPIE workshop, Chalmers University, Sweden, June 14, 2018.<br /> <br /> ==== [[TFPIE2017]] ====<br /> The sixth TFPIE workshop, University of Kent, UK, June 22, 2017.<br /> <br /> ==== [[TFPIE2016]] ====<br /> The fifth TFPIE workshop, University of Maryland College Park, USA, June 7, 2016.<br /> <br /> ==== [[TFPIE2015]] ====<br /> The fourth TFPIE workshop, Sophia-Antipolis, France, June 2, 2015.<br /> <br /> ==== [[TFPIE2014]] ====<br /> The third TFPIE workshop, Soesterberg at 'Kontakt der Kontinenten', The Netherlands, May 25 2014.<br /> <br /> ==== [[TFPIE2013]] ====<br /> The second TFPIE workshop, Brigham Young University, Provo, Utah, USA, May 13 2013.<br /> <br /> ==== [[TFPIE2012]] ====<br /> The first TFPIE workshop, University of St. Andrews, Scotland, June 11th 2012.</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=Main_Page&diff=511 2025-05-15T13:01:46Z

<p>MartLubbers: </p> <hr /> <div>== TFPIE ==<br /> Welcome to the TFPIE wiki. The TFPIE wiki is a portal to find and contribute material on the subject of Functional Programming in an educational setting. It has been created on the occasion of the first International Workshop on Trends in Functional Programming In Education that was held at the University of St. Andrews, Scotland, on june 11th 2012. <br /> <br /> === TFPIE wiki ===<br /> During the first TFPIE workshop, a group of enthusiastic functional programmers expressed their willingness to contribute further to this wiki. We are currently exploring how to structure this wiki, its policies, and initial content. A brainstorm lunch-meeting was held during the subsequent Trends in Functional Programming Symposium. We invite you to contribute to this wiki as well. <br /> <br /> === TFPIE workshops ===<br /> We plan to organize the TFPIE workshops annually. These workshops are an informal meeting intended for researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshops will foster a spirit of open discussion by having a review process for publication after the workshop.<br /> <br /> ==== [[TFPIE2012]] ====<br /> The first TFPIE workshop, University of St. Andrews, Scotland, June 11th 2012. <br /> <br /> ==== [[TFPIE2013]] ====<br /> The second TFPIE workshop, Brigham Young University, Provo, Utah, USA, May 13 2013.<br /> <br /> ==== [[TFPIE2014]] ====<br /> The third TFPIE workshop, Soesterberg at 'Kontakt der Kontinenten', The Netherlands, May 25 2014.<br /> <br /> ==== [[TFPIE2015]] ====<br /> The fourth TFPIE workshop, Sophia-Antipolis, France, June 2, 2015.<br /> <br /> ==== [[TFPIE2016]] ====<br /> The fifth TFPIE workshop, University of Maryland College Park, USA, June 7, 2016.<br /> <br /> ==== [[TFPIE2017]] ====<br /> The sixth TFPIE workshop, University of Kent, UK, June 22, 2017.<br /> <br /> ==== [[TFPIE2018]] ====<br /> The seventh TFPIE workshop, Chalmers University, Sweden, June 14, 2018.<br /> <br /> ==== [[TFPIE2019]] ====<br /> The eighth TFPIE workshop, University of British Columbia, CA, June 11, 2019.<br /> For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html the current home page of TFPIE 2019].<br /> <br /> ==== [[TFPIE2020]] ====<br /> The ninth TFPIE workshop, Krakow, Poland, February 12, 2020.<br /> For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html the current home page of TFPIE 2020].<br /> <br /> ==== [[TFPIE2021]] ====<br /> The tenth TFPIE workshop, February 16, 2021. It is organized in collaboration with Lambda Days and TFP. Due to covid, the event is online.<br /> <br /> ==== [[TFPIE2022]] ====<br /> The eleventh TFPIE workshop March 16th 2022 online due to COVID. It is organized in collaboration with Lambda Days and TFP.<br /> <br /> ==== [[TFPIE2023]] ====<br /> The twelfth TFPIE workshop, January 12th 2023 in Boston, Massachusetts, USA in conjunction with [https://popl23.sigplan.org/ POPL 2023 and TFP]<br /> <br /> ==== [[TFPIE2024]] ====<br /> The thirteenth TFPIE workshop, January 9th 2024 in South Orange, New Jersey, USA (Seton Hall University) in conjunction with [https://trendsfp.github.io/ TFP 2024]<br /> <br /> ==== [[TFPIE2025]] ====<br /> The fourteenth TFPIE workshop, January 13th 2025 in Oxford, UK (Oxford University) in conjunction with [https://trendsfp.github.io/ TFP 2025]<br /> <br /> ==== [[TFPIE2026]] ====<br /> The fifteenth TFPIE workshop, January 26th 2025 in Odense, Denmark (University of Southern Denmark) in conjunction with [https://trendsfp.github.io/ TFP 2026]</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2026&diff=510 2025-05-15T12:59:55Z

<p>MartLubbers: Created page with &quot;=Trends in Functional Programming in Education (TFPIE)= Welcome! The 2026 edition of Trends in Functional Programming in Education will be held &#039;&#039;&#039;on January 26th&#039;&#039;&#039; at University of Southern Denmark in Odense, Denmark, together with TFP which will be held on January 27-29. 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, cla...&quot;</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2026 edition of Trends in Functional Programming in Education will be held '''on January 26th''' at University of Southern Denmark in Odense, Denmark, together with TFP which will be held on January 27-29.<br /> <br /> 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 2026 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).<br /> <br /> 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), and Oxford (2025).<br /> <br /> == Topics ==<br /> TFPIE 2026 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:<br /> <br /> * FP at different levels (high-school, first-year and advanced undergraduate, graduate)<br /> * FP and the arts (incl. Music, Animation, Games, philosophy and other liberal arts) <br /> * FP and applications (in Computer Science, Robotics, Artificial Intelligence, etc.)<br /> * FP and pedagogy (incl., e.g., Computational Thinking, e-learning, automated assessment)<br /> * FP for building student engagement in research <br /> <br /> Best Lectures (details below)<br /> 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.<br /> <br /> 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.<br /> <br /> == Important Dates == <br /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: T.B.A. (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: T.B.A.<br /> * TFPIE Registration Deadline: T.B.A.<br /> * Workshop: January 26th 2026<br /> * Submission for formal review: T.B.A.<br /> * Notification of full article: T.B.A.<br /> * Camera ready: T.B.A.<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://martlubbers.net ''Mart Lubbers''] - Radboud University, Nijmegen, Netherlands<br /> * T.B.A.<br /> <br /> == How To Submit ==<br /> Paper submissions should be formatted in EPTCS style. We accept extended abstracts (4-6 pages) and full paper drafts (7-20 pages). For best-lecture presentations, we also accept short abstracts. Before the workshop, these submissions undergo an initial round of light review, performed primarily by the PC chair. Only full papers presented at the conference will be invited to the post-workshop process for full review by the PC. Preprints and slides will be shared on the workshop website.<br /> <br /> Papers and abstracts can be submitted via EasyChair:<br /> T.B.A.<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> == Invited Keynote ==<br /> T.B.A.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: T.B.A.<br /> <br /> Registration and attendance are mandatory for at least one author of every paper<br /> that is presented at the workshop. <br /> <br /> Only papers that have been presented at TFPIE may be submitted to the post-reviewing<br /> process.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events.</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=Main_Page&diff=509 2025-05-15T12:47:34Z

<p>MartLubbers: </p> <hr /> <div>== TFPIE ==<br /> Welcome to the TFPIE wiki. The TFPIE wiki is a portal to find and contribute material on the subject of Functional Programming in an educational setting. It has been created on the occasion of the first International Workshop on Trends in Functional Programming In Education that was held at the University of St. Andrews, Scotland, on june 11th 2012. <br /> <br /> === TFPIE wiki ===<br /> During the first TFPIE workshop, a group of enthusiastic functional programmers expressed their willingness to contribute further to this wiki. We are currently exploring how to structure this wiki, its policies, and initial content. A brainstorm lunch-meeting was held during the subsequent Trends in Functional Programming Symposium. We invite you to contribute to this wiki as well. <br /> <br /> === TFPIE workshops ===<br /> We plan to organize the TFPIE workshops annually. These workshops are an informal meeting intended for researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshops will foster a spirit of open discussion by having a review process for publication after the workshop.<br /> <br /> ==== [[TFPIE2012]] ====<br /> The first TFPIE workshop, University of St. Andrews, Scotland, June 11th 2012. <br /> <br /> ==== [[TFPIE2013]] ====<br /> The second TFPIE workshop, Brigham Young University, Provo, Utah, USA, May 13 2013.<br /> <br /> ==== [[TFPIE2014]] ====<br /> The third TFPIE workshop, Soesterberg at 'Kontakt der Kontinenten', The Netherlands, May 25 2014.<br /> <br /> ==== [[TFPIE2015]] ====<br /> The fourth TFPIE workshop, Sophia-Antipolis, France, June 2, 2015.<br /> <br /> ==== [[TFPIE2016]] ====<br /> The fifth TFPIE workshop, University of Maryland College Park, USA, June 7, 2016.<br /> <br /> ==== [[TFPIE2017]] ====<br /> The sixth TFPIE workshop, University of Kent, UK, June 22, 2017.<br /> <br /> ==== [[TFPIE2018]] ====<br /> The seventh TFPIE workshop, Chalmers University, Sweden, June 14, 2018.<br /> <br /> ==== [[TFPIE2019]] ====<br /> The eighth TFPIE workshop, University of British Columbia, CA, June 11, 2019.<br /> For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html the current home page of TFPIE 2019].<br /> <br /> ==== [[TFPIE2020]] ====<br /> The ninth TFPIE workshop, Krakow, Poland, February 12, 2020.<br /> For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html the current home page of TFPIE 2020].<br /> <br /> ==== [[TFPIE2021]] ====<br /> The tenth TFPIE workshop, February 16, 2021. It is organized in collaboration with Lambda Days and TFP. Due to covid, the event is online.<br /> <br /> ==== [[TFPIE2022]] ====<br /> The eleventh TFPIE workshop March 16th 2022 online due to COVID. It is organized in collaboration with Lambda Days and TFP.<br /> <br /> ==== [[TFPIE2023]] ====<br /> The twelfth TFPIE workshop, January 12th 2023 in Boston, Massachusetts, USA in conjunction with [https://popl23.sigplan.org/ POPL 2023 and TFP]<br /> <br /> ==== [[TFPIE2024]] ====<br /> The thirteenth TFPIE workshop, January 9th 2024 in South Orange, New Jersey, USA (Seton Hall University) in conjunction with [https://trendsfp.github.io/ TFP 2024]<br /> <br /> ==== [[TFPIE2025]] ====<br /> The fourteenth TFPIE workshop, January 13th 2025 in Oxford, UK (Oxford University) in conjunction with [https://trendsfp.github.io/ TFP 2025]<br /> <br /> ==== [[TFPIE2026]] ====<br /> The fifteenth TFPIE workshop, January 263th 2025 in Odense, Denmark (University of Southern Denmark) in conjunction with [https://trendsfp.github.io/ TFP 2026]</div>

MartLubbers https://wiki.tfpie.science.ru.nl/index.php?title=Main_Page&diff=508 2025-05-15T12:47:06Z

<p>MartLubbers: </p> <hr /> <div>'''MediaWiki has been successfully installed.'''<br /> <br /> Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.<br /> <br /> == TFPIE ==<br /> Welcome to the TFPIE wiki. The TFPIE wiki is a portal to find and contribute material on the subject of Functional Programming in an educational setting. It has been created on the occasion of the first International Workshop on Trends in Functional Programming In Education that was held at the University of St. Andrews, Scotland, on june 11th 2012. <br /> <br /> === TFPIE wiki ===<br /> During the first TFPIE workshop, a group of enthusiastic functional programmers expressed their willingness to contribute further to this wiki. We are currently exploring how to structure this wiki, its policies, and initial content. A brainstorm lunch-meeting was held during the subsequent Trends in Functional Programming Symposium. We invite you to contribute to this wiki as well. <br /> <br /> === TFPIE workshops ===<br /> We plan to organize the TFPIE workshops annually. These workshops are an informal meeting intended for researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshops will foster a spirit of open discussion by having a review process for publication after the workshop.<br /> <br /> ==== [[TFPIE2012]] ====<br /> The first TFPIE workshop, University of St. Andrews, Scotland, June 11th 2012. <br /> <br /> ==== [[TFPIE2013]] ====<br /> The second TFPIE workshop, Brigham Young University, Provo, Utah, USA, May 13 2013.<br /> <br /> ==== [[TFPIE2014]] ====<br /> The third TFPIE workshop, Soesterberg at 'Kontakt der Kontinenten', The Netherlands, May 25 2014.<br /> <br /> ==== [[TFPIE2015]] ====<br /> The fourth TFPIE workshop, Sophia-Antipolis, France, June 2, 2015.<br /> <br /> ==== [[TFPIE2016]] ====<br /> The fifth TFPIE workshop, University of Maryland College Park, USA, June 7, 2016.<br /> <br /> ==== [[TFPIE2017]] ====<br /> The sixth TFPIE workshop, University of Kent, UK, June 22, 2017.<br /> <br /> ==== [[TFPIE2018]] ====<br /> The seventh TFPIE workshop, Chalmers University, Sweden, June 14, 2018.<br /> <br /> ==== [[TFPIE2019]] ====<br /> The eighth TFPIE workshop, University of British Columbia, CA, June 11, 2019.<br /> For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html the current home page of TFPIE 2019].<br /> <br /> ==== [[TFPIE2020]] ====<br /> The ninth TFPIE workshop, Krakow, Poland, February 12, 2020.<br /> For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html the current home page of TFPIE 2020].<br /> <br /> ==== [[TFPIE2021]] ====<br /> The tenth TFPIE workshop, February 16, 2021. It is organized in collaboration with Lambda Days and TFP. Due to covid, the event is online.<br /> <br /> ==== [[TFPIE2022]] ====<br /> The eleventh TFPIE workshop March 16th 2022 online due to COVID. It is organized in collaboration with Lambda Days and TFP.<br /> <br /> ==== [[TFPIE2023]] ====<br /> The twelfth TFPIE workshop, January 12th 2023 in Boston, Massachusetts, USA in conjunction with [https://popl23.sigplan.org/ POPL 2023 and TFP]<br /> <br /> ==== [[TFPIE2024]] ====<br /> The thirteenth TFPIE workshop, January 9th 2024 in South Orange, New Jersey, USA (Seton Hall University) in conjunction with [https://trendsfp.github.io/ TFP 2024]<br /> <br /> ==== [[TFPIE2025]] ====<br /> The fourteenth TFPIE workshop, January 13th 2025 in Oxford, UK (Oxford University) in conjunction with [https://trendsfp.github.io/ TFP 2025]<br /> <br /> ==== [[TFPIE2026]] ====<br /> The fifteenth TFPIE workshop, January 263th 2025 in Odense, Denmark (University of Southern Denmark) in conjunction with [https://trendsfp.github.io/ TFP 2026]</div>

MartLubbers