Functional and Declarative Programming in Education 2005

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Wed, 19 Jan 2005 09:00:16 +0100

[ This might be also of interest for Curry users ]

----
 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/
 FIRST 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 will be 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. These should be
 submitted by June 4, 2005. Comments from the organizers and notice of
 acceptance will be sent to authors by July 15, 2005.
 Proceedings will be published by SIGPLAN. Details of the publication
 procedure will be given on the workshop web site in due course.
 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/
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Wed Jan 19 2005 - 09:57:47 CET

This archive was generated by hypermail 2.3.0 : Fri Sep 20 2019 - 07:15:05 CEST