Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
* [Caml-list] Call for Participation: TFPIE2013 tentative program
@ 2013-05-01  0:38 p.k.f.holzenspies
  0 siblings, 0 replies; only message in thread
From: p.k.f.holzenspies @ 2013-05-01  0:38 UTC (permalink / raw)
  To: p.k.f.holzenspies

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




^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2013-05-01  0:38 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-05-01  0:38 [Caml-list] Call for Participation: TFPIE2013 tentative program p.k.f.holzenspies

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox