tfpie - User contributions [en]

TFPIE2021

2021-02-17T15:26:55Z

OlivierMelancon: /* TFPIE 2021 */

== TFPIE 2021 ==
''Because of the covid pandemic, the event is online this year.''

TFPIE 2021 is the '''10th''' edition of the International Workshop on Trends in Functional Programming in Education. After having been successfully co-located with [https://www.lambdadays.org/lambdadays2020 Lambda Days in 2020], it is now joining forces with [https://www.lambdadays.org/lambdadays2021 Lambda Days 2021] and [http://tfp2021.org TFP 2021]. In the current schedule, TFPIE 2021 will be held on February 16 2021.

=== [[Call For Papers]] ===

=== Submissions via EasyChair ===
We use [https://easychair.org/conferences/?conf=tfpie2021 EasyChair TFPIE 2021] for the paper submission and reviewing process.

=== Proceedings via EPTCS ===
The final proceedings will be published as an [http://about.eptcs.org/ EPTCS volume]. Previous proceedings have appeared as volume 106, 136, 170, 230, 270, 295, 321.

=== Programme committee ===
The programme committee members are:
* Peter Achten, Radboud University, Netherlands (chair)
* Edwin Brady, University of St Andrews, UK
* Laura Castro, Universidade da Coruña, Spain
* Stephen Chang, University of Massachusetts Boston, USA
* Youyou Cong, Tokyo Institute of Technology, Japan
* Matthew Flatt, University of Utah, USA
* Seth Fogarty, Trinity University, San Antonio, USA
* Alex Gerdes, University of Gothenburg, Sweden
* Gabriele Keller, Utrecht University, Netherlands
* Prabhakar Ragde, University of Waterloo, Canada
* Melinda Tóth, Eötvös Loránd University, Budapest, Hungary

=== Program ===
Below you can find the program of TFPIE 2021. Note that all times are in Central European time zone.

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 P.Achten@cs.ru.nl).

[[12:00 - 12:10]] Welcome

'''Keynote I''' (chair: Peter Achten)

[[12:10 - 13:10]] '''Industry versus academia? Learning and teaching programming''' [''[https://www.lambdadays.org/lambdadays2021/francesco-cesarini Francesco Cesarini] and [https://www.lambdadays.org/lambdadays2021/simon-thompson Simon Thompson]'']

[[13:10 - 13:40]] Hello tables (time for mingling)

'''Session I''' (chair: Marc Feeley)

[[13:40 - 14:05]] '''Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach''' ['''Junya Nose''', ''Youyou Cong, Hidehiko Masuhara'' - Tokyo Institute of Technology, Tokyo, Japan]

[[14:05 - 14:30]] '''Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One''' [''Daniil Berezun'', '''Dmitry Boulytchev''' - St. Petersburg State University, St. Petersburg, Russia]

[[14:30 - 14:40]] Coffee break

'''Session II:''' (chair: Dmitry Boulytchev)

[[14:40 - 15:05]] '''Teaching Automated Reasoning and Formally Verified Functional Programming in Agda and Isabelle/HOL''' [''Asta Halkjær From'', '''Jørgen Villadsen''' - DTU Compute, Denmark] [[:Media:TFPIE_AHF_JV.pdf|Paper]] [[:Media:TFPIE_AHF_JV_Slides.pdf|Slides]]

[[15:05 - 15:30]] '''Teaching Programming to Novices Using the codeBoot Online Environment''' [''Marc Feeley'', '''Olivier Melançon''' - Université de Montréal, Canada] [[Media:Teaching_Programming_to_Novices_Using_the_codeBoot_Online_Environment.pdf|Slides]]

[[15:30 - 15:40]] Coffee break

'''Session III:''' (chair: Matthew Flatt)

[[15:40 - 16:05]] '''Design of Classes I''' ['''Marco T. Morazán''' - Seton Hall University, New York, USA]

[[16:05 - 16:30]] '''A Bricklayer-Tech Report''' ['''Victor Winter''', ''Hubert Hickman, Isabella Winter'' - Omaha Nebraska, USA]

[[16:30 - 16:40]] Coffee break

'''Keynote II''' (chair: Marco T. Morazán)

[[16:40 - 17:40]] '''Functorio - having fun with functional programming''' [''[https://www.lambdadays.org/lambdadays2021/bartosz-milewski Bartosz Milewski]'']

'''Ask the experts'''

[[17:40 - 18:10]] Ask the experts

File:Teaching Programming to Novices Using the codeBoot Online Environment.pdf

2021-02-17T13:54:04Z

OlivierMelancon: OlivierMelancon uploaded a new version of File:Teaching Programming to Novices Using the codeBoot Online Environment.pdf

15:05 - 15:30

2021-02-16T17:20:44Z

OlivierMelancon:

== Teaching Programming to Novices Using the codeBoot Online Environment ==

You can download the slides from the talk [[Media:Teaching_Programming_to_Novices_Using_the_codeBoot_Online_Environment.pdf|here]].

15:05 - 15:30

2021-02-16T17:18:14Z

OlivierMelancon:

You can download the slides from the talk here: [[Media:Teaching_Programming_to_Novices_Using_the_codeBoot_Online_Environment.pdf|here]]

15:05 - 15:30

2021-02-16T17:16:11Z

OlivierMelancon:

You can download the slides from the talk here: [[Media:Teaching_Programming_to_Novices_Using_the_codeBoot_Online_Environment.pdf]|alt=here]

15:05 - 15:30

2021-02-16T17:15:28Z

OlivierMelancon:

You can download the slides from the talk here: [[Media:Teaching_Programming_to_Novices_Using_the_codeBoot_Online_Environment.pdf]|here]

15:05 - 15:30

2021-02-16T17:13:58Z

OlivierMelancon:

You can download the slides from the talk here: [[Media:Teaching_Programming_to_Novices_Using_the_codeBoot_Online_Environment.pdf]]

15:05 - 15:30

2021-02-16T17:13:46Z

OlivierMelancon:

You can download the slides from the talk [here [Media:Teaching_Programming_to_Novices_Using_the_codeBoot_Online_Environment.pdf]]

15:05 - 15:30

2021-02-16T17:13:00Z

OlivierMelancon:

You can download the slides from the talk here: [[Media:Teaching_Programming_to_Novices_Using_the_codeBoot_Online_Environment.pdf]]

15:05 - 15:30

2021-02-16T17:12:30Z

OlivierMelancon: Created page with "You can download the slides from the talk here: File:Teaching_Programming_to_Novices_Using_the_codeBoot_Online_Environment.pdf"

You can download the slides from the talk here: [[File:Teaching_Programming_to_Novices_Using_the_codeBoot_Online_Environment.pdf]]

File:Teaching Programming to Novices Using the codeBoot Online Environment.pdf

2021-02-16T17:11:22Z

OlivierMelancon: