tfpie - User contributions [en]

TFPIE2020

2020-02-11T10:59:21Z

Jurriaanhage:

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

The location for the workshop is

'''Computer Science Centre of AGH'''

'''ul. Kawiory 21, Krakow'''

'''Room 1.19 on the ground floor'''

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to j.hage@uu.nl so I can do it).

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan''] [[File:Morazan-TFPIE-2020-Prog-InnerCity.pdf]]

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''A better rainfall problem? (position talk)''' [''Peter Achten'']

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

TFPIE2020

2020-02-11T10:58:42Z

Jurriaanhage:

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

The location for the workshop is

'''Computer Science Centre of AGH'''

'''ul. Kawiory 21, Krakow'''

'''Room 1.19 on the ground floor'''

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to j.hage@uu.nl so I can do it).

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan''] [[Morazan-TFPIE-2020-Prog-InnerCity.pdf]]

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''A better rainfall problem? (position talk)''' [''Peter Achten'']

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

File:Morazan-TFPIE-2020-Prog-InnerCity.pdf

2020-02-11T10:56:12Z

Jurriaanhage:

TFPIE2020

2020-02-06T10:28:19Z

Jurriaanhage:

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

The location for the workshop is

'''Computer Science Centre of AGH'''

'''ul. Kawiory 21, Krakow'''

'''Room 1.19 on the ground floor'''

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to j.hage@uu.nl so I can do it).

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''A better rainfall problem? (position talk)''' [''Peter Achten'']

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

TFPIE2020

2020-02-06T10:25:45Z

Jurriaanhage:

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

The location for the workshop is

'''Computer Science Centre of AGH'''

'''ul. Kawiory 21, Krakow'''

'''Room 1.19 no the ground floor'''

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to j.hage@uu.nl so I can do it).

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''A better rainfall problem? (position talk)''' [''Peter Achten'']

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

TFPIE2020

2020-02-06T07:23:23Z

Jurriaanhage:

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

The location for the workshop is

'''Computer Science Centre of AGH'''

'''ul. Kawiory 21, Krakow'''

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to j.hage@uu.nl so I can do it).

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''A better rainfall problem? (position talk)''' [''Peter Achten'']

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

TFPIE2020

2020-02-06T07:23:10Z

Jurriaanhage:

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

The location for the workshop is

'''Computer Science Centre of AGH'''
'''ul. Kawiory 21, Krakow'''

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to j.hage@uu.nl so I can do it).

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''A better rainfall problem? (position talk)''' [''Peter Achten'']

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

TFPIE2020

2020-02-06T07:22:57Z

Jurriaanhage:

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

The location for the workshop is

'''Computer Science Centre of AGH
ul. Kawiory 21, Krakow'''

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to j.hage@uu.nl so I can do it).

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''A better rainfall problem? (position talk)''' [''Peter Achten'']

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

TFPIE2020

2020-02-06T07:22:39Z

Jurriaanhage:

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

The location for the workshop is

Computer Science Centre of AGH
ul. Kawiory 21, Krakow

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to j.hage@uu.nl so I can do it).

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''A better rainfall problem? (position talk)''' [''Peter Achten'']

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

TFPIE2020

2020-02-03T09:25:07Z

Jurriaanhage:

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

** The location of the venue will be published here **

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to j.hage@uu.nl so I can do it).

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''A better rainfall problem? (position talk)''' [''Peter Achten'']

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

TFPIE2020

2020-02-03T07:59:12Z

Jurriaanhage:

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

** The location of the venue will be published here **

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to j.hage@uu.nl so I can do it).

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''The Rainfall problem (best lecture)''' [''Peter Achten'']

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

TFPIE2020

2020-02-03T07:58:54Z

Jurriaanhage:

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

** The location of the venue will be published here **

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to j.hage@uu.nl so I can do it).

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''The Rainfall problem (best lecture)''' [''Peter Achten'']

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

TFPIE2020

2020-02-03T07:58:07Z

Jurriaanhage:

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

** The location of the venue will be published here **

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here.

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''The Rainfall problem (best lecture)''' [''Peter Achten'']

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

TFPIE2020

2020-02-03T07:57:23Z

Jurriaanhage: Created page with "The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Sym..."

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

** The location of the venue will be published here **

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here.

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''The Rainfall problem (best lecture)''' [''Peter Achten'']

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

Main Page

2020-02-03T07:44:28Z

Jurriaanhage:

TFPIE2019

2019-06-11T04:54:18Z

Jurriaanhage:

The 8th International Workshop on Trends in Functional Programming in Education, TFPIE 2019, will be held on June 11, 2019 at the University of British Columbia, Canada. It is co-located with the Symposium on Trends in Functional Programming (TFP 2019) which takes place from June 12 - 14, 2019.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2019/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2019.

The location where TFPIE will be held is the same as for TFP. That information is at https://www.tfp2019.org/local-info.html

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here.

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Gregor Kiczales: Functional Programming at the Core of a High Throughput Software Engineering Curriculum'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Prabhakar Ragde]

[[10:30 - 11:00]] '''How to Design while Loops''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Haskell for Everyone: An IDE Created by Students''' [''Barry Burd'']

[[11:30 - 12:00]] '''Modelling Distributed Computation with Petri Nets so Children Can Program Multiplayer Universes''' [''Christopher Schankula, Lucas Dutton, Nhan Thai, Emily Ham, Jessica Schultz, Ankit Kapoor, Yumna Irfan, Padma Pasupathi, Stephanie Koehl, Tanya Bouman, Chitwan Sharma, Pedram Yazdinia, Curtis d'Alves and Christopher K. Anand'']

[[12:00 - 13:45]] lunch

'''Session II:''' [chair: Jurriaan Hage]

[[13:45 - 14:30]] '''A Unified Framework for Purely-Functional Balanced Binary Search Trees (Best Lecture Presentation)''' [''Prabhakar Ragde'']

[[14:30 - 15:00]] '''ComMotion: Using Animation to Illustrate Functional Programming Concepts''' [''Barry Burd'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:00]] '''Ray Tracing Motivating Application in Teaching Functional Programming''' [''Pedro Figueirêdo, Yuri Kim, Nghia Le Minh, Evan Sitt, Xue Ying, and Viktoria Zsok'']

[[16:00 - 16:30]] '''Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs''' [''Oliver Westphal and Janis Voigtländer'']

[[16:30 - 16:55]] '''plenary discussion'''

[[16:55 - 17:00]] close

TFPIE2019

2019-06-11T04:53:43Z

Jurriaanhage:

The 8th International Workshop on Trends in Functional Programming in Education, TFPIE 2019, will be held on June 11, 2019 at the University of British Columbia, Canada. It is co-located with the Symposium on Trends in Functional Programming (TFP 2019) which takes place from June 12 - 14, 2019.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2019/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2019.

The location where TFPIE will be held is the same as for TFP. That information is [here](https://www.tfp2019.org/local-info.html)

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here.

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Gregor Kiczales: Functional Programming at the Core of a High Throughput Software Engineering Curriculum'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Prabhakar Ragde]

[[10:30 - 11:00]] '''How to Design while Loops''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Haskell for Everyone: An IDE Created by Students''' [''Barry Burd'']

[[11:30 - 12:00]] '''Modelling Distributed Computation with Petri Nets so Children Can Program Multiplayer Universes''' [''Christopher Schankula, Lucas Dutton, Nhan Thai, Emily Ham, Jessica Schultz, Ankit Kapoor, Yumna Irfan, Padma Pasupathi, Stephanie Koehl, Tanya Bouman, Chitwan Sharma, Pedram Yazdinia, Curtis d'Alves and Christopher K. Anand'']

[[12:00 - 13:45]] lunch

'''Session II:''' [chair: Jurriaan Hage]

[[13:45 - 14:30]] '''A Unified Framework for Purely-Functional Balanced Binary Search Trees (Best Lecture Presentation)''' [''Prabhakar Ragde'']

[[14:30 - 15:00]] '''ComMotion: Using Animation to Illustrate Functional Programming Concepts''' [''Barry Burd'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:00]] '''Ray Tracing Motivating Application in Teaching Functional Programming''' [''Pedro Figueirêdo, Yuri Kim, Nghia Le Minh, Evan Sitt, Xue Ying, and Viktoria Zsok'']

[[16:00 - 16:30]] '''Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs''' [''Oliver Westphal and Janis Voigtländer'']

[[16:30 - 16:55]] '''plenary discussion'''

[[16:55 - 17:00]] close

TFPIE2019

2019-06-06T12:55:58Z

Jurriaanhage:

The 8th International Workshop on Trends in Functional Programming in Education, TFPIE 2019, will be held on June 11, 2019 at the University of British Columbia, Canada. It is co-located with the Symposium on Trends in Functional Programming (TFP 2019) which takes place from June 12 - 14, 2019.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2019/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2019.

In particular, timings my still change.

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here.

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Gregor Kiczales: Functional Programming at the Core of a High Throughput Software Engineering Curriculum'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Prabhakar Ragde]

[[10:30 - 11:00]] '''How to Design while Loops''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Haskell for Everyone: An IDE Created by Students''' [''Barry Burd'']

[[11:30 - 12:00]] '''Modelling Distributed Computation with Petri Nets so Children Can Program Multiplayer Universes''' [''Christopher Schankula, Lucas Dutton, Nhan Thai, Emily Ham, Jessica Schultz, Ankit Kapoor, Yumna Irfan, Padma Pasupathi, Stephanie Koehl, Tanya Bouman, Chitwan Sharma, Pedram Yazdinia, Curtis d'Alves and Christopher K. Anand'']

[[12:00 - 13:45]] lunch

'''Session II:''' [chair: Jurriaan Hage]

[[13:45 - 14:30]] '''A Unified Framework for Purely-Functional Balanced Binary Search Trees (Best Lecture Presentation)''' [''Prabhakar Ragde'']

[[14:30 - 15:00]] '''ComMotion: Using Animation to Illustrate Functional Programming Concepts''' [''Barry Burd'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:00]] '''Ray Tracing Motivating Application in Teaching Functional Programming''' [''Pedro Figueirêdo, Yuri Kim, Nghia Le Minh, Evan Sitt, Xue Ying, and Viktoria Zsok'']

[[16:00 - 16:30]] '''Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs''' [''Oliver Westphal and Janis Voigtländer'']

[[16:30 - 16:55]] '''plenary discussion'''

[[16:55 - 17:00]] close

TFPIE2019

2019-06-06T12:44:08Z

Jurriaanhage:

The 8th International Workshop on Trends in Functional Programming in Education, TFPIE 2019, will be held on June 11, 2019 at the University of British Columbia, Canada. It is co-located with the Symposium on Trends in Functional Programming (TFP 2019) which takes place from June 12 - 14, 2019.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2019/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2019.

In particular, timings my still change.

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here.

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Gregor Kiczales: Functional Programming at the Core of a High Throughput Software Engineering Curriculum'''

[[10:00 - 10:30]] break

'''Session I''' [chair: tba]

[[10:30 - 11:00]] '''How to Design while Loops''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Haskell for Everyone: An IDE Created by Students''' [''Barry Burd'']

[[11:30 - 12:00]] '''Modelling Distributed Computation with Petri Nets so Children Can Program Multiplayer Universes''' [''Christopher Schankula, Lucas Dutton, Nhan Thai, Emily Ham, Jessica Schultz, Ankit Kapoor, Yumna Irfan, Padma Pasupathi, Stephanie Koehl, Tanya Bouman, Chitwan Sharma, Pedram Yazdinia, Curtis d'Alves and Christopher K. Anand'']

[[12:00 - 13:45]] lunch

'''Session II:''' [chair: tba]

[[13:45 - 14:30]] '''A Unified Framework for Purely-Functional Balanced Binary Search Trees (Best Lecture Presentation)''' [''Prabhakar Ragde'']

[[14:30 - 15:00]] '''ComMotion: Using Animation to Illustrate Functional Programming Concepts''' [''Barry Burd'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: tba]

[[15:30 - 16:00]] '''Ray Tracing Motivating Application in Teaching Functional Programming''' [''Pedro Figueirêdo, Yuri Kim, Nghia Le Minh, Evan Sitt, Xue Ying, and Viktoria Zsok'']

[[16:00 - 16:30]] '''Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs''' [''Oliver Westphal and Janis Voigtländer'']

[[16:30 - 16:55]] '''plenary discussion'''

[[16:55 - 17:00]] close

Main Page

2019-05-28T12:43:17Z

Jurriaanhage:

TFPIE2019

2019-05-28T12:42:34Z

Jurriaanhage:

The 8th International Workshop on Trends in Functional Programming in Education, TFPIE 2019, will be held on June 11, 2019 at the University of British Columbia, Canada. It is co-located with the Symposium on Trends in Functional Programming (TFP 2019) which takes place from June 12 - 14, 2019.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2019/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2019.

In particular, timings my still change.

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here.

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Gregor Kiczales: Functional Programming at the Core of a High Throughput Software Engineering Curriculum'''

[[10:00 - 10:30]] break

'''Session I''' [chair: tba]

[[10:30 - 11:00]] '''How to Design while Loops''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Haskell for Everyone: An IDE Created by Students''' [''Barry Burd'']

[[11:30 - 12:00]] '''Modelling Distributed Computation with Petri Nets so Children Can Program Multiplayer Universes''' [''Christopher Schankula, Lucas Dutton, Nhan Thai, Emily Ham, Jessica Schultz, Ankit Kapoor, Yumna Irfan, Padma Pasupathi, Stephanie Koehl, Tanya Bouman, Chitwan Sharma, Pedram Yazdinia, Curtis d'Alves and Christopher K. Anand'']

[[12:00 - 13:45]] lunch

'''Session II:'' [chair: tba]

[[13:45 - 14:30]] '''A Unified Framework for Purely-Functional Balanced Binary Search Trees (Best Lecture Presentation)''' [''Prabhakar Ragde'']

[[14:30 - 15:00]] '''ComMotion: Using Animation to Illustrate Functional Programming Concepts
''' [''Barry Burd'']

[[15:00 - 15:30]] break

'''Session III:'' [chair: tba]

[[15:30 - 16:00]] '''Ray Tracing Motivating Application in Teaching Functional Programming''' [''Pedro Figueirêdo, Yuri Kim, Nghia Le Minh, Evan Sitt and Viktoria Zsok'']

[[16:00 - 16:30]] '''Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs''' [''Oliver Westphal and Janis Voigtländer'']

[[16:30 - 16:55]] '''plenary discussion''' [chair: Peter Achten]

[[16:55 - 17:00]] close

Main Page

2019-05-28T12:05:39Z

Jurriaanhage: /* TFPIE2019 */

'''MediaWiki has been successfully installed.'''

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== TFPIE ==
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.

=== TFPIE wiki ===
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.

=== TFPIE workshops ===
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.

==== [[TFPIE2012]] ====
The first TFPIE workshop, University of St. Andrews, Scotland, June 11th 2012.

==== [[TFPIE2013]] ====
The second TFPIE workshop, Brigham Young University, Provo, Utah, USA, May 13 2013.

==== [[TFPIE2014]] ====
The third TFPIE workshop, Soesterberg at 'Kontakt der Kontinenten', The Netherlands, May 25 2014.

==== [[TFPIE2015]] ====
The fourth TFPIE workshop, Sophia-Antipolis, France, June 2, 2015.

==== [[TFPIE2016]] ====
The fifth TFPIE workshop, University of Maryland College Park, USA, June 7, 2016.

==== [[TFPIE2017]] ====
The sixth TFPIE workshop, University of Kent, UK, June 22, 2017.

==== [[TFPIE2018]] ====
The seventh TFPIE workshop, Chalmers University, Sweden, June 14, 2018.

==== [[TFPIE2019]] ====
The eighth TFPIE workshop, University of British Columbia, CA, June 11, 2019.
For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html the current home page of TFPIE 2019].

=== Preliminary program ===
Below you can find the preliminary program of TFPIE 2019.

In particular, timings my still change.

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here.

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Gregor Kiczales: Functional Programming at the Core of a High Throughput Software Engineering Curriculum'''

[[10:00 - 10:15]] break

'''Session I''' [chair: tba]

[[10:30 - 11:00]] '''How to Design while Loops''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Haskell for Everyone: An IDE Created by Students''' [''Barry Burd'']

[[10:55 - 11:15]] '''Modelling Distributed Computation with Petri Nets so Children Can Program Multiplayer Universes''' [''Christopher Schankula, Lucas Dutton, Nhan Thai, Emily Ham, Jessica Schultz, Ankit Kapoor, Yumna Irfan, Padma Pasupathi, Stephanie Koehl, Tanya Bouman, Chitwan Sharma, Pedram Yazdinia, Curtis d'Alves and Christopher K. Anand'']

[[12:30 - 13:45]] lunch

'''Session II:'' [chair: tba]

[[13:45 - 14:30]] '''A Unified Framework for Purely-Functional Balanced Binary Search Trees (Best Lecture Presentation)''' [''Prabhakar Ragde'']

[[14:30 - 15:00]] '''ComMotion: Using Animation to Illustrate Functional Programming Concepts
''' [''Barry Burd'']

[[15:00 - 15:30]] break

'''Session III:'' [chair: tba]

[[15:30 - 16:00]] '''Ray Tracing Motivating Application in Teaching Functional Programming''' [''Pedro Figueirêdo, Yuri Kim, Nghia Le Minh, Evan Sitt and Viktoria Zsok'']

[[16:00 - 16:30]] '''Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs''' [''Oliver Westphal and Janis Voigtländer'']

[[16:30 - 16:55]] '''plenary discussion''' [chair: Peter Achten]

[[16:55 - 17:00]] close

Main Page

2019-05-28T12:05:03Z

Jurriaanhage: /* TFPIE2019 */

'''MediaWiki has been successfully installed.'''

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== TFPIE ==
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.

=== TFPIE wiki ===
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.

=== TFPIE workshops ===
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.

==== [[TFPIE2012]] ====
The first TFPIE workshop, University of St. Andrews, Scotland, June 11th 2012.

==== [[TFPIE2013]] ====
The second TFPIE workshop, Brigham Young University, Provo, Utah, USA, May 13 2013.

==== [[TFPIE2014]] ====
The third TFPIE workshop, Soesterberg at 'Kontakt der Kontinenten', The Netherlands, May 25 2014.

==== [[TFPIE2015]] ====
The fourth TFPIE workshop, Sophia-Antipolis, France, June 2, 2015.

==== [[TFPIE2016]] ====
The fifth TFPIE workshop, University of Maryland College Park, USA, June 7, 2016.

==== [[TFPIE2017]] ====
The sixth TFPIE workshop, University of Kent, UK, June 22, 2017.

==== [[TFPIE2018]] ====
The seventh TFPIE workshop, Chalmers University, Sweden, June 14, 2018.

==== [[TFPIE2019]] ====
The eighth TFPIE workshop, University of British Columbia, CA, June 11, 2019.
For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html the current home page of TFPIE 2014].

=== Preliminary program ===
Below you can find the preliminary program of TFPIE 2019.

In particular, timings my still change.

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here.

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Gregor Kiczales: Functional Programming at the Core of a High Throughput Software Engineering Curriculum'''

[[10:00 - 10:15]] break

'''Session I''' [chair: tba]

[[10:30 - 11:00]] '''How to Design while Loops''' [''Marco T. Morazan'']

[[11:00 - 11:30]] '''Haskell for Everyone: An IDE Created by Students''' [''Barry Burd'']

[[10:55 - 11:15]] '''Modelling Distributed Computation with Petri Nets so Children Can Program Multiplayer Universes''' [''Christopher Schankula, Lucas Dutton, Nhan Thai, Emily Ham, Jessica Schultz, Ankit Kapoor, Yumna Irfan, Padma Pasupathi, Stephanie Koehl, Tanya Bouman, Chitwan Sharma, Pedram Yazdinia, Curtis d'Alves and Christopher K. Anand'']

[[12:30 - 13:45]] lunch

'''Session II:'' [chair: tba]

[[13:45 - 14:30]] '''A Unified Framework for Purely-Functional Balanced Binary Search Trees (Best Lecture Presentation)''' [''Prabhakar Ragde'']

[[14:30 - 15:00]] '''ComMotion: Using Animation to Illustrate Functional Programming Concepts
''' [''Barry Burd'']

[[15:00 - 15:30]] break

'''Session III:'' [chair: tba]

[[15:30 - 16:00]] '''Ray Tracing Motivating Application in Teaching Functional Programming''' [''Pedro Figueirêdo, Yuri Kim, Nghia Le Minh, Evan Sitt and Viktoria Zsok'']

[[16:00 - 16:30]] '''Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs''' [''Oliver Westphal and Janis Voigtländer'']

[[16:30 - 16:55]] '''plenary discussion''' [chair: Peter Achten]

[[16:55 - 17:00]] close

File:TFPIE2012 Draft HolmesForHaskell Hage and Vermeer.pdf

2012-05-31T12:17:05Z

Jurriaanhage: