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 A. 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 A. Turner
title to be announced
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:
============================================================================
HOW TO TRAVEL to the Hotel Restaurant 'De Plasmolen'
The address of the hotel is:
Hotel Restaurant 'De Plasmolen'
Rijksweg 170
6586 AB Plasmolen (near Nijmegen)
The Netherlands
Telephone: +31-24 696 1444
Fax: +31-24 696 2271
The hotel is situated in a small village in a nice area
near a forest and a small lake.
There are some small restaurants in the neighbourhood.
Bus line 83 or 75 will bring you in Nijmegen within half an hour.
------------------------------------
HOW TO TRAVEL TO PLASMOLEN BY CAR:
Take the motor way A73 which goes from Nijmegen to Boxmeer.
Leave the motor way at the sign Mook, Heumen, Groesbeek.
At the traffic light go straight ahead in the direction Mook
and Plasmolen. When you are in Plasmolen you will find the hotel
on your right-hand side.
------------------------------------
HOW TO TRAVEL TO NIJMEGEN CENTRAL STATION BY TRAIN FROM SCHIPHOL AIRPORT:
At Schiphol Airport take the train in the direction of Duivendrecht.
Change at Duivendrecht (approx. 10 minutes from the airport) for either
a direct train to Nijmegen or the train to Arnhem. In the latter case
change at Arnhem for the train to Nijmegen.
Timetable:
Schiphol -> Nijmegen
Dep.Schiphol Arr. Nijmegen
Saturday 2 December and Monday through Friday
Sunday 3 December
09:02 10:41 1 06:02 07:41 1
09:32 11:22 2 06.41 08.22 2
10:02 11:41 1 07:02 08:41 1
10:32 12:22 2 07:32 09:22 2
11:02 12:41 1 08:02 09:41 1
11:32 13:22 2 08:32 10:22 2
12:02 13:41 1 09:02 10:41 1
12:32 14:22 2 09:32 11:22 2
13:02 14:41 1 10:02 11:41 1
13:32 15:22 2 10:32 12:22 2
14:02 15:41 1 11:02 12:41 1
14:32 16:22 2 11:32 13:22 2
15:02 16:41 1
15:32 17:11 2 Nijmegen - Schiphol
16:02 17:41 1
16:32 18:22 2 07:14 09:01 1
17:02 18:44 1 07:49 09:31 1
17:32 19:22 2 08:20 10:01 1
18:02 19:41 1 08:42 10:31 2
18:32 20:22 2 09:20 11:01 1
19:02 20:41 1 09:42 11:31 2
19:32 21:22 2
20:02 21:43 1 and so on until
20:32 22:22 2
21:02 22:41 1 21:42 23:31 2
21:32 23:22 2 22:20 00:01 1
22:02 23:41 1 22:42 00:31 2
22:32 00:22 2 23:20 01:01 1
23:02 00:41 1
23:32 01:25 1
(1 = change once, in Duivendrecht)
(2 = change twice, the first time in Duivendrecht, the second time in Arnhem)
------------------------------------
HOW TO GET TO PLASMOLEN BY BUS FROM NIJMEGEN CENTRAL STATION:
Timetable bus Nijmegen Central Station - Plasmolen
Bus number 83
-------------
Nijmegen C.S. - Plasmolen
Monday through Friday Saturday Sunday
07.39 08.06 07.55 08.21 09.54
10.16
07.54 08.21 08.25 08.51 10.54
11.16
08.09 08.36 08.55 09.21 11.54
12.16
08.26 08.53
08.39 09.06 every hour until
08.54 09.21
09.27 09.53 18.25 18.47 12.24
12.46
09.55 10.21 18.55 19.17 12.54
13.16
10.27 10.53
10.55 11.21 every hour until and so on until
11.27 11.53
11.55 12.21 00.25 00.47 21.54
22.16
12.10 12.36 22.54
23.16
12.27 12.53 00.11
00.33
12.40 13.06
13.10 13.36
13.27 13.53
13.40 14.06
13.55 13.21
14.10 14.36
14.27 14.53
14.40 15.06
14.55 15.24
15.10 15.39
15.24 15.53
Bus number 83
-------------
Plasmolen - Nijmegen C.S.
Monday through Friday
08.39 09.10
08.54 09.25
09.10 09.31
09.23 09.50
09.56 10.23
10.12 10.39
10.41 11.08
11.12 11.39
11.41 12.08
12.12 12.39
12.41 12.08
13.12 13.39
13.26 13.53
13.41 14.08
13.56 14.23
14.12 14.39
14.26 14.53
14.41 15.08
14.56 15.23
15.12 15.41
15.24 15.53
15.39 16.08
15.54 16.23
16.11 16.40
16.24 16.53
16.39 17.08
16.54 17.23
17.11 17.40
17.24 17.53
17.39 18.08
18.11 18.40
18.39 19.08
19.14 19.40
19.43 20.09
every hour until
23.43 00.09
============================================================================
_______________________________________________________________________
Jacqueline Parijs
University of Nijmegen
Fac. of Mathematics and Informatics
P.O.Box 9010
6500 GL NIJMEGEN
Netherlands
tel.(31-80) 65 26 43 (as from 10 October 1995: (31-24) 3 65 26 43)
fax (31-80) 65 25 25 (as from 10 October 1995: (31-24) 3 65 25 25)
--
Met vriendelijke groet,
Jacqueline Parijs, ······@cs.kun.nl
Universitaire School voor Informatica