Functional and Declarative Programming in Education 1999
A one day workshop at PLI 99, 29 September 1999
http://www.cs.ukc.ac.uk/people/staff/sjt/Misc/DPE99.html
------------------------------------------------------------------------
Goal:
Functional and declarative programming plays an increasingly important role
in computing education at all levels. The aim of this workshop is to bring
together educators and others who are interested in exchanging ideas on how
to use a functional or declarative programming style in the classroom.
Topics:
The workshop is intended to cover a wide spectrum of functional and
declarative programming techniques:
* programming courses using traditional functional and declarative
programming languages (Haskell, Mathematica, ML, Prolog, Scheme, ...);
* programming courses teaching functional programming in commercial
languages (e.g. C, C++, or Common LISP);
* programming courses teaching functional program design in modern OO
languages like Java, Pizza, or GJ;
* pedagogic programming environments;
* programming language extensions and implementations with pedagogical
relevance;
* application courses that benefit heavily from functional and
declarative programming (e.g. theorem proving or hardware design).
Furthermore, the workshop will also cover all levels of education:
* secondary school;
* college and university;
* post-college and continuing professional education.
Call for submissions:
Submissions are sought in two forms:
* Standard presentations (30 minutes): these will cover an issue in some
depth.
* Short talks or "tricks of the trade" presentations (10-15 minutes):
these presentations
will focus on small but neat ideas, useful in the classroom, for
projects, or assessments.
The inclusion of the short papers is to encourage participation of attendees
of the main conferences. Whilst not wishing to contribute a long paper, many
people will have `tricks' or `tips' to share with the community. Short
presentations are the appropriate vehicle for precisely this purpose.
Proceedings:
The proceedings, which will contain standard presentations and abstracts of
short talks, will appear as a technical report of Rice University and also
at the Web site for the workshop. Attendees at the workshop will receive a
copy of the proceedings.
Presenters of short talks will be able to distribute their talks via the Web
site should they so wish.
Submission procedure:
Submissions will be refereed by the program organisers.
Participants who choose to deliver a standard presentation are asked to
submit a draft PostScript paper of five pages; presenters of short talks are
asked to submit an abstract of 250 words. These should be sent to Simon
Thompson ([EMAIL PROTECTED]) by June 15, 1999. Comments from the organizers
and notice of acceptance will be sent to authors by July 15, 1999. The deadline
for final PostScript papers for inclusion in the proceedings will be August 15, 1999.
Organisers:
Matthias Felleisen Michael Hanus Simon Thompson
Rice University, USA RWTH Aachen, Germany University of Kent, UK
