Difference between revisions of "TFPIE2019"

From tfpie
Line 2: Line 2:
  
 
For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2019/
 
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

Revision as of 14:42, 28 May 2019

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