https://wiki.tfpie.science.ru.nl/api.php?action=feedcontributions&feedformat=atom&user=RoseBohrer 2026-05-01T23:56:07Z User contributions MediaWiki 1.43.0 https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=507 2025-02-17T15:11:12Z

<p>RoseBohrer: /* The Programme Committee */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 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 /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: December 12, 2024 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 17, 2024<br /> * TFPIE Registration Deadline: December 18, 2024 (early), January 6th, 2025 (final)<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: February 28, 2025<br /> * Notification of full article: April 10, 2025<br /> * Camera ready: May 8, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Institute of Science Tokyo, Tokyo, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> * [https://continuation.passing.style/ ''Guannan Wei''] - INRIA and ENS Paris, Paris, France<br /> * [https://zsv.web.elte.hu/ ''Viktoria Zsok''] - Eötvös Loránd University, Budapest, Hungary<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 /> [https://easychair.org/conferences/?conf=tfpie2025 ''https://easychair.org/conferences/?conf=tfpie2025'']<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 /> Speaker: Nicolas Wu, Imperial College London<br /> <br /> Title: Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds<br /> <br /> Abstract: Computer science is rich in its applications, from the beautiful patterns found in fractals to the stragic problem-solving of graph algorithms. In this talk, we look at how coursework built around fractals and graphs has been used to help students understand core computer science material while keeping them inspired and engaged.<br /> <br /> Nicolas Wu is a Reader of Computing at Imperial College London, where he leads the Functional Programming research group. His research focuses on programming languages, particularly the application of category theory to program semantics and algorithms. His recent work explores connections between domain-specific languages, algebraic effect handlers, and recursion schemes.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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.<br /> <br /> == Programme ==<br /> Session 1 (chair: Rose Bohrer)<br /> [[9:00-10:00]] Keynote: '''Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds''' ''Nicolas Wu'' - Imperial College London<br /> <br /> [[10:00-10:35]] '''Teaching introductory functional programming using Haskelite''' ''Pedro Vasconcelos and Rodrigo Marques'' - University of Porto, Portugal<br /> <br /> [[10:35-11:05]] Coffee<br /> <br /> Session 2 (chair: Mart Lubbers)<br /> [[11:05-11:40]] '''A Design Recipe and Recipe-Based Errors for Regular Expressions''' ''Marco T. Morazan, Josephine Des Rosiers, Shamil Dzhatdoyev, Tijana Minić, Andrés M. Garced and David Anthony K. Fields'' - Seton Hall University, South Orange, New Jersey, USA <br /> <br /> [[11:40-12:15]] '''Design Support for Multitape Turing Machines''' ''Marco T. Morazan, Oliwia Kempinski and Andres Garced'' - Seton Hall University, South Orange, New Jersey, USA<br /> <br /> [[12:15-14:10]] Lunch<br /> <br /> Session 3 (chair: Alex Gerdes)<br /> <br /> [[14:10-14:45]] '''Using Tail Recursion, Big Integers, and Memoization to Implement a Scalable Fibonacci Sequence Function in OCaml''' ''Chang Liu'' - Ohio University, Athens, Ohio, USA<br /> <br /> [[14:45-15:20]] '''Visual Execution and Validation of Finite-State Machines and Pushdown Automata''' ''Marco T. Morazan, David Anthony K. Fields, Andres Garced and Tijana Minić'' - Seton Hall University, South Orange, New Jersey, USA<br /> <br /> [[15:20-15:50]] Tea<br /> <br /> Session 4 (chair: Marco Morazan)<br /> <br /> [[15:50-16:25]] '''alea iacta est: A Declarative Domain-Specific Language for Manually Performable Random Experiments''' ''Baltasar Trancón Y Widemann and Markus Lepper'' - Brandenburg University of Applied Sciences, Germany<br /> <br /> [[16:25-17:00]] '''Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts''' ''Oliver Westphal'' - Universität Duisburg-Essen, Germany<br /> <br /> == Travel Authorization ==<br /> Starting January 8th, all non-Europeans need an [https://homeofficemedia.blog.gov.uk/electronic-travel-authorisation-eta-factsheet-november-2024/ ''Electronic Travel Authorization''] to enter the UK.</div>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=506 2025-01-07T18:35:21Z

<p>RoseBohrer: /* Programme */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 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 /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: December 12, 2024 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 17, 2024<br /> * TFPIE Registration Deadline: December 18, 2024 (early), January 6th, 2025 (final)<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: February 28, 2025<br /> * Notification of full article: April 10, 2025<br /> * Camera ready: May 8, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Institute of Science Tokyo, Tokyo, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> * [https://continuation.passing.style/ ''Guannan Wei''] - INRIA and ENS Paris, Paris, France<br /> * [https://zsv.web.elte.hu/ ''Viktoria Zsok''] - Eötvös Loránd University, Budapest, Hungary<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 /> [https://easychair.org/conferences/?conf=tfpie2025 ''https://easychair.org/conferences/?conf=tfpie2025'']<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 /> Speaker: Nicolas Wu, Imperial College London<br /> <br /> Title: Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds<br /> <br /> Abstract: Computer science is rich in its applications, from the beautiful patterns found in fractals to the stragic problem-solving of graph algorithms. In this talk, we look at how coursework built around fractals and graphs has been used to help students understand core computer science material while keeping them inspired and engaged.<br /> <br /> Nicolas Wu is a Reader of Computing at Imperial College London, where he leads the Functional Programming research group. His research focuses on programming languages, particularly the application of category theory to program semantics and algorithms. His recent work explores connections between domain-specific languages, algebraic effect handlers, and recursion schemes.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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.<br /> <br /> == Programme ==<br /> Session 1 (chair: Rose Bohrer)<br /> [[9:00-10:00]] Keynote: '''Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds''' ''Nicolas Wu'' - Imperial College London<br /> <br /> [[10:00-10:35]] '''Teaching introductory functional programming using Haskelite''' ''Pedro Vasconcelos and Rodrigo Marques'' - University of Porto, Portugal<br /> <br /> [[10:35-11:05]] Coffee<br /> <br /> Session 2 (chair: Mart Lubbers)<br /> [[11:05-11:40]] '''A Design Recipe and Recipe-Based Errors for Regular Expressions''' ''Marco T. Morazan, Josephine Des Rosiers, Shamil Dzhatdoyev, Tijana Minić, Andrés M. Garced and David Anthony K. Fields'' - Seton Hall University, South Orange, New Jersey, USA <br /> <br /> [[11:40-12:15]] '''Design Support for Multitape Turing Machines''' ''Marco T. Morazan, Oliwia Kempinski and Andres Garced'' - Seton Hall University, South Orange, New Jersey, USA<br /> <br /> [[12:15-14:10]] Lunch<br /> <br /> Session 3 (chair: Alex Gerdes)<br /> <br /> [[14:10-14:45]] '''Using Tail Recursion, Big Integers, and Memoization to Implement a Scalable Fibonacci Sequence Function in OCaml''' ''Chang Liu'' - Ohio University, Athens, Ohio, USA<br /> <br /> [[14:45-15:20]] '''Visual Execution and Validation of Finite-State Machines and Pushdown Automata''' ''Marco T. Morazan, David Anthony K. Fields, Andres Garced and Tijana Minić'' - Seton Hall University, South Orange, New Jersey, USA<br /> <br /> [[15:20-15:50]] Tea<br /> <br /> Session 4 (chair: Marco Morazan)<br /> <br /> [[15:50-16:25]] '''alea iacta est: A Declarative Domain-Specific Language for Manually Performable Random Experiments''' ''Baltasar Trancón Y Widemann and Markus Lepper'' - Brandenburg University of Applied Sciences, Germany<br /> <br /> [[16:25-17:00]] '''Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts''' ''Oliver Westphal'' - Universität Duisburg-Essen, Germany<br /> <br /> == Travel Authorization ==<br /> Starting January 8th, all non-Europeans need an [https://homeofficemedia.blog.gov.uk/electronic-travel-authorisation-eta-factsheet-november-2024/ ''Electronic Travel Authorization''] to enter the UK.</div>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=505 2024-12-30T15:59:04Z

<p>RoseBohrer: /* Programme */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 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 /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: December 12, 2024 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 17, 2024<br /> * TFPIE Registration Deadline: December 18, 2024 (early), January 6th, 2025 (final)<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: February 28, 2025<br /> * Notification of full article: April 10, 2025<br /> * Camera ready: May 8, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Institute of Science Tokyo, Tokyo, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> * [https://continuation.passing.style/ ''Guannan Wei''] - INRIA and ENS Paris, Paris, France<br /> * [https://zsv.web.elte.hu/ ''Viktoria Zsok''] - Eötvös Loránd University, Budapest, Hungary<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 /> [https://easychair.org/conferences/?conf=tfpie2025 ''https://easychair.org/conferences/?conf=tfpie2025'']<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 /> Speaker: Nicolas Wu, Imperial College London<br /> <br /> Title: Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds<br /> <br /> Abstract: Computer science is rich in its applications, from the beautiful patterns found in fractals to the stragic problem-solving of graph algorithms. In this talk, we look at how coursework built around fractals and graphs has been used to help students understand core computer science material while keeping them inspired and engaged.<br /> <br /> Nicolas Wu is a Reader of Computing at Imperial College London, where he leads the Functional Programming research group. His research focuses on programming languages, particularly the application of category theory to program semantics and algorithms. His recent work explores connections between domain-specific languages, algebraic effect handlers, and recursion schemes.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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.<br /> <br /> == Programme ==<br /> [[9:00-10:00]] Keynote: '''Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds''' ''Nicolas Wu'' - Imperial College London<br /> <br /> [[10:00-10:35]] '''Teaching introductory functional programming using Haskelite''' ''Pedro Vasconcelos and Rodrigo Marques'' - University of Porto, Portugal<br /> <br /> [[10:35-11:05]] Coffee<br /> <br /> [[11:05-11:40]] '''A Design Recipe and Recipe-Based Errors for Regular Expressions''' ''Marco T. Morazan, Josephine Des Rosiers, Shamil Dzhatdoyev, Tijana Minić, Andrés M. Garced and David Anthony K. Fields'' - Seton Hall University, South Orange, New Jersey, USA <br /> <br /> [[11:40-12:15]] '''Design Support for Multitape Turing Machines''' ''Marco T. Morazan, Oliwia Kempinski and Andres Garced'' - Seton Hall University, South Orange, New Jersey, USA<br /> <br /> [[12:15-14:10]] Lunch<br /> <br /> [[14:10-14:45]] '''Using Tail Recursion, Big Integers, and Memoization to Implement a Scalable Fibonacci Sequence Function in OCaml''' ''Chang Liu'' - Ohio University, Athens, Ohio, USA<br /> <br /> [[14:45-15:20]] '''Visual Execution and Validation of Finite-State Machines and Pushdown Automata''' ''Marco T. Morazan, David Anthony K. Fields, Andres Garced and Tijana Minić'' - Seton Hall University, South Orange, New Jersey, USA<br /> <br /> [[15:20-15:50]] Tea<br /> <br /> [[15:50-16:25]] '''alea iacta est: A Declarative Domain-Specific Language for Manually Performable Random Experiments''' ''Baltasar Trancón Y Widemann and Markus Lepper'' - Brandenburg University of Applied Sciences, Germany<br /> <br /> [[16:25-17:00]] '''Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts''' ''Oliver Westphal'' - Universität Duisburg-Essen, Germany<br /> <br /> == Travel Authorization ==<br /> Starting January 8th, all non-Europeans need an [https://homeofficemedia.blog.gov.uk/electronic-travel-authorisation-eta-factsheet-november-2024/ ''Electronic Travel Authorization''] to enter the UK.</div>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=504 2024-12-30T15:33:25Z

<p>RoseBohrer: /* Programme */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 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 /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: December 12, 2024 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 17, 2024<br /> * TFPIE Registration Deadline: December 18, 2024 (early), January 6th, 2025 (final)<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: February 28, 2025<br /> * Notification of full article: April 10, 2025<br /> * Camera ready: May 8, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Institute of Science Tokyo, Tokyo, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> * [https://continuation.passing.style/ ''Guannan Wei''] - INRIA and ENS Paris, Paris, France<br /> * [https://zsv.web.elte.hu/ ''Viktoria Zsok''] - Eötvös Loránd University, Budapest, Hungary<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 /> [https://easychair.org/conferences/?conf=tfpie2025 ''https://easychair.org/conferences/?conf=tfpie2025'']<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 /> Speaker: Nicolas Wu, Imperial College London<br /> <br /> Title: Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds<br /> <br /> Abstract: Computer science is rich in its applications, from the beautiful patterns found in fractals to the stragic problem-solving of graph algorithms. In this talk, we look at how coursework built around fractals and graphs has been used to help students understand core computer science material while keeping them inspired and engaged.<br /> <br /> Nicolas Wu is a Reader of Computing at Imperial College London, where he leads the Functional Programming research group. His research focuses on programming languages, particularly the application of category theory to program semantics and algorithms. His recent work explores connections between domain-specific languages, algebraic effect handlers, and recursion schemes.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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.<br /> <br /> == Programme ==<br /> [[9:00-10:00]] Keynote: '''Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds''' ''Nicolas Wu'' - Imperial College London<br /> <br /> [[10:00-10:35]] '''Teaching introductory functional programming using Haskelite''' ''Pedro Vasconcelos and Rodrigo Marques'' - University of Porto, Portugal<br /> <br /> [[10:35-11:05]] Coffee<br /> <br /> [[11:05-11:40]] '''A Design Recipe and Recipe-Based Errors for Regular Expressions''' ''Marco T. Morazan, Josephine Des Rosiers, Shamil Dzhatdoyev, Tijana Minić, Andrés M. Garced and David Anthony K. Fields'' - Seton Hall University, South Orange, New Jersey, USA <br /> <br /> [[11:40-12:15]]'''Design Support for Multitape Turing Machines''' ''Marco T. Morazan, Oliwia Kempinski and Andres Garced'' - Seton Hall University, South Orange, New Jersey, USA<br /> <br /> [[12:15-14:10]] Lunch<br /> <br /> [[14:10-14:45]] '''Using Tail Recursion, Big Integers, and Memoization to Implement a Scalable Fibonacci Sequence Function in OCaml''' ''Chang Liu'' - Ohio University, Athens, Ohio, USA<br /> <br /> [[14:45-15:20]]'''Visual Execution and Validation of Finite-State Machines and Pushdown Automata''' ''Marco T. Morazan, David Anthony K. Fields, Andres Garced and Tijana Minić'' - Seton Hall University, South Orange, New Jersey, USA<br /> <br /> [[15:20-15:50]] Tea<br /> <br /> [[15:50-16:25]] '''alea iacta est: A Declarative Domain-Specific Language for Manually Performable Random Experiments''' ''Baltasar Trancón Y Widemann and Markus Lepper'' - Brandenburg University of Applied Sciences, Germany<br /> <br /> [[16:25-17:00]]'''Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts''' ''Oliver Westphal'' - Universität Duisburg-Essen, Germany<br /> <br /> == Travel Authorization ==<br /> Starting January 8th, all non-Europeans need an [https://homeofficemedia.blog.gov.uk/electronic-travel-authorisation-eta-factsheet-november-2024/ ''Electronic Travel Authorization''] to enter the UK.</div>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=503 2024-12-30T15:31:51Z

<p>RoseBohrer: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 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 /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: December 12, 2024 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 17, 2024<br /> * TFPIE Registration Deadline: December 18, 2024 (early), January 6th, 2025 (final)<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: February 28, 2025<br /> * Notification of full article: April 10, 2025<br /> * Camera ready: May 8, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Institute of Science Tokyo, Tokyo, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> * [https://continuation.passing.style/ ''Guannan Wei''] - INRIA and ENS Paris, Paris, France<br /> * [https://zsv.web.elte.hu/ ''Viktoria Zsok''] - Eötvös Loránd University, Budapest, Hungary<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 /> [https://easychair.org/conferences/?conf=tfpie2025 ''https://easychair.org/conferences/?conf=tfpie2025'']<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 /> Speaker: Nicolas Wu, Imperial College London<br /> <br /> Title: Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds<br /> <br /> Abstract: Computer science is rich in its applications, from the beautiful patterns found in fractals to the stragic problem-solving of graph algorithms. In this talk, we look at how coursework built around fractals and graphs has been used to help students understand core computer science material while keeping them inspired and engaged.<br /> <br /> Nicolas Wu is a Reader of Computing at Imperial College London, where he leads the Functional Programming research group. His research focuses on programming languages, particularly the application of category theory to program semantics and algorithms. His recent work explores connections between domain-specific languages, algebraic effect handlers, and recursion schemes.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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.<br /> <br /> == Programme ==<br /> [[9:00-10:00]] Keynote: '''Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds''' ''Nicolas Wu'' - Imperial College London<br /> <br /> [[10:00-10:35]] '''Teaching introductory functional programming using Haskelite''' ''Pedro Vasconcelos and Rodrigo Marques'' - University of Porto, Portugal<br /> <br /> [[10:35-11:05]] Coffee<br /> <br /> [[11:05-12:15]] '''A Design Recipe and Recipe-Based Errors for Regular Expressions''' ''Marco T. Morazan, Josephine Des Rosiers, Shamil Dzhatdoyev, Tijana Minić, Andrés M. Garced and David Anthony K. Fields'' - Seton Hall University, South Orange, New Jersey, USA <br /> <br /> '''Design Support for Multitape Turing Machines''' ''Marco T. Morazan, Oliwia Kempinski and Andres Garced'' - Seton Hall University, South Orange, New Jersey, USA<br /> <br /> [[12:15-14:10]] Lunch<br /> <br /> [[14:10-15:20]] '''Using Tail Recursion, Big Integers, and Memoization to Implement a Scalable Fibonacci Sequence Function in OCaml''' ''Chang Liu'' - Ohio University, Athens, Ohio, USA<br /> <br /> '''Visual Execution and Validation of Finite-State Machines and Pushdown Automata''' ''Marco T. Morazan, David Anthony K. Fields, Andres Garced and Tijana Minić'' - Seton Hall University, South Orange, New Jersey, USA<br /> <br /> [[15:20-15:50]] Tea<br /> <br /> [[15:50-17:00]] '''alea iacta est: A Declarative Domain-Specific Language for Manually Performable Random Experiments''' ''Baltasar Trancón Y Widemann and Markus Lepper'' - Brandenburg University of Applied Sciences, Germany<br /> <br /> '''Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts''' ''Oliver Westphal'' - Universität Duisburg-Essen, Germany<br /> <br /> <br /> <br /> == Travel Authorization ==<br /> Starting January 8th, all non-Europeans need an [https://homeofficemedia.blog.gov.uk/electronic-travel-authorisation-eta-factsheet-november-2024/ ''Electronic Travel Authorization''] to enter the UK.</div>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=502 2024-12-11T18:59:15Z

<p>RoseBohrer: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 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 /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: December 12, 2024 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 17, 2024<br /> * TFPIE Registration Deadline: December 18, 2024 (early), January 6th, 2025 (final)<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: February 28, 2025<br /> * Notification of full article: April 10, 2025<br /> * Camera ready: May 8, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Institute of Science Tokyo, Tokyo, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> * [https://continuation.passing.style/ ''Guannan Wei''] - INRIA and ENS Paris, Paris, France<br /> * [https://zsv.web.elte.hu/ ''Viktoria Zsok''] - Eötvös Loránd University, Budapest, Hungary<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 /> [https://easychair.org/conferences/?conf=tfpie2025 ''https://easychair.org/conferences/?conf=tfpie2025'']<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 /> Speaker: Nicolas Wu, Imperial College London<br /> <br /> Title: Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds<br /> <br /> Abstract: Computer science is rich in its applications, from the beautiful patterns found in fractals to the stragic problem-solving of graph algorithms. In this talk, we look at how coursework built around fractals and graphs has been used to help students understand core computer science material while keeping them inspired and engaged.<br /> <br /> Nicolas Wu is a Reader of Computing at Imperial College London, where he leads the Functional Programming research group. His research focuses on programming languages, particularly the application of category theory to program semantics and algorithms. His recent work explores connections between domain-specific languages, algebraic effect handlers, and recursion schemes.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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.<br /> <br /> == Travel Authorization ==<br /> Starting January 8th, all non-Europeans need an [https://homeofficemedia.blog.gov.uk/electronic-travel-authorisation-eta-factsheet-november-2024/ ''Electronic Travel Authorization''] to enter the UK.</div>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=501 2024-12-03T21:02:16Z

<p>RoseBohrer: /* The Programme Committee */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 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 /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: December 12, 2024 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 17, 2024<br /> * TFPIE Registration Deadline: December 18, 2024 (early), January 6th, 2025 (final)<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: February 28, 2025<br /> * Notification of full article: April 10, 2025<br /> * Camera ready: May 8, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Institute of Science Tokyo, Tokyo, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> * [https://continuation.passing.style/ ''Guannan Wei''] - INRIA and ENS Paris, Paris, France<br /> * [https://zsv.web.elte.hu/ ''Viktoria Zsok''] - Eötvös Loránd University, Budapest, Hungary<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 /> [https://easychair.org/conferences/?conf=tfpie2025 ''https://easychair.org/conferences/?conf=tfpie2025'']<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 /> Speaker: Nicolas Wu, Imperial College London<br /> <br /> Title: Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds<br /> <br /> Abstract: Computer science is rich in its applications, from the beautiful patterns found in fractals to the stragic problem-solving of graph algorithms. In this talk, we look at how coursework built around fractals and graphs has been used to help students understand core computer science material while keeping them inspired and engaged.<br /> <br /> Nicolas Wu is a Reader of Computing at Imperial College London, where he leads the Functional Programming research group. His research focuses on programming languages, particularly the application of category theory to program semantics and algorithms. His recent work explores connections between domain-specific languages, algebraic effect handlers, and recursion schemes.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=500 2024-11-26T18:34:51Z

<p>RoseBohrer: /* The Programme Committee */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 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 /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: December 12, 2024 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 17, 2024<br /> * TFPIE Registration Deadline: December 18, 2024 (early), January 6th, 2025 (final)<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: February 28, 2025<br /> * Notification of full article: April 10, 2025<br /> * Camera ready: May 8, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Institute of Science Tokyo, Tokyo, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> * [https://continuation.passing.style/ ''Guannan Wei''] - INRIA and ENS Paris, Paris, France<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 /> [https://easychair.org/conferences/?conf=tfpie2025 ''https://easychair.org/conferences/?conf=tfpie2025'']<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 /> Speaker: Nicolas Wu, Imperial College London<br /> <br /> Title: Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds<br /> <br /> Abstract: Computer science is rich in its applications, from the beautiful patterns found in fractals to the stragic problem-solving of graph algorithms. In this talk, we look at how coursework built around fractals and graphs has been used to help students understand core computer science material while keeping them inspired and engaged.<br /> <br /> Nicolas Wu is a Reader of Computing at Imperial College London, where he leads the Functional Programming research group. His research focuses on programming languages, particularly the application of category theory to program semantics and algorithms. His recent work explores connections between domain-specific languages, algebraic effect handlers, and recursion schemes.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=499 2024-11-15T20:20:40Z

<p>RoseBohrer: /* How To Submit */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 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 /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: December 12, 2024 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 17, 2024<br /> * TFPIE Registration Deadline: December 18, 2024 (early), January 6th, 2025 (final)<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: February 28, 2025<br /> * Notification of full article: April 10, 2025<br /> * Camera ready: May 8, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> * [https://continuation.passing.style/ ''Guannan Wei''] - INRIA and ENS Paris, Paris, France<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 /> [https://easychair.org/conferences/?conf=tfpie2025 ''https://easychair.org/conferences/?conf=tfpie2025'']<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 /> Speaker: Nicolas Wu, Imperial College London<br /> <br /> Title: Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds<br /> <br /> Abstract: Computer science is rich in its applications, from the beautiful patterns found in fractals to the stragic problem-solving of graph algorithms. In this talk, we look at how coursework built around fractals and graphs has been used to help students understand core computer science material while keeping them inspired and engaged.<br /> <br /> Nicolas Wu is a Reader of Computing at Imperial College London, where he leads the Functional Programming research group. His research focuses on programming languages, particularly the application of category theory to program semantics and algorithms. His recent work explores connections between domain-specific languages, algebraic effect handlers, and recursion schemes.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=498 2024-11-14T15:37:51Z

<p>RoseBohrer: /* How To Submit */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 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 /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: December 12, 2024 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 17, 2024<br /> * TFPIE Registration Deadline: December 18, 2024 (early), January 6th, 2025 (final)<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: February 28, 2025<br /> * Notification of full article: April 10, 2025<br /> * Camera ready: May 8, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> * [https://continuation.passing.style/ ''Guannan Wei''] - INRIA and ENS Paris, Paris, France<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: [https://easychair.org/conferences/?conf=tfpie25 ''https://easychair.org/conferences/?conf=tfpie25'']<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 /> Speaker: Nicolas Wu, Imperial College London<br /> <br /> Title: Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds<br /> <br /> Abstract: Computer science is rich in its applications, from the beautiful patterns found in fractals to the stragic problem-solving of graph algorithms. In this talk, we look at how coursework built around fractals and graphs has been used to help students understand core computer science material while keeping them inspired and engaged.<br /> <br /> Nicolas Wu is a Reader of Computing at Imperial College London, where he leads the Functional Programming research group. His research focuses on programming languages, particularly the application of category theory to program semantics and algorithms. His recent work explores connections between domain-specific languages, algebraic effect handlers, and recursion schemes.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=497 2024-11-14T15:33:36Z

<p>RoseBohrer: /* Topics */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 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 /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: December 12, 2024 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 17, 2024<br /> * TFPIE Registration Deadline: December 18, 2024 (early), January 6th, 2025 (final)<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: February 28, 2025<br /> * Notification of full article: April 10, 2025<br /> * Camera ready: May 8, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> * [https://continuation.passing.style/ ''Guannan Wei''] - INRIA and ENS Paris, Paris, France<br /> <br /> == How To Submit ==<br /> Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via EasyChair: [https://easychair.org/conferences/?conf=tfpie25 ''https://easychair.org/conferences/?conf=tfpie25'']<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 /> == Invited Keynote ==<br /> Speaker: Nicolas Wu, Imperial College London<br /> <br /> Title: Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds<br /> <br /> Abstract: Computer science is rich in its applications, from the beautiful patterns found in fractals to the stragic problem-solving of graph algorithms. In this talk, we look at how coursework built around fractals and graphs has been used to help students understand core computer science material while keeping them inspired and engaged.<br /> <br /> Nicolas Wu is a Reader of Computing at Imperial College London, where he leads the Functional Programming research group. His research focuses on programming languages, particularly the application of category theory to program semantics and algorithms. His recent work explores connections between domain-specific languages, algebraic effect handlers, and recursion schemes.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=496 2024-11-14T15:26:09Z

<p>RoseBohrer: /* Important Dates */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:<br /> <br /> * FP and beginning CS students<br /> * FP and Computational Thinking<br /> * FP and Artificial Intelligence<br /> * FP in Robotics<br /> * FP and Music<br /> * Advanced FP for undergraduates<br /> * FP in graduate education<br /> * Engaging students in research using FP<br /> * FP in Programming Languages<br /> * FP in the high school curriculum<br /> * FP as a stepping stone to other CS topics<br /> * FP and Philosophy<br /> * The pedagogy of teaching FP<br /> * FP and e-learning: MOOCs, automated assessment etc.<br /> * Best Lectures more details below<br /> <br /> In addition to papers, we are requesting best lecture presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.<br /> <br /> == Important Dates == <br /> <br /> <br /> * All deadlines are Anywhere-on-Earth<br /> * Submission deadline: December 12, 2024 (rolling, earlier submissions may receive earlier responses)<br /> * Notification deadline: December 17, 2024<br /> * TFPIE Registration Deadline: December 18, 2024 (early), January 6th, 2025 (final)<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: February 28, 2025<br /> * Notification of full article: April 10, 2025<br /> * Camera ready: May 8, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> * [https://continuation.passing.style/ ''Guannan Wei''] - INRIA and ENS Paris, Paris, France<br /> <br /> == How To Submit ==<br /> Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via EasyChair: [https://easychair.org/conferences/?conf=tfpie25 ''https://easychair.org/conferences/?conf=tfpie25'']<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 /> == Invited Keynote ==<br /> Speaker: Nicolas Wu, Imperial College London<br /> <br /> Title: Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds<br /> <br /> Abstract: Computer science is rich in its applications, from the beautiful patterns found in fractals to the stragic problem-solving of graph algorithms. In this talk, we look at how coursework built around fractals and graphs has been used to help students understand core computer science material while keeping them inspired and engaged.<br /> <br /> Nicolas Wu is a Reader of Computing at Imperial College London, where he leads the Functional Programming research group. His research focuses on programming languages, particularly the application of category theory to program semantics and algorithms. His recent work explores connections between domain-specific languages, algebraic effect handlers, and recursion schemes.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=495 2024-11-14T15:07:29Z

<p>RoseBohrer: /* Invited Keynote */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:<br /> <br /> * FP and beginning CS students<br /> * FP and Computational Thinking<br /> * FP and Artificial Intelligence<br /> * FP in Robotics<br /> * FP and Music<br /> * Advanced FP for undergraduates<br /> * FP in graduate education<br /> * Engaging students in research using FP<br /> * FP in Programming Languages<br /> * FP in the high school curriculum<br /> * FP as a stepping stone to other CS topics<br /> * FP and Philosophy<br /> * The pedagogy of teaching FP<br /> * FP and e-learning: MOOCs, automated assessment etc.<br /> * Best Lectures more details below<br /> <br /> In addition to papers, we are requesting best lecture presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.<br /> <br /> == Important Dates == <br /> <br /> <br /> * Submission deadline: TBA, approx. December 2024<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: TBA, approx. February 2025<br /> * Notification of full article: TBA, approx. April, 2025<br /> * Camera ready: TBA, approx. May, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> * [https://continuation.passing.style/ ''Guannan Wei''] - INRIA and ENS Paris, Paris, France<br /> <br /> == How To Submit ==<br /> Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via EasyChair: [https://easychair.org/conferences/?conf=tfpie25 ''https://easychair.org/conferences/?conf=tfpie25'']<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 /> == Invited Keynote ==<br /> Speaker: Nicolas Wu, Imperial College London<br /> <br /> Title: Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds<br /> <br /> Abstract: Computer science is rich in its applications, from the beautiful patterns found in fractals to the stragic problem-solving of graph algorithms. In this talk, we look at how coursework built around fractals and graphs has been used to help students understand core computer science material while keeping them inspired and engaged.<br /> <br /> Nicolas Wu is a Reader of Computing at Imperial College London, where he leads the Functional Programming research group. His research focuses on programming languages, particularly the application of category theory to program semantics and algorithms. His recent work explores connections between domain-specific languages, algebraic effect handlers, and recursion schemes.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=494 2024-11-14T15:07:13Z

<p>RoseBohrer: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:<br /> <br /> * FP and beginning CS students<br /> * FP and Computational Thinking<br /> * FP and Artificial Intelligence<br /> * FP in Robotics<br /> * FP and Music<br /> * Advanced FP for undergraduates<br /> * FP in graduate education<br /> * Engaging students in research using FP<br /> * FP in Programming Languages<br /> * FP in the high school curriculum<br /> * FP as a stepping stone to other CS topics<br /> * FP and Philosophy<br /> * The pedagogy of teaching FP<br /> * FP and e-learning: MOOCs, automated assessment etc.<br /> * Best Lectures more details below<br /> <br /> In addition to papers, we are requesting best lecture presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.<br /> <br /> == Important Dates == <br /> <br /> <br /> * Submission deadline: TBA, approx. December 2024<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: TBA, approx. February 2025<br /> * Notification of full article: TBA, approx. April, 2025<br /> * Camera ready: TBA, approx. May, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> * [https://continuation.passing.style/ ''Guannan Wei''] - INRIA and ENS Paris, Paris, France<br /> <br /> == How To Submit ==<br /> Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via EasyChair: [https://easychair.org/conferences/?conf=tfpie25 ''https://easychair.org/conferences/?conf=tfpie25'']<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 /> == Invited Keynote ==<br /> Speaker: Nicolas Wu, Imperial College London<br /> Title: Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds<br /> <br /> Abstract: Computer science is rich in its applications, from the beautiful patterns found in fractals to the stragic problem-solving of graph algorithms. In this talk, we look at how coursework built around fractals and graphs has been used to help students understand core computer science material while keeping them inspired and engaged.<br /> <br /> Nicolas Wu is a Reader of Computing at Imperial College London, where he leads the Functional Programming research group. His research focuses on programming languages, particularly the application of category theory to program semantics and algorithms. His recent work explores connections between domain-specific languages, algebraic effect handlers, and recursion schemes.<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=493 2024-10-18T13:43:50Z

<p>RoseBohrer: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:<br /> <br /> * FP and beginning CS students<br /> * FP and Computational Thinking<br /> * FP and Artificial Intelligence<br /> * FP in Robotics<br /> * FP and Music<br /> * Advanced FP for undergraduates<br /> * FP in graduate education<br /> * Engaging students in research using FP<br /> * FP in Programming Languages<br /> * FP in the high school curriculum<br /> * FP as a stepping stone to other CS topics<br /> * FP and Philosophy<br /> * The pedagogy of teaching FP<br /> * FP and e-learning: MOOCs, automated assessment etc.<br /> * Best Lectures more details below<br /> <br /> In addition to papers, we are requesting best lecture presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.<br /> <br /> == Important Dates == <br /> <br /> <br /> * Submission deadline: TBA, approx. December 2024<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: TBA, approx. February 2025<br /> * Notification of full article: TBA, approx. April, 2025<br /> * Camera ready: TBA, approx. May, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> * [https://continuation.passing.style/ ''Guannan Wei''] - INRIA and ENS Paris, Paris, France<br /> <br /> == How To Submit ==<br /> Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via EasyChair: [https://easychair.org/conferences/?conf=tfpie25 ''https://easychair.org/conferences/?conf=tfpie25'']<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 /> == Invited Speaker ==<br /> Nicolas Wu, Imperial College London<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=492 2024-09-26T14:09:19Z

<p>RoseBohrer: /* Important Dates */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:<br /> <br /> * FP and beginning CS students<br /> * FP and Computational Thinking<br /> * FP and Artificial Intelligence<br /> * FP in Robotics<br /> * FP and Music<br /> * Advanced FP for undergraduates<br /> * FP in graduate education<br /> * Engaging students in research using FP<br /> * FP in Programming Languages<br /> * FP in the high school curriculum<br /> * FP as a stepping stone to other CS topics<br /> * FP and Philosophy<br /> * The pedagogy of teaching FP<br /> * FP and e-learning: MOOCs, automated assessment etc.<br /> * Best Lectures more details below<br /> <br /> In addition to papers, we are requesting best lecture presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.<br /> <br /> == Important Dates == <br /> <br /> <br /> * Submission deadline: TBA, approx. December 2024<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: TBA, approx. February 2025<br /> * Notification of full article: TBA, approx. April, 2025<br /> * Camera ready: TBA, approx. May, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> <br /> == How To Submit ==<br /> Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via EasyChair: [https://easychair.org/conferences/?conf=tfpie25 ''https://easychair.org/conferences/?conf=tfpie25'']<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 /> == Invited Speaker ==<br /> Nicolas Wu, Imperial College London<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=491 2024-07-17T20:50:47Z

<p>RoseBohrer: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:<br /> <br /> * FP and beginning CS students<br /> * FP and Computational Thinking<br /> * FP and Artificial Intelligence<br /> * FP in Robotics<br /> * FP and Music<br /> * Advanced FP for undergraduates<br /> * FP in graduate education<br /> * Engaging students in research using FP<br /> * FP in Programming Languages<br /> * FP in the high school curriculum<br /> * FP as a stepping stone to other CS topics<br /> * FP and Philosophy<br /> * The pedagogy of teaching FP<br /> * FP and e-learning: MOOCs, automated assessment etc.<br /> * Best Lectures more details below<br /> <br /> In addition to papers, we are requesting best lecture presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.<br /> <br /> == Important Dates == <br /> <br /> <br /> * Submission deadline: TBA, approx. December 2025<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: TBA, approx. February 2025<br /> * Notification of full article: TBA, approx. April, 2025<br /> * Camera ready: TBA, approx. May, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> * [https://www.cas.mcmaster.ca/~anand/ ''Christopher Anand''] - McMaster University, Hamilton, Canada<br /> <br /> == How To Submit ==<br /> Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via EasyChair: [https://easychair.org/conferences/?conf=tfpie25 ''https://easychair.org/conferences/?conf=tfpie25'']<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 /> == Invited Speaker ==<br /> Nicolas Wu, Imperial College London<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=490 2024-04-09T16:49:42Z

<p>RoseBohrer: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:<br /> <br /> * FP and beginning CS students<br /> * FP and Computational Thinking<br /> * FP and Artificial Intelligence<br /> * FP in Robotics<br /> * FP and Music<br /> * Advanced FP for undergraduates<br /> * FP in graduate education<br /> * Engaging students in research using FP<br /> * FP in Programming Languages<br /> * FP in the high school curriculum<br /> * FP as a stepping stone to other CS topics<br /> * FP and Philosophy<br /> * The pedagogy of teaching FP<br /> * FP and e-learning: MOOCs, automated assessment etc.<br /> * Best Lectures more details below<br /> <br /> In addition to papers, we are requesting best lecture presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.<br /> <br /> == Important Dates == <br /> <br /> <br /> * Submission deadline: TBA, approx. December 2025<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: TBA, approx. February 2025<br /> * Notification of full article: TBA, approx. April, 2025<br /> * Camera ready: TBA, approx. May, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://www.inf.elte.hu/en/staff/dr-melinda-toth ''Melinda Tóth''] - Eötvös Loránd University, Budapest, Hungary<br /> <br /> == How To Submit ==<br /> Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via EasyChair: [https://easychair.org/conferences/?conf=tfpie25 ''https://easychair.org/conferences/?conf=tfpie25'']<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 /> == Invited Speaker ==<br /> Nicolas Wu, Imperial College London<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=489 2024-04-04T15:30:57Z

<p>RoseBohrer: /* The Programme Committee */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:<br /> <br /> * FP and beginning CS students<br /> * FP and Computational Thinking<br /> * FP and Artificial Intelligence<br /> * FP in Robotics<br /> * FP and Music<br /> * Advanced FP for undergraduates<br /> * FP in graduate education<br /> * Engaging students in research using FP<br /> * FP in Programming Languages<br /> * FP in the high school curriculum<br /> * FP as a stepping stone to other CS topics<br /> * FP and Philosophy<br /> * The pedagogy of teaching FP<br /> * FP and e-learning: MOOCs, automated assessment etc.<br /> * Best Lectures more details below<br /> <br /> In addition to papers, we are requesting best lecture presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.<br /> <br /> == Important Dates == <br /> <br /> <br /> * Submission deadline: TBA, approx. December 2025<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: TBA, approx. February 2025<br /> * Notification of full article: TBA, approx. April, 2025<br /> * Camera ready: TBA, approx. May, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [https://users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> <br /> == How To Submit ==<br /> Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via EasyChair: [https://easychair.org/conferences/?conf=tfpie25 ''https://easychair.org/conferences/?conf=tfpie25'']<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 /> == Invited Speaker ==<br /> Nicolas Wu, Imperial College London<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=Main_Page&diff=488 2024-04-04T15:30:31Z

<p>RoseBohrer: /* TFPIE2024 */</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]</div>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=Main_Page&diff=487 2024-04-04T15:30:23Z

<p>RoseBohrer: /* TFPIE */</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 /> ==== [[TFPIE2024]] ====<br /> The fourteenth TFPIE workshop, January 13th 2025 in Oxford, UK (Oxford University) in conjunction with [https://trendsfp.github.io/ TFP 2025]</div>

RoseBohrer https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2025&diff=486 2024-04-04T15:29:20Z

<p>RoseBohrer: Create page</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> Welcome! The 2025 edition of Trends in Functional Programming in Education will be held '''on January 13th''' at Oxford University in the UK, together with TFP which will be held on January 14-16.<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 2025 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), and Seton Hall, NJ, USA (2024).<br /> <br /> == Topics ==<br /> TFPIE 2025 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:<br /> <br /> * FP and beginning CS students<br /> * FP and Computational Thinking<br /> * FP and Artificial Intelligence<br /> * FP in Robotics<br /> * FP and Music<br /> * Advanced FP for undergraduates<br /> * FP in graduate education<br /> * Engaging students in research using FP<br /> * FP in Programming Languages<br /> * FP in the high school curriculum<br /> * FP as a stepping stone to other CS topics<br /> * FP and Philosophy<br /> * The pedagogy of teaching FP<br /> * FP and e-learning: MOOCs, automated assessment etc.<br /> * Best Lectures more details below<br /> <br /> In addition to papers, we are requesting best lecture presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.<br /> <br /> == Important Dates == <br /> <br /> <br /> * Submission deadline: TBA, approx. December 2025<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 13th 2025<br /> * Submission for formal review: TBA, approx. February 2025<br /> * Notification of full article: TBA, approx. April, 2025<br /> * Camera ready: TBA, approx. May, 2025<br /> <br /> == The Programme Committee ==<br /> <br /> The Programme Committee for 2025 is still recruiting, you are welcome to contact the chair if you are interested in joining.<br /> <br /> * [users.wpi.edu/~rbohrer/ ''Rose Bohrer (Chair)''] - Worcester Polytechnic Institute, USA<br /> * [https://martlubbers.net/en/home.html ''Mart Lubbers''] - Radboud University Nijmegen, Netherlands<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> <br /> == How To Submit ==<br /> Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via EasyChair: [https://easychair.org/conferences/?conf=tfpie25 ''https://easychair.org/conferences/?conf=tfpie25'']<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 /> == Invited Speaker ==<br /> Nicolas Wu, Imperial College London<br /> <br /> == How To Register ==<br /> Registration includes attending both TFP and TFPIE and is done via TFP web page: [https://trendsfp.github.io/register.html https://trendsfp.github.io/register.html]<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>

RoseBohrer