[TYPES/announce] Call for Participation: TFPIE2013 tentative program

p.k.f.holzenspies at utwente.nl p.k.f.holzenspies at utwente.nl
Tue Apr 30 20:38:42 EDT 2013


L.S.,

Apologies for multiple copies, please forward to whomever you deem appropriate.

Please find enclosed the Call for Participation for the Second International Workshop on Trends in Functional Programming In Education (TFPIE).

Since the closing of submissions, we have come up with a tentative program for the workshop. Some details, including the title and abstract for the invited talk are to follow. Keep an eye on the website [1]. The program is as follows:

09:00-09:30 From Principles to Practice with Class in the First Year, Sam Tobin-Hochstadt and David Van Horn
09:30-10:00 Structural Induction Principles for Functional Programmers, James Caldwell
10:00-10:30 Hardware design in education using CλaSH, Rinse Wester, Jan Kuper and Christiaan Baaij
10:30-10:45 Break
10:45-12:15 Invited talk: Matthew Flatt
12:15-13:45 Lunch
13:45-14:15 Racket Fun-ctional Programming to Elementary Mathematic Teachers, Dalit Levy
14:15-14:45 Functional Reactive Programming in K12 Education, John Peterson and Alan Cleary
14:45-15:15 Steps towards teaching the Clojure programming language in an introductory CS class, Elena Machkasova, Stephen J. Adams and Joseph Einertson
15:15-15:30 Break
15:30-16:30 Panel discussion

If you are in any way involved or interested in the education of/with functional programming, please come and attend the workshop. Any input, both formal and informal, will surely be greatly appreciated, both by the authors and the organizers.

Please forward this CfP to whatever forum you consider appropriate.

Regards,

Philip K.F. Hölzenspies
Programme Committee Chair TFPIE 2013

[1] http://wwwhome.ewi.utwente.nl/~holzenspiespkf/TFPIE2013.html





More information about the Types-announce mailing list