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/