Difference between revisions of "Main Page"

From tfpie
Jump to navigation Jump to search
 
(10 intermediate revisions by 5 users not shown)
Line 35: Line 35:
 
==== [[TFPIE2019]] ====
 
==== [[TFPIE2019]] ====
 
The eighth TFPIE workshop, University of British Columbia, CA, June 11, 2019.
 
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].
+
For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html the current home page of TFPIE 2019].
  
=== Preliminary program ===
+
==== [[TFPIE2020]] ====
Below you can find the preliminary program of TFPIE 2019.  
+
The ninth TFPIE workshop, Krakow, Poland, February 12, 2020.
 +
For more information, consult [http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html the current home page of TFPIE 2020].
  
In particular, timings my still change.
+
==== [[TFPIE2021]] ====
 +
The tenth TFPIE workshop, February 16, 2021. It is organized in collaboration with Lambda Days and TFP. Due to covid, the event is online.
  
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.
+
==== [[TFPIE2022]] ====
 +
The eleventh TFPIE workshop March 16th 2022 online due to COVID. It is organized in collaboration with Lambda Days and TFP.
  
[[8:30 - 9:00]] registration + welcome
+
==== [[TFPIE2023]] ====
 +
The twelfth TFPIE workshop, January 12th 2023 in Boston, Massachusetts, USA in conjunction with [https://popl23.sigplan.org/ POPL 2023 and TFP]
  
[[9:00 - 10:00]] '''invited talk Gregor Kiczales: Functional Programming at the Core of a High Throughput Software Engineering Curriculum'''
+
==== [[TFPIE2024]] ====
 +
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]
  
[[10:00 - 10:15]] break
+
==== [[TFPIE2025]] ====
 
+
The fourteenth TFPIE workshop, January 13th 2025 in Oxford, UK (Oxford University) in conjunction with [https://trendsfp.github.io/ TFP 2025]
 
 
'''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
 

Latest revision as of 16:30, 4 April 2024

MediaWiki has been successfully installed.

Consult the 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 the current home page of TFPIE 2019.

TFPIE2020

The ninth TFPIE workshop, Krakow, Poland, February 12, 2020. For more information, consult the current home page of TFPIE 2020.

TFPIE2021

The tenth TFPIE workshop, February 16, 2021. It is organized in collaboration with Lambda Days and TFP. Due to covid, the event is online.

TFPIE2022

The eleventh TFPIE workshop March 16th 2022 online due to COVID. It is organized in collaboration with Lambda Days and TFP.

TFPIE2023

The twelfth TFPIE workshop, January 12th 2023 in Boston, Massachusetts, USA in conjunction with POPL 2023 and TFP

TFPIE2024

The thirteenth TFPIE workshop, January 9th 2024 in South Orange, New Jersey, USA (Seton Hall University) in conjunction with TFP 2024

TFPIE2025

The fourteenth TFPIE workshop, January 13th 2025 in Oxford, UK (Oxford University) in conjunction with TFP 2025