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 <[EMAIL PROTECTED]> ============================================================================ 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 [EMAIL PROTECTED] 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: ============================================================================