REMINDER - REMINDER - REMINDER - REMINDER - REMINDER - REMINDER - REMINDER
CALL FOR PARTICIPATION
The First International Symposium
on
Functional Programming Languages
in
Education
(FPLE'95)
4 - 6 December 1995,
Nijmegen-Plasmolen,
The Netherlands
Functional languages are gathering momentum in education because they
facilitate the expression of concepts and structures at a high level of
abstraction. The high level of abstraction makes functional languages
very suited for teaching students how to program. It is the aim of the
FPLE Symposium to show that functional languages can also be used
successfully to teach other important areas, such as algorithms and
data structures, compiler construction, computer architecture, data
base systems, computer graphics, mathematics, problem solving and the
semantics of programming languages.
In the FPLE Symposium the state-of-the-art is presented in the use of
functional languages to support computer science education. Functional
languages are to be understood here in a broad sense, including lazy
and strict functional languages, languages with a powerful functional
subset and algebraic specification formalisms.
Many of the authors who contribute to this symposium advocate that by
using a functional language it is possible to cover more ground than
when using a more traditional approach to teaching.
We are very proud to have David Turner as guest speaker.
This symposium, organized in collaboration with the IFIP 2.8 working group
on functional programming, is a must for anyone who is interested in improving
computer science education. We would greatly appreciate your participation
in this symposium. Please come and help to make this first international
symposium to be a success.
PRELIMINARY PROGRAMME
Monday 4 December:
8:45 Rinus Plasmeijer - Welcome to FPLE' 95
Programming in the small - I
----------------------------
9:00 Elpida Keravnou - Introducing computer science undergraduates
to principles of programming through a functional language
9:45 Andrew Davison - Teaching C after Miranda
10:30 coffee
Programming in the large
------------------------
11:00 Simon Thompson, Steve Hill - Functional programming through
the curriculum
11:45 S. Jarvis, S. Poria, R. Morgan - Understanding LOLITA:
Experiences in teaching large scale functional programming
12:30 lunch
Mathematics
-----------
14:00 Jerzy Karczmarczuk - Functional Programming and Mathematical Objects
14:45 Jeroen Fokker - Explaining algebraic theory with functional programs
15:30 tea
16:00 Invited speaker: David Turner - Elementary strong functional programming
17:00 Discussion
19:00 Conference diner
Tuesday 5 December
8:45 Pieter Hartel - Report from the FPLE programme committee
Programming in the small - II
-----------------------------
9:00 Jean-Pierre Jacquot, J. Guyard - Requirements for an ideal
first language
9:45 Manuel Nunez, Pedro Palao, Ricardo Pena - A second year course on data
structures based on functional programming
10:30 coffee
Induction and recursion
-----------------------
11:00 David Lester, Sava Mintchev - Inducing Students to Induct
11:45 C. T. P. Burton - Conceptual Structures in Recursion
12:30 lunch
Functional languages in data bases and architecture
---------------------------------------------------
14:00 John O'Donnell - From Transistors to Computer Architecture:
Teaching functional circuit specification in Hydra
14:45 Pieter Koopman, Vincent Zweije -
Functional programming in a basic database course
15:30 tea
16:00 Invited lecture: John O'Donnell -
A model lecture on Computer Architecture
17:00 Discussion: Which suited text books and programming environments are
(becoming) available
Wednesday 6 December
8:45 Pieter Hartel and Rinus Plasmeijer - The future of FPLE
Compilers
---------
9:00 Werner E. Kluge, Carsten Rathsack, Sven-Bodo Scholz -
Using pi-red as a Teaching Tool for Functional Programming
9:45 Erik Hilsdale, J. Michael Ashley, R. Kent Dybvig, D. P. Friedman -
Compiler Construction Using Scheme
10:30 coffee
Teaching experience
-------------------
11:00 Pieter Hartel, Bert van Es, Dick Tromp -
Basic proof skills of Computer Science students
11:45 Chris Clack, Colin Myers - The Dys-Functional Student
12:30 lunch
14:00 Discussion: the future of functional languages in education
Programme Committee:
------------------
Hugh Glaser University of Southampton, UK
Pieter Hartel University of Amsterdam, The Netherlands
Paul Hudak Yale University, USA
John Hughes Chalmers University, Sweden
Herbert Kuchen University of Aachen, Germany
Peter Lee Carnegie-Mellon University, USA
Nick Mansurov Moscow University, Russia
Daniel Le Metayer IRISA/INRIA Rennes, France
John O'Donnell University of Glasgow, UK
Rinus Plasmeijer University of Nijmegen, The Netherlands
Organization Committee:
----------------------
Dr. Pieter Hartel University of Amsterdam, The Netherlands
Dr. Nick Mansurov Moscow University, Russia
Prof.dr.ir. Rinus Plasmeijer University of Nijmegen, The Netherlands
Local Organisation:
------------------
Jacqueline Parijs University of Nijmegen <······@cs.kun.nl>
============================================================================
ACCOMMODATION:
------------------------------------
The Symposium will take place in Hotel Restaurant 'De Plasmolen'
Rijksweg 170
6586 AB Plasmolen (near Nijmegen, see description below)
The Netherlands
Telephone: +31-24 696 1444
Fax: +31-24 696 2271
WORKSHOP FEE:
------------------------------------
The Symposium fee covers all lunches, coffee, tea, the conference
dinner, the proceedings published by Springer, cost for making copies
and the like. The Symposium fee is Dfl. 500,- (Dutch Guilders) for
registration before 6 November 1995. For late registration, after
November 6, the fee is Dfl. 600,- Payment can only be made in cash in
Dutch Guilders and has to be made on the day of arrival.
============================================================================
REGISTRATION FORM:
------------------------------------
To be sent to ······@cs.kun.nl
Yes, I would like to attend the FPLE'95 Symposium
-------------------------------------------------
FIRST NAME:
FAMILY NAME:
EMAIL:
AFFILIATION:
DEPARTMENT:
POSTAL ADDRESS:
TELEPHONE NUMBER:
FAX NUMBER:
HOTEL RESERVATION REQUIRED (check one):
[ ] I will not need a place to stay.
[ ] I will need a place to stay. Please reserve a room for me in the hotel.
ROOM PREFERENCE (check one):
[ ] Single room (Dfl. 119,- pp)
[ ] Double room (Dfl. 80,- pp)
ARRIVAL DATE:
DEPARTURE DATE:
[ ] I will join the conference diner on Monday evening, 4 December
REMARKS/SPECIAL NEEDS:
============================================================================