https://wiki.tfpie.science.ru.nl/api.php?action=feedcontributions&feedformat=atom&user=StephenChang 2026-05-09T03:06:19Z User contributions MediaWiki 1.43.0 https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=485 2024-01-07T17:38:23Z

<p>StephenChang: /* Presentation session 1 (chair: Stephen Chang) */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: February 23, 2024, Anywhere on Earth.<br /> * Notification of full article: April 5, 2024<br /> * Camera ready: May 3, 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie24 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract<br /> <br /> This talk is an introduction to the joys of teaching and learning about compilers using the incremental approach. The talk provides a sneak-preview of a compiler course based on the new textbooks from MIT Press, ''Essentials of Compilation: An Incremental Approach in Racket/Python''. The course takes students on a journey through constructing their own compiler for a small but powerful language. The standard approach to describing and teaching compilers is to proceed one pass at a time, from the front to the back of the compiler. Unfortunately, that approach obfuscates how language features motivate design choices in a compiler. In this course we instead take an incremental approach in which we build a complete compiler every two weeks, starting with a small input language that includes only arithmetic and variables. We add new language features in subsequent iterations, extending the compiler as necessary. Students get immediate positive feedback as they see their compiler passing test cases and then learn important lessons regarding software engineering as they grow and refactor their compiler throughout the semester.<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University. Jeremy’s interests include programming language design, type systems, mechanized theorem proving, and compilers.<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 /> == Program (Tue Jan 9th 2024) ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place on the [https://www.shu.edu/visit/campus-map.cfm Seton Hall University] campus in [https://maps.app.goo.gl/gNG221xK6YEJp7y48 McNulty Hall Auditorium], Room 101.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.<br /> <br /> [[8:00 - 8:55]] Breakfast<br /> <br /> [[8:55 - 9:00]] Welcome (Stephen Chang)<br /> <br /> ==== Keynote (chair: Stephen Chang) ====<br /> <br /> [[9:00 - 10:00]] [https://wphomes.soic.indiana.edu/jsiek/ Jeremy Siek] '''Essentials of Compilation''' (remote)<br /> <br /> [[10:00 - 10:30]] Coffee Break<br /> <br /> ==== Presentation session 1 (chair: Stephen Chang) ====<br /> <br /> [[10:30 - 11:00]] '''Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language''' ''Abdelrahman Abounegm, Nikolai Kudasov and Aleksei Stepanov'' - Innopolis University, Innopolis, Tatarstan Republic, Russia<br /> <br /> [[11:00 - 11:30]] '''Finite-State Automaton To/From Regular Expression Visualization''' ''Marco Morazan and Tijana Minić'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[11:30 - 13:30]] Lunch<br /> <br /> ==== Presentation session 2 (chair: Jason Hemann) ====<br /> <br /> [[13:30 - 14:00]] '''Computation Graphs for State-Based Machines''' ''Marco Morazan and Oliwia Kempinski'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[14:00 - 14:30]] '''Programming Language Case Studies Can Be Deep''' ''Rose Bohrer'' - Worcester Polytechnic Institute (WPI), Worcester, MA, USA<br /> <br /> [[14:30 - 15:00]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: Stephen Chang) ====<br /> <br /> [[15:00 - 15:30]] '''RegularIMP: an imperative calculus to describe regular languages''' ''Soroush Aghajani, Emma Kelminson and Tiago Cogumbreiro'' - UMass Boston, Boston, MA, USA<br /> <br /> <br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=484 2024-01-07T17:36:36Z

<p>StephenChang: /* Presentation session 3 (chair: Stephen Chang) */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: February 23, 2024, Anywhere on Earth.<br /> * Notification of full article: April 5, 2024<br /> * Camera ready: May 3, 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie24 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract<br /> <br /> This talk is an introduction to the joys of teaching and learning about compilers using the incremental approach. The talk provides a sneak-preview of a compiler course based on the new textbooks from MIT Press, ''Essentials of Compilation: An Incremental Approach in Racket/Python''. The course takes students on a journey through constructing their own compiler for a small but powerful language. The standard approach to describing and teaching compilers is to proceed one pass at a time, from the front to the back of the compiler. Unfortunately, that approach obfuscates how language features motivate design choices in a compiler. In this course we instead take an incremental approach in which we build a complete compiler every two weeks, starting with a small input language that includes only arithmetic and variables. We add new language features in subsequent iterations, extending the compiler as necessary. Students get immediate positive feedback as they see their compiler passing test cases and then learn important lessons regarding software engineering as they grow and refactor their compiler throughout the semester.<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University. Jeremy’s interests include programming language design, type systems, mechanized theorem proving, and compilers.<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 /> == Program (Tue Jan 9th 2024) ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place on the [https://www.shu.edu/visit/campus-map.cfm Seton Hall University] campus in [https://maps.app.goo.gl/gNG221xK6YEJp7y48 McNulty Hall Auditorium], Room 101.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.<br /> <br /> [[8:00 - 8:55]] Breakfast<br /> <br /> [[8:55 - 9:00]] Welcome (Stephen Chang)<br /> <br /> ==== Keynote (chair: Stephen Chang) ====<br /> <br /> [[9:00 - 10:00]] [https://wphomes.soic.indiana.edu/jsiek/ Jeremy Siek] '''Essentials of Compilation''' (remote)<br /> <br /> [[10:00 - 10:30]] Coffee Break<br /> <br /> ==== Presentation session 1 (chair: Stephen Chang) ====<br /> <br /> [[10:30 - 11:00]] '''Functional Programming in Learning Electromagnetic Theory''' ''Scott Walck'' - Lebanon Valley College, Annville, PA, USA<br /> <br /> [[11:00 - 11:30]] '''Finite-State Automaton To/From Regular Expression Visualization''' ''Marco Morazan and Tijana Minić'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[11:30 - 13:30]] Lunch<br /> <br /> ==== Presentation session 2 (chair: Jason Hemann) ====<br /> <br /> [[13:30 - 14:00]] '''Computation Graphs for State-Based Machines''' ''Marco Morazan and Oliwia Kempinski'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[14:00 - 14:30]] '''Programming Language Case Studies Can Be Deep''' ''Rose Bohrer'' - Worcester Polytechnic Institute (WPI), Worcester, MA, USA<br /> <br /> [[14:30 - 15:00]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: Stephen Chang) ====<br /> <br /> [[15:00 - 15:30]] '''RegularIMP: an imperative calculus to describe regular languages''' ''Soroush Aghajani, Emma Kelminson and Tiago Cogumbreiro'' - UMass Boston, Boston, MA, USA<br /> <br /> <br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=483 2024-01-07T17:33:36Z

<p>StephenChang: /* Keynote (chair: Stephen Chang) */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: February 23, 2024, Anywhere on Earth.<br /> * Notification of full article: April 5, 2024<br /> * Camera ready: May 3, 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie24 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract<br /> <br /> This talk is an introduction to the joys of teaching and learning about compilers using the incremental approach. The talk provides a sneak-preview of a compiler course based on the new textbooks from MIT Press, ''Essentials of Compilation: An Incremental Approach in Racket/Python''. The course takes students on a journey through constructing their own compiler for a small but powerful language. The standard approach to describing and teaching compilers is to proceed one pass at a time, from the front to the back of the compiler. Unfortunately, that approach obfuscates how language features motivate design choices in a compiler. In this course we instead take an incremental approach in which we build a complete compiler every two weeks, starting with a small input language that includes only arithmetic and variables. We add new language features in subsequent iterations, extending the compiler as necessary. Students get immediate positive feedback as they see their compiler passing test cases and then learn important lessons regarding software engineering as they grow and refactor their compiler throughout the semester.<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University. Jeremy’s interests include programming language design, type systems, mechanized theorem proving, and compilers.<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 /> == Program (Tue Jan 9th 2024) ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place on the [https://www.shu.edu/visit/campus-map.cfm Seton Hall University] campus in [https://maps.app.goo.gl/gNG221xK6YEJp7y48 McNulty Hall Auditorium], Room 101.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.<br /> <br /> [[8:00 - 8:55]] Breakfast<br /> <br /> [[8:55 - 9:00]] Welcome (Stephen Chang)<br /> <br /> ==== Keynote (chair: Stephen Chang) ====<br /> <br /> [[9:00 - 10:00]] [https://wphomes.soic.indiana.edu/jsiek/ Jeremy Siek] '''Essentials of Compilation''' (remote)<br /> <br /> [[10:00 - 10:30]] Coffee Break<br /> <br /> ==== Presentation session 1 (chair: Stephen Chang) ====<br /> <br /> [[10:30 - 11:00]] '''Functional Programming in Learning Electromagnetic Theory''' ''Scott Walck'' - Lebanon Valley College, Annville, PA, USA<br /> <br /> [[11:00 - 11:30]] '''Finite-State Automaton To/From Regular Expression Visualization''' ''Marco Morazan and Tijana Minić'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[11:30 - 13:30]] Lunch<br /> <br /> ==== Presentation session 2 (chair: Jason Hemann) ====<br /> <br /> [[13:30 - 14:00]] '''Computation Graphs for State-Based Machines''' ''Marco Morazan and Oliwia Kempinski'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[14:00 - 14:30]] '''Programming Language Case Studies Can Be Deep''' ''Rose Bohrer'' - Worcester Polytechnic Institute (WPI), Worcester, MA, USA<br /> <br /> [[14:30 - 15:00]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: Stephen Chang) ====<br /> <br /> [[15:00 - 15:30]] '''RegularIMP: an imperative calculus to describe regular languages''' ''Soroush Aghajani, Emma Kelminson and Tiago Cogumbreiro'' - UMass Boston, Boston, MA, USA<br /> <br /> [[15:30 - 16:00]] '''Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language''' ''Abdelrahman Abounegm, Nikolai Kudasov and Aleksei Stepanov'' - Innopolis University, Innopolis, Tatarstan Republic, Russia<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=482 2023-12-30T20:52:34Z

<p>StephenChang: /* Invited Speaker */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: February 23, 2024, Anywhere on Earth.<br /> * Notification of full article: April 5, 2024<br /> * Camera ready: May 3, 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie24 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract<br /> <br /> This talk is an introduction to the joys of teaching and learning about compilers using the incremental approach. The talk provides a sneak-preview of a compiler course based on the new textbooks from MIT Press, ''Essentials of Compilation: An Incremental Approach in Racket/Python''. The course takes students on a journey through constructing their own compiler for a small but powerful language. The standard approach to describing and teaching compilers is to proceed one pass at a time, from the front to the back of the compiler. Unfortunately, that approach obfuscates how language features motivate design choices in a compiler. In this course we instead take an incremental approach in which we build a complete compiler every two weeks, starting with a small input language that includes only arithmetic and variables. We add new language features in subsequent iterations, extending the compiler as necessary. Students get immediate positive feedback as they see their compiler passing test cases and then learn important lessons regarding software engineering as they grow and refactor their compiler throughout the semester.<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University. Jeremy’s interests include programming language design, type systems, mechanized theorem proving, and compilers.<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 /> == Program (Tue Jan 9th 2024) ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place on the [https://www.shu.edu/visit/campus-map.cfm Seton Hall University] campus in [https://maps.app.goo.gl/gNG221xK6YEJp7y48 McNulty Hall Auditorium], Room 101.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.<br /> <br /> [[8:00 - 8:55]] Breakfast<br /> <br /> [[8:55 - 9:00]] Welcome (Stephen Chang)<br /> <br /> ==== Keynote (chair: Stephen Chang) ====<br /> <br /> [[9:00 - 10:00]] [https://wphomes.soic.indiana.edu/jsiek/ Jeremy Siek] '''Essentials of Compilation'''<br /> <br /> [[10:00 - 10:30]] Coffee Break<br /> <br /> ==== Presentation session 1 (chair: Stephen Chang) ====<br /> <br /> [[10:30 - 11:00]] '''Functional Programming in Learning Electromagnetic Theory''' ''Scott Walck'' - Lebanon Valley College, Annville, PA, USA<br /> <br /> [[11:00 - 11:30]] '''Finite-State Automaton To/From Regular Expression Visualization''' ''Marco Morazan and Tijana Minić'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[11:30 - 13:30]] Lunch<br /> <br /> ==== Presentation session 2 (chair: Jason Hemann) ====<br /> <br /> [[13:30 - 14:00]] '''Computation Graphs for State-Based Machines''' ''Marco Morazan and Oliwia Kempinski'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[14:00 - 14:30]] '''Programming Language Case Studies Can Be Deep''' ''Rose Bohrer'' - Worcester Polytechnic Institute (WPI), Worcester, MA, USA<br /> <br /> [[14:30 - 15:00]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: Stephen Chang) ====<br /> <br /> [[15:00 - 15:30]] '''RegularIMP: an imperative calculus to describe regular languages''' ''Soroush Aghajani, Emma Kelminson and Tiago Cogumbreiro'' - UMass Boston, Boston, MA, USA<br /> <br /> [[15:30 - 16:00]] '''Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language''' ''Abdelrahman Abounegm, Nikolai Kudasov and Aleksei Stepanov'' - Innopolis University, Innopolis, Tatarstan Republic, Russia<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=481 2023-12-30T20:48:44Z

<p>StephenChang: /* Program */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: February 23, 2024, Anywhere on Earth.<br /> * Notification of full article: April 5, 2024<br /> * Camera ready: May 3, 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie24 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program (Tue Jan 9th 2024) ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place on the [https://www.shu.edu/visit/campus-map.cfm Seton Hall University] campus in [https://maps.app.goo.gl/gNG221xK6YEJp7y48 McNulty Hall Auditorium], Room 101.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.<br /> <br /> [[8:00 - 8:55]] Breakfast<br /> <br /> [[8:55 - 9:00]] Welcome (Stephen Chang)<br /> <br /> ==== Keynote (chair: Stephen Chang) ====<br /> <br /> [[9:00 - 10:00]] [https://wphomes.soic.indiana.edu/jsiek/ Jeremy Siek] '''Essentials of Compilation'''<br /> <br /> [[10:00 - 10:30]] Coffee Break<br /> <br /> ==== Presentation session 1 (chair: Stephen Chang) ====<br /> <br /> [[10:30 - 11:00]] '''Functional Programming in Learning Electromagnetic Theory''' ''Scott Walck'' - Lebanon Valley College, Annville, PA, USA<br /> <br /> [[11:00 - 11:30]] '''Finite-State Automaton To/From Regular Expression Visualization''' ''Marco Morazan and Tijana Minić'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[11:30 - 13:30]] Lunch<br /> <br /> ==== Presentation session 2 (chair: Jason Hemann) ====<br /> <br /> [[13:30 - 14:00]] '''Computation Graphs for State-Based Machines''' ''Marco Morazan and Oliwia Kempinski'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[14:00 - 14:30]] '''Programming Language Case Studies Can Be Deep''' ''Rose Bohrer'' - Worcester Polytechnic Institute (WPI), Worcester, MA, USA<br /> <br /> [[14:30 - 15:00]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: Stephen Chang) ====<br /> <br /> [[15:00 - 15:30]] '''RegularIMP: an imperative calculus to describe regular languages''' ''Soroush Aghajani, Emma Kelminson and Tiago Cogumbreiro'' - UMass Boston, Boston, MA, USA<br /> <br /> [[15:30 - 16:00]] '''Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language''' ''Abdelrahman Abounegm, Nikolai Kudasov and Aleksei Stepanov'' - Innopolis University, Innopolis, Tatarstan Republic, Russia<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=480 2023-12-30T20:47:19Z

<p>StephenChang: /* Program */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: February 23, 2024, Anywhere on Earth.<br /> * Notification of full article: April 5, 2024<br /> * Camera ready: May 3, 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie24 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place on the [https://www.shu.edu/visit/campus-map.cfm Seton Hall University] campus in [https://maps.app.goo.gl/gNG221xK6YEJp7y48 McNulty Hall Auditorium], Room 101.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.<br /> <br /> [[8:00 - 8:55]] Breakfast<br /> <br /> [[8:55 - 9:00]] Welcome (Stephen Chang)<br /> <br /> ==== Keynote (chair: Stephen Chang) ====<br /> <br /> [[9:00 - 10:00]] [https://wphomes.soic.indiana.edu/jsiek/ Jeremy Siek] '''Essentials of Compilation'''<br /> <br /> [[10:00 - 10:30]] Coffee Break<br /> <br /> ==== Presentation session 1 (chair: Stephen Chang) ====<br /> <br /> [[10:30 - 11:00]] '''Functional Programming in Learning Electromagnetic Theory''' ''Scott Walck'' - Lebanon Valley College, Annville, PA, USA<br /> <br /> [[11:00 - 11:30]] '''Finite-State Automaton To/From Regular Expression Visualization''' ''Marco Morazan and Tijana Minić'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[11:30 - 13:30]] Lunch<br /> <br /> ==== Presentation session 2 (chair: Jason Hemann) ====<br /> <br /> [[13:30 - 14:00]] '''Computation Graphs for State-Based Machines''' ''Marco Morazan and Oliwia Kempinski'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[14:00 - 14:30]] '''Programming Language Case Studies Can Be Deep''' ''Rose Bohrer'' - Worcester Polytechnic Institute (WPI), Worcester, MA, USA<br /> <br /> [[14:30 - 15:00]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: Stephen Chang) ====<br /> <br /> [[15:00 - 15:30]] '''RegularIMP: an imperative calculus to describe regular languages''' ''Soroush Aghajani, Emma Kelminson and Tiago Cogumbreiro'' - UMass Boston, Boston, MA, USA<br /> <br /> [[15:30 - 16:00]] '''Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language''' ''Abdelrahman Abounegm, Nikolai Kudasov and Aleksei Stepanov'' - Innopolis University, Innopolis, Tatarstan Republic, Russia<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=479 2023-12-30T20:47:02Z

<p>StephenChang: /* Program */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: February 23, 2024, Anywhere on Earth.<br /> * Notification of full article: April 5, 2024<br /> * Camera ready: May 3, 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie24 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place on the [https://www.shu.edu/visit/campus-map.cfm Seton Hall University] campus in [https://maps.app.goo.gl/gNG221xK6YEJp7y48 McNulty Hall Auditorium], Room 101.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.<br /> <br /> [[08:00 - 8:55]] Breakfast<br /> <br /> [[8:55 - 9:00]] Welcome (Stephen Chang)<br /> <br /> ==== Keynote (chair: Stephen Chang) ====<br /> <br /> [[9:00 - 10:00]] [https://wphomes.soic.indiana.edu/jsiek/ Jeremy Siek] '''Essentials of Compilation'''<br /> <br /> [[10:00 - 10:30]] Coffee Break<br /> <br /> ==== Presentation session 1 (chair: Stephen Chang) ====<br /> <br /> [[10:30 - 11:00]] '''Functional Programming in Learning Electromagnetic Theory''' ''Scott Walck'' - Lebanon Valley College, Annville, PA, USA<br /> <br /> [[11:00 - 11:30]] '''Finite-State Automaton To/From Regular Expression Visualization''' ''Marco Morazan and Tijana Minić'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[11:30 - 13:30]] Lunch<br /> <br /> ==== Presentation session 2 (chair: Jason Hemann) ====<br /> <br /> [[13:30 - 14:00]] '''Computation Graphs for State-Based Machines''' ''Marco Morazan and Oliwia Kempinski'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[14:00 - 14:30]] '''Programming Language Case Studies Can Be Deep''' ''Rose Bohrer'' - Worcester Polytechnic Institute (WPI), Worcester, MA, USA<br /> <br /> [[14:30 - 15:00]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: Stephen Chang) ====<br /> <br /> [[15:00 - 15:30]] '''RegularIMP: an imperative calculus to describe regular languages''' ''Soroush Aghajani, Emma Kelminson and Tiago Cogumbreiro'' - UMass Boston, Boston, MA, USA<br /> <br /> [[15:30 - 16:00]] '''Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language''' ''Abdelrahman Abounegm, Nikolai Kudasov and Aleksei Stepanov'' - Innopolis University, Innopolis, Tatarstan Republic, Russia<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=478 2023-12-30T20:46:36Z

<p>StephenChang: /* Keynote (chair: Stephen Chang) */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: February 23, 2024, Anywhere on Earth.<br /> * Notification of full article: April 5, 2024<br /> * Camera ready: May 3, 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie24 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place on the [https://www.shu.edu/visit/campus-map.cfm Seton Hall University] campus in [https://maps.app.goo.gl/gNG221xK6YEJp7y48 McNulty Hall Auditorium], Room 101.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.<br /> <br /> [[08:00 - 8:55]] Breakfast<br /> <br /> [[8:55 - 9:00]] Welcome (Stephen Chang)<br /> <br /> ==== Keynote (chair: Stephen Chang) ====<br /> <br /> [[9:00 - 10:00]] [https://wphomes.soic.indiana.edu/jsiek/ Jeremy Siek] '''Essentials of Compilation'''<br /> <br /> [[:Media:https://www.dropbox.com/s/ktdw8j0adcc44r0/book.pdf|draft in Racket]]<br /> <br /> <br /> [[10:00 - 10:30]] Coffee Break<br /> <br /> ==== Presentation session 1 (chair: Stephen Chang) ====<br /> <br /> [[10:30 - 11:00]] '''Functional Programming in Learning Electromagnetic Theory''' ''Scott Walck'' - Lebanon Valley College, Annville, PA, USA<br /> <br /> [[11:00 - 11:30]] '''Finite-State Automaton To/From Regular Expression Visualization''' ''Marco Morazan and Tijana Minić'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[11:30 - 13:30]] Lunch<br /> <br /> ==== Presentation session 2 (chair: Jason Hemann) ====<br /> <br /> [[13:30 - 14:00]] '''Computation Graphs for State-Based Machines''' ''Marco Morazan and Oliwia Kempinski'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[14:00 - 14:30]] '''Programming Language Case Studies Can Be Deep''' ''Rose Bohrer'' - Worcester Polytechnic Institute (WPI), Worcester, MA, USA<br /> <br /> [[14:30 - 15:00]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: Stephen Chang) ====<br /> <br /> [[15:00 - 15:30]] '''RegularIMP: an imperative calculus to describe regular languages''' ''Soroush Aghajani, Emma Kelminson and Tiago Cogumbreiro'' - UMass Boston, Boston, MA, USA<br /> <br /> [[15:30 - 16:00]] '''Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language''' ''Abdelrahman Abounegm, Nikolai Kudasov and Aleksei Stepanov'' - Innopolis University, Innopolis, Tatarstan Republic, Russia<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=477 2023-12-30T20:45:52Z

<p>StephenChang: /* Program */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: February 23, 2024, Anywhere on Earth.<br /> * Notification of full article: April 5, 2024<br /> * Camera ready: May 3, 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie24 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place on the [https://www.shu.edu/visit/campus-map.cfm Seton Hall University] campus in [https://maps.app.goo.gl/gNG221xK6YEJp7y48 McNulty Hall Auditorium], Room 101.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.<br /> <br /> [[08:00 - 8:55]] Breakfast<br /> <br /> [[8:55 - 9:00]] Welcome (Stephen Chang)<br /> <br /> ==== Keynote (chair: Stephen Chang) ====<br /> <br /> [[9:00 - 10:00]] [Jeremy Siek](https://wphomes.soic.indiana.edu/jsiek/) '''Essentials of Compilation'''<br /> <br /> [[:Media:https://www.dropbox.com/s/ktdw8j0adcc44r0/book.pdf|draft in Racket]]<br /> <br /> <br /> [[10:00 - 10:30]] Coffee Break<br /> <br /> ==== Presentation session 1 (chair: Stephen Chang) ====<br /> <br /> [[10:30 - 11:00]] '''Functional Programming in Learning Electromagnetic Theory''' ''Scott Walck'' - Lebanon Valley College, Annville, PA, USA<br /> <br /> [[11:00 - 11:30]] '''Finite-State Automaton To/From Regular Expression Visualization''' ''Marco Morazan and Tijana Minić'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[11:30 - 13:30]] Lunch<br /> <br /> ==== Presentation session 2 (chair: Jason Hemann) ====<br /> <br /> [[13:30 - 14:00]] '''Computation Graphs for State-Based Machines''' ''Marco Morazan and Oliwia Kempinski'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[14:00 - 14:30]] '''Programming Language Case Studies Can Be Deep''' ''Rose Bohrer'' - Worcester Polytechnic Institute (WPI), Worcester, MA, USA<br /> <br /> [[14:30 - 15:00]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: Stephen Chang) ====<br /> <br /> [[15:00 - 15:30]] '''RegularIMP: an imperative calculus to describe regular languages''' ''Soroush Aghajani, Emma Kelminson and Tiago Cogumbreiro'' - UMass Boston, Boston, MA, USA<br /> <br /> [[15:30 - 16:00]] '''Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language''' ''Abdelrahman Abounegm, Nikolai Kudasov and Aleksei Stepanov'' - Innopolis University, Innopolis, Tatarstan Republic, Russia<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=476 2023-12-30T20:45:30Z

<p>StephenChang: /* Program */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: February 23, 2024, Anywhere on Earth.<br /> * Notification of full article: April 5, 2024<br /> * Camera ready: May 3, 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie24 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place on the [https://www.shu.edu/visit/campus-map.cfm Seton Hall University] campus in [McNulty Hall Auditorium](https://maps.app.goo.gl/gNG221xK6YEJp7y48), Room 101.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.<br /> <br /> [[08:00 - 8:55]] Breakfast<br /> <br /> [[8:55 - 9:00]] Welcome (Stephen Chang)<br /> <br /> ==== Keynote (chair: Stephen Chang) ====<br /> <br /> [[9:00 - 10:00]] [Jeremy Siek](https://wphomes.soic.indiana.edu/jsiek/) '''Essentials of Compilation'''<br /> <br /> [[:Media:https://www.dropbox.com/s/ktdw8j0adcc44r0/book.pdf|draft in Racket]]<br /> <br /> <br /> [[10:00 - 10:30]] Coffee Break<br /> <br /> ==== Presentation session 1 (chair: Stephen Chang) ====<br /> <br /> [[10:30 - 11:00]] '''Functional Programming in Learning Electromagnetic Theory''' ''Scott Walck'' - Lebanon Valley College, Annville, PA, USA<br /> <br /> [[11:00 - 11:30]] '''Finite-State Automaton To/From Regular Expression Visualization''' ''Marco Morazan and Tijana Minić'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[11:30 - 13:30]] Lunch<br /> <br /> ==== Presentation session 2 (chair: Jason Hemann) ====<br /> <br /> [[13:30 - 14:00]] '''Computation Graphs for State-Based Machines''' ''Marco Morazan and Oliwia Kempinski'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[14:00 - 14:30]] '''Programming Language Case Studies Can Be Deep''' ''Rose Bohrer'' - Worcester Polytechnic Institute (WPI), Worcester, MA, USA<br /> <br /> [[14:30 - 15:00]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: Stephen Chang) ====<br /> <br /> [[15:00 - 15:30]] '''RegularIMP: an imperative calculus to describe regular languages''' ''Soroush Aghajani, Emma Kelminson and Tiago Cogumbreiro'' - UMass Boston, Boston, MA, USA<br /> <br /> [[15:30 - 16:00]] '''Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language''' ''Abdelrahman Abounegm, Nikolai Kudasov and Aleksei Stepanov'' - Innopolis University, Innopolis, Tatarstan Republic, Russia<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=475 2023-12-30T20:44:57Z

<p>StephenChang: /* Program */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: February 23, 2024, Anywhere on Earth.<br /> * Notification of full article: April 5, 2024<br /> * Camera ready: May 3, 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie24 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place on the [Seton Hall University](https://www.shu.edu/visit/campus-map.cfm) campus in [McNulty Hall Auditorium](https://maps.app.goo.gl/gNG221xK6YEJp7y48), Room 101.<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.<br /> <br /> [[08:00 - 8:55]] Breakfast<br /> <br /> [[8:55 - 9:00]] Welcome (Stephen Chang)<br /> <br /> ==== Keynote (chair: Stephen Chang) ====<br /> <br /> [[9:00 - 10:00]] [Jeremy Siek](https://wphomes.soic.indiana.edu/jsiek/) '''Essentials of Compilation'''<br /> <br /> [[:Media:https://www.dropbox.com/s/ktdw8j0adcc44r0/book.pdf|draft in Racket]]<br /> <br /> <br /> [[10:00 - 10:30]] Coffee Break<br /> <br /> ==== Presentation session 1 (chair: Stephen Chang) ====<br /> <br /> [[10:30 - 11:00]] '''Functional Programming in Learning Electromagnetic Theory''' ''Scott Walck'' - Lebanon Valley College, Annville, PA, USA<br /> <br /> [[11:00 - 11:30]] '''Finite-State Automaton To/From Regular Expression Visualization''' ''Marco Morazan and Tijana Minić'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[11:30 - 13:30]] Lunch<br /> <br /> ==== Presentation session 2 (chair: Jason Hemann) ====<br /> <br /> [[13:30 - 14:00]] '''Computation Graphs for State-Based Machines''' ''Marco Morazan and Oliwia Kempinski'' - Seton Hall University, South Orange, NJ, USA<br /> <br /> [[14:00 - 14:30]] '''Programming Language Case Studies Can Be Deep''' ''Rose Bohrer'' - Worcester Polytechnic Institute (WPI), Worcester, MA, USA<br /> <br /> [[14:30 - 15:00]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: Stephen Chang) ====<br /> <br /> [[15:00 - 15:30]] '''RegularIMP: an imperative calculus to describe regular languages''' ''Soroush Aghajani, Emma Kelminson and Tiago Cogumbreiro'' - UMass Boston, Boston, MA, USA<br /> <br /> [[15:30 - 16:00]] '''Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language''' ''Abdelrahman Abounegm, Nikolai Kudasov and Aleksei Stepanov'' - Innopolis University, Innopolis, Tatarstan Republic, Russia<br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Thu Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=474 2023-12-30T20:31:02Z

<p>StephenChang: /* Presentation session 1 (chair:) */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: February 23, 2024, Anywhere on Earth.<br /> * Notification of full article: April 5, 2024<br /> * Camera ready: May 3, 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie24 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place at [https://www.shu.edu/ Seton Hall University].<br /> <br /> [[08:30 - 9:55]] Breakfast<br /> <br /> [[9:55 - 10:00]] Welcome (Stephen Chang)<br /> <br /> ==== Presentation session 1 (chair: Stephen Chang) ====<br /> <br /> [[10:00-10:30]] '''Title TBD''' ''Author TBD'' - Affiliation<br /> <br /> [[:Media:tfpie24-talk.pdf|Presentation slides]]<br /> <br /> [[:Media:tfpie24.pdf|Draft paper]]<br /> <br /> [[10:30 - 11:00]] <br /> <br /> <br /> [[11:00 - 11:30]] Coffee Break<br /> <br /> ==== Keynote (chair: ) ====<br /> <br /> [[11:30 - 12:30]] <br /> <br /> <br /> [[12:30 - 14:00]] Lunch<br /> <br /> ==== Presentation session 2 (chair: ) ====<br /> <br /> [[14:00 - 14:30]] <br /> [[14:30 - 15:00]] <br /> <br /> [[15:00 - 15:30]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: ) ====<br /> <br /> [[15:30 - 16:00]] <br /> <br /> [[16:00 - 16:30]] <br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=473 2023-12-30T20:29:54Z

<p>StephenChang: </p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: February 23, 2024, Anywhere on Earth.<br /> * Notification of full article: April 5, 2024<br /> * Camera ready: May 3, 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie24 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place at [https://www.shu.edu/ Seton Hall University].<br /> <br /> [[08:30 - 9:55]] Breakfast<br /> <br /> [[9:55 - 10:00]] Welcome (Stephen Chang)<br /> <br /> ==== Presentation session 1 (chair:) ====<br /> <br /> [[10:00-10:30]] '''Title TBD''' ''Author TBD'' - Affiliation<br /> <br /> [[:Media:tfpie24-talk.pdf|Presentation slides]]<br /> <br /> [[:Media:tfpie24.pdf|Draft paper]]<br /> <br /> [[10:30 - 11:00]] <br /> <br /> <br /> [[11:00 - 11:30]] Coffee Break<br /> <br /> ==== Keynote (chair: ) ====<br /> <br /> [[11:30 - 12:30]] <br /> <br /> <br /> [[12:30 - 14:00]] Lunch<br /> <br /> ==== Presentation session 2 (chair: ) ====<br /> <br /> [[14:00 - 14:30]] <br /> [[14:30 - 15:00]] <br /> <br /> [[15:00 - 15:30]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: ) ====<br /> <br /> [[15:30 - 16:00]] <br /> <br /> [[16:00 - 16:30]] <br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=472 2023-12-11T21:51:34Z

<p>StephenChang: /* Important Dates */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: February 23, 2024, Anywhere on Earth.<br /> * Notification of full article: April 5, 2024<br /> * Camera ready: May 3, 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie24 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place at [https://www.shu.edu/ Seton Hall University].<br /> <br /> [[09:30 - 9:55]] Breakfast<br /> <br /> [[9:55 - 10:00]] Welcome (Stephen Chang)<br /> <br /> ==== Presentation session 1 (chair:) ====<br /> <br /> [[10:00-10:30]] '''Title TBD''' ''Author TBD'' - Affiliation<br /> <br /> [[:Media:tfpie24-talk.pdf|Presentation slides]]<br /> <br /> [[:Media:tfpie24.pdf|Draft paper]]<br /> <br /> [[10:30 - 11:00]] <br /> <br /> <br /> [[11:00 - 11:30]] Coffee Break<br /> <br /> ==== Keynote (chair: ) ====<br /> <br /> [[11:30 - 12:30]] <br /> <br /> <br /> [[12:30 - 14:00]] Lunch<br /> <br /> ==== Presentation session 2 (chair: ) ====<br /> <br /> [[14:00 - 14:30]] <br /> [[14:30 - 15:00]] <br /> <br /> [[15:00 - 15:30]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: ) ====<br /> <br /> [[15:30 - 16:00]] <br /> <br /> [[16:00 - 16:30]] <br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=471 2023-11-11T17:17:02Z

<p>StephenChang: /* How To Submit */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: April 19th 2024, Anywhere on Earth.<br /> * Notification of full article: May 24th 2024<br /> * Camera ready: June 28th 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie24 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place at [https://www.shu.edu/ Seton Hall University].<br /> <br /> [[09:30 - 9:55]] Breakfast<br /> <br /> [[9:55 - 10:00]] Welcome (Stephen Chang)<br /> <br /> ==== Presentation session 1 (chair:) ====<br /> <br /> [[10:00-10:30]] '''Title TBD''' ''Author TBD'' - Affiliation<br /> <br /> [[:Media:tfpie24-talk.pdf|Presentation slides]]<br /> <br /> [[:Media:tfpie24.pdf|Draft paper]]<br /> <br /> [[10:30 - 11:00]] <br /> <br /> <br /> [[11:00 - 11:30]] Coffee Break<br /> <br /> ==== Keynote (chair: ) ====<br /> <br /> [[11:30 - 12:30]] <br /> <br /> <br /> [[12:30 - 14:00]] Lunch<br /> <br /> ==== Presentation session 2 (chair: ) ====<br /> <br /> [[14:00 - 14:30]] <br /> [[14:30 - 15:00]] <br /> <br /> [[15:00 - 15:30]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: ) ====<br /> <br /> [[15:30 - 16:00]] <br /> <br /> [[16:00 - 16:30]] <br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=470 2023-11-11T17:16:52Z

<p>StephenChang: /* How To Submit */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: April 19th 2024, Anywhere on Earth.<br /> * Notification of full article: May 24th 2024<br /> * Camera ready: June 28th 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie2024 ''https://easychair.org/conferences/?conf=tfpie24'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place at [https://www.shu.edu/ Seton Hall University].<br /> <br /> [[09:30 - 9:55]] Breakfast<br /> <br /> [[9:55 - 10:00]] Welcome (Stephen Chang)<br /> <br /> ==== Presentation session 1 (chair:) ====<br /> <br /> [[10:00-10:30]] '''Title TBD''' ''Author TBD'' - Affiliation<br /> <br /> [[:Media:tfpie24-talk.pdf|Presentation slides]]<br /> <br /> [[:Media:tfpie24.pdf|Draft paper]]<br /> <br /> [[10:30 - 11:00]] <br /> <br /> <br /> [[11:00 - 11:30]] Coffee Break<br /> <br /> ==== Keynote (chair: ) ====<br /> <br /> [[11:30 - 12:30]] <br /> <br /> <br /> [[12:30 - 14:00]] Lunch<br /> <br /> ==== Presentation session 2 (chair: ) ====<br /> <br /> [[14:00 - 14:30]] <br /> [[14:30 - 15:00]] <br /> <br /> [[15:00 - 15:30]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: ) ====<br /> <br /> [[15:30 - 16:00]] <br /> <br /> [[16:00 - 16:30]] <br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=469 2023-11-09T16:33:34Z

<p>StephenChang: /* Program */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: April 19th 2024, Anywhere on Earth.<br /> * Notification of full article: May 24th 2024<br /> * Camera ready: June 28th 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie2024 ''https://easychair.org/conferences/?conf=tfpie2024'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place at [https://www.shu.edu/ Seton Hall University].<br /> <br /> [[09:30 - 9:55]] Breakfast<br /> <br /> [[9:55 - 10:00]] Welcome (Stephen Chang)<br /> <br /> ==== Presentation session 1 (chair:) ====<br /> <br /> [[10:00-10:30]] '''Title TBD''' ''Author TBD'' - Affiliation<br /> <br /> [[:Media:tfpie24-talk.pdf|Presentation slides]]<br /> <br /> [[:Media:tfpie24.pdf|Draft paper]]<br /> <br /> [[10:30 - 11:00]] <br /> <br /> <br /> [[11:00 - 11:30]] Coffee Break<br /> <br /> ==== Keynote (chair: ) ====<br /> <br /> [[11:30 - 12:30]] <br /> <br /> <br /> [[12:30 - 14:00]] Lunch<br /> <br /> ==== Presentation session 2 (chair: ) ====<br /> <br /> [[14:00 - 14:30]] <br /> [[14:30 - 15:00]] <br /> <br /> [[15:00 - 15:30]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: ) ====<br /> <br /> [[15:30 - 16:00]] <br /> <br /> [[16:00 - 16:30]] <br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=468 2023-11-09T16:33:08Z

<p>StephenChang: /* The Programme Committee */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: April 19th 2024, Anywhere on Earth.<br /> * Notification of full article: May 24th 2024<br /> * Camera ready: June 28th 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<br /> * [https://users.cs.northwestern.edu/~stamourv/ ''Vincent St-Amour''] - Northwestern University, USA<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=tfpie2024 ''https://easychair.org/conferences/?conf=tfpie2024'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place at [https://www.shu.edu/ Seton Hall University].<br /> <br /> [[09:30 - 9:55]] Breakfast<br /> <br /> [[9:55 - 10:00]] Welcome (Stephen Chang)<br /> <br /> ==== Presentation session 1 (chair:) ====<br /> <br /> [[10:00-10:30]] '''Title TBD''' ''Author TBD'' - Affiliation<br /> <br /> [[:Media:tfpie24-talk.pdf|Presentation slides]]<br /> <br /> [[:Media:tfpie24.pdf|Draft paper]]<br /> <br /> [[10:30 - 11:00]] <br /> <br /> <br /> [[11:00 - 11:30]] Coffee Break<br /> <br /> ==== Keynote (chair: ) ====<br /> <br /> [[11:30 - 12:30]] <br /> <br /> <br /> [[12:30 - 14:00]] Lunch<br /> <br /> ==== Presentation session 2 (chair: ) ====<br /> <br /> [[14:00 - 14:30]] <br /> [[14:30 - 15:00]] <br /> <br /> [[15:00 - 15:30]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: ) ====<br /> <br /> [[15:30 - 16:00]] <br /> <br /> [[16:00 - 16:30]] <br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Sat Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=467 2023-10-28T14:13:49Z

<p>StephenChang: /* The Programme Committee */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: April 19th 2024, Anywhere on Earth.<br /> * Notification of full article: May 24th 2024<br /> * Camera ready: June 28th 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://user.informatik.uni-bremen.de/clueth/ ''Christoph Lüth''] - University of Bremen, Germany<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<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=tfpie2024 ''https://easychair.org/conferences/?conf=tfpie2024'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place at [https://www.shu.edu/ Seton Hall University].<br /> <br /> [[09:30 - 9:55]] Breakfast<br /> <br /> [[9:55 - 10:00]] Welcome (Stephen Chang)<br /> <br /> ==== Presentation session 1 (chair:) ====<br /> <br /> [[10:00-10:30]] '''Title TBD''' ''Author TBD'' - Affiliation<br /> <br /> [[:Media:tfpie24-talk.pdf|Presentation slides]]<br /> <br /> [[:Media:tfpie24.pdf|Draft paper]]<br /> <br /> [[10:30 - 11:00]] <br /> <br /> <br /> [[11:00 - 11:30]] Coffee Break<br /> <br /> ==== Keynote (chair: ) ====<br /> <br /> [[11:30 - 12:30]] <br /> <br /> <br /> [[12:30 - 14:00]] Lunch<br /> <br /> ==== Presentation session 2 (chair: ) ====<br /> <br /> [[14:00 - 14:30]] <br /> [[14:30 - 15:00]] <br /> <br /> [[15:00 - 15:30]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: ) ====<br /> <br /> [[15:30 - 16:00]] <br /> <br /> [[16:00 - 16:30]] <br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Sat Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=466 2023-10-26T20:17:00Z

<p>StephenChang: /* Invited Speaker */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: April 19th 2024, Anywhere on Earth.<br /> * Notification of full article: May 24th 2024<br /> * Camera ready: June 28th 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<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=tfpie2024 ''https://easychair.org/conferences/?conf=tfpie2024'']<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 /> Jeremy Siek<br /> <br /> Abstract TBD<br /> <br /> Jeremy is a Professor of Computer Science in the School of Informatics and Computing at Indiana University<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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place at [https://www.shu.edu/ Seton Hall University].<br /> <br /> [[09:30 - 9:55]] Breakfast<br /> <br /> [[9:55 - 10:00]] Welcome (Stephen Chang)<br /> <br /> ==== Presentation session 1 (chair:) ====<br /> <br /> [[10:00-10:30]] '''Title TBD''' ''Author TBD'' - Affiliation<br /> <br /> [[:Media:tfpie24-talk.pdf|Presentation slides]]<br /> <br /> [[:Media:tfpie24.pdf|Draft paper]]<br /> <br /> [[10:30 - 11:00]] <br /> <br /> <br /> [[11:00 - 11:30]] Coffee Break<br /> <br /> ==== Keynote (chair: ) ====<br /> <br /> [[11:30 - 12:30]] <br /> <br /> <br /> [[12:30 - 14:00]] Lunch<br /> <br /> ==== Presentation session 2 (chair: ) ====<br /> <br /> [[14:00 - 14:30]] <br /> [[14:30 - 15:00]] <br /> <br /> [[15:00 - 15:30]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: ) ====<br /> <br /> [[15:30 - 16:00]] <br /> <br /> [[16:00 - 16:30]] <br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Sat Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=465 2023-10-24T18:21:55Z

<p>StephenChang: /* The Programme Committee */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: April 19th 2024, Anywhere on Earth.<br /> * Notification of full article: May 24th 2024<br /> * Camera ready: June 28th 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<br /> * [https://www.di.ubi.pt/~desousa/ ''Simão Melo de Sousa''] - University of Algarve, Portugal<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=tfpie2024 ''https://easychair.org/conferences/?conf=tfpie2024'']<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 /> TBD <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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place at [https://www.shu.edu/ Seton Hall University].<br /> <br /> [[09:30 - 9:55]] Breakfast<br /> <br /> [[9:55 - 10:00]] Welcome (Stephen Chang)<br /> <br /> ==== Presentation session 1 (chair:) ====<br /> <br /> [[10:00-10:30]] '''Title TBD''' ''Author TBD'' - Affiliation<br /> <br /> [[:Media:tfpie24-talk.pdf|Presentation slides]]<br /> <br /> [[:Media:tfpie24.pdf|Draft paper]]<br /> <br /> [[10:30 - 11:00]] <br /> <br /> <br /> [[11:00 - 11:30]] Coffee Break<br /> <br /> ==== Keynote (chair: ) ====<br /> <br /> [[11:30 - 12:30]] <br /> <br /> <br /> [[12:30 - 14:00]] Lunch<br /> <br /> ==== Presentation session 2 (chair: ) ====<br /> <br /> [[14:00 - 14:30]] <br /> [[14:30 - 15:00]] <br /> <br /> [[15:00 - 15:30]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: ) ====<br /> <br /> [[15:30 - 16:00]] <br /> <br /> [[16:00 - 16:30]] <br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Sat Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=464 2023-10-24T15:37:24Z

<p>StephenChang: /* The Programme Committee */</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: April 19th 2024, Anywhere on Earth.<br /> * Notification of full article: May 24th 2024<br /> * Camera ready: June 28th 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<br /> * [https://prg.is.titech.ac.jp/people/cong/ ''Youyou Cong''] - Tokyo Institute of Technology, Japan<br /> * [https://www.brinckerhoff.org/ ''John Clements''] - Cal Poly, USA<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=tfpie2024 ''https://easychair.org/conferences/?conf=tfpie2024'']<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 /> TBD <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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place at [https://www.shu.edu/ Seton Hall University].<br /> <br /> [[09:30 - 9:55]] Breakfast<br /> <br /> [[9:55 - 10:00]] Welcome (Stephen Chang)<br /> <br /> ==== Presentation session 1 (chair:) ====<br /> <br /> [[10:00-10:30]] '''Title TBD''' ''Author TBD'' - Affiliation<br /> <br /> [[:Media:tfpie24-talk.pdf|Presentation slides]]<br /> <br /> [[:Media:tfpie24.pdf|Draft paper]]<br /> <br /> [[10:30 - 11:00]] <br /> <br /> <br /> [[11:00 - 11:30]] Coffee Break<br /> <br /> ==== Keynote (chair: ) ====<br /> <br /> [[11:30 - 12:30]] <br /> <br /> <br /> [[12:30 - 14:00]] Lunch<br /> <br /> ==== Presentation session 2 (chair: ) ====<br /> <br /> [[14:00 - 14:30]] <br /> [[14:30 - 15:00]] <br /> <br /> [[15:00 - 15:30]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: ) ====<br /> <br /> [[15:30 - 16:00]] <br /> <br /> [[16:00 - 16:30]] <br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Sat Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2024&diff=463 2023-07-17T16:00:06Z

<p>StephenChang: start TFPIE 2024 page</p> <hr /> <div>=Trends in Functional Programming in Education (TFPIE)=<br /> <br /> Welcome! The 2024 edition of Trends in Functional Programming in Education will be held '''on January 9th in South Orange, New Jersey''' at Seton Hall University in the United States, together with TFP which will be held on January 10-12.<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 2024 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), and Boston, MA, USA (2023) (back in-person).<br /> <br /> == Topics ==<br /> TFPIE 2024 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 /> * Submission deadline: December 26th 2023, Anywhere on Earth<br /> * Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response)<br /> * TFPIE Registration Deadline: TBA<br /> * Workshop: January 9th 2024<br /> * Submission for formal review: April 19th 2024, Anywhere on Earth.<br /> * Notification of full article: May 24th 2024<br /> * Camera ready: June 28th 2024<br /> <br /> == The Programme Committee ==<br /> <br /> * [https://www.cs.umb.edu/~stchang/ ''Stephen Chang (Chair)''] - UMass Boston, USA<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=tfpie2024 ''https://easychair.org/conferences/?conf=tfpie2024'']<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 /> TBD <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 /> == Program ==<br /> <br /> Please attach your slides and a pdf of your pre-submission for the other participants to look at (or send them to: stephen.chang at umb dot edu).<br /> <br /> The conference will take place at [https://www.shu.edu/ Seton Hall University].<br /> <br /> [[09:30 - 9:55]] Breakfast<br /> <br /> [[9:55 - 10:00]] Welcome (Stephen Chang)<br /> <br /> ==== Presentation session 1 (chair:) ====<br /> <br /> [[10:00-10:30]] '''Title TBD''' ''Author TBD'' - Affiliation<br /> <br /> [[:Media:tfpie24-talk.pdf|Presentation slides]]<br /> <br /> [[:Media:tfpie24.pdf|Draft paper]]<br /> <br /> [[10:30 - 11:00]] <br /> <br /> <br /> [[11:00 - 11:30]] Coffee Break<br /> <br /> ==== Keynote (chair: ) ====<br /> <br /> [[11:30 - 12:30]] <br /> <br /> <br /> [[12:30 - 14:00]] Lunch<br /> <br /> ==== Presentation session 2 (chair: ) ====<br /> <br /> [[14:00 - 14:30]] <br /> [[14:30 - 15:00]] <br /> <br /> [[15:00 - 15:30]] Coffee Break<br /> <br /> ==== Presentation session 3 (chair: ) ====<br /> <br /> [[15:30 - 16:00]] <br /> <br /> [[16:00 - 16:30]] <br /> <br /> All participants are welcome to attend all [https://trendsfp.github.io/index.html TFP] events, including the excursion and the dinner on Sat Jan 11th.</div>

StephenChang https://wiki.tfpie.science.ru.nl/index.php?title=Main_Page&diff=462 2023-07-17T15:35:15Z

<p>StephenChang: add 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]</div>

StephenChang