Functional and Declarative Programming in Education (FDPE05)
A one day workshop on Sunday, 25 September at ICFP05.
The
proceedings are now available at the ACM Portal
.
Here's the short presentation
by Kenichi Asai in the 'tips and tricks' session from the workshop.
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 or in e-learning environments.
Topics:
The workshop will 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, C#, or Eiffel;
- pedagogic programming environments to support functional and declarative
programming;
- teaching tools implemented with functional and declarative languages;
- declarative 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.
Proceedings
The proceedings will
be published by SIGPLAN.
Contributions
Submissions will be sought in two forms:
-
30 minute papers, to be reviewed by the programme
committee and to be published in the proceedings.
-
10 minute slots for `tips and tricks': these will be made
available through the workshop web site.
Submissions now live at
http://continue.cs.brown.edu/servlets/fdpe05/submit.ss
.
Submissions will be refereed by the program organisers who will
call upon other members of the functional/declarative
programming community for expert advice.
Participants who choose to deliver a standard presentation
are asked to submit a draft PDF paper of five pages; presenters of
short talks are asked to submit an abstract of 250 words. These should be submitted
by June 5, 2005. Comments from
the organizers and notice of acceptance will be sent to authors by
June 20, 2005, and submission of
final, revised, versions will be required by
July 12, 2005.
Proceedings will be handled by Sheridan publishing, who regularly work for ACM.
Templates etc for ACM styles are available at
http://www.acm.org/sigs/pubs/proceed/template.html.
Organisers:
Last modified 16 July 2005.