Call for Participation FPLE'95

                                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 <parijs@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 parijs@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)
--

Return to the comp.compilers page.
Search the comp.compilers archives again.