Functional and Decelarative Programming (REVISED PUBLICATION DATES)

Functional and Declarative Programming in Education (FDPE05)
A one day workshop at ICFP05
Sunday, 25 September 2005, Tallin, Estonia

http://www.cs.kent.ac.uk/~sjt/fdpe05/

SECOND CALL FOR SUBMISSIONS

Overview

Functional and declarative programming plays an 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.

Scope

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.

Submissions

Submissions are sought in two forms:

- 30 minute papers, to be reviewed by the workshop organisers 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 will be refereed by the workshop 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.

Important dates:
Submission deadline: June 5
Review deadline: June 15
Final decision: June 20
Final submission: July 12

Proceedings will be published by SIGPLAN through ACM's publishers.

Organisers

Robby Findler, University of Chicago, USA
Michael Hanus, University of Kiel, Germany
Simon Thompson, University of Kent, UK

FDPE05: http://www.cs.kent.ac.uk/~sjt/fdpe05/
ICFP05: http://www.brics.dk/~danvy/icfp05/