Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: <p.k.f.holzenspies@utwente.nl>
To: <p.k.f.holzenspies@utwente.nl>
Subject: [Caml-list] Call for Participation: TFPIE2013 tentative program
Date: Wed, 1 May 2013 00:38:42 +0000	[thread overview]
Message-ID: <E7F535B24A47D747A07D46C0AA82D43D0AAC462C@EXMBX21.ad.utwente.nl> (raw)

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




                 reply	other threads:[~2013-05-01  0:38 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E7F535B24A47D747A07D46C0AA82D43D0AAC462C@EXMBX21.ad.utwente.nl \
    --to=p.k.f.holzenspies@utwente.nl \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox