Advanced Functional Programming Schools
Do you want to organize the next Advance Function Programming School?
Please submit a proposal.
Since 1995 there have been six Schools on Advanced Functional Programming in
- 2008, LNCS 5832, Nijmegen, The Netherlands
- 2004, LNCS 3622, Tartu, Estonia
- 2002, LNCS 2638, Oxford, UK
- 1998, LNCS 1608, Braga, Portugal
- 1996, LNCS 1129, Olympia, WA, USA
- 1995, LNCS 925, Baastad, Sweden
The goals of this series of schools are:
The approach we take to achieve these goals in the schools is
- Bring computer scientists, in particular young
researchers and programmers, up to date with the latest
- Use afp techniques in "programming in the real world".
Bridge the gap between results presented at
programming conferences and material from introductory
textbooks on functional programming.
By functional programming we mean programming in a style
that emphasizes the evaluation of expressions rather than the execution
- In depth lectures about afp techniques, taught by
experts in the field.
- Lectures are accompanied by practical problems to be
solved by the students at the school. The problems guide the
students' learning to a great extent. This implies that there
has to be a lab at the school site.
- Group work is stimulated, especially because the practical
problems will typically be too large for a single person.
The Steering committee of the Advanced Functional Programming
Schools makes sure the schools are organized, and reviews proposals
for Advanced Functional Programming Schools. The committee consists
of the organizers of the last five schools. The committee consists
of the following people (with in between parentheses the school they
organized). The chairman is one of the organizers of the last school.
- Peter Achten (AFP6)
- Pedro Henriques (AFP3)
- Johan Jeuring (AFP4, AFP5)
- Simon Peyton Jones (AFP4)
- Pieter Koopman (AFP6)
- Erik Meijer (AFP2)
- Rinus Plasmeijer (Chairman, AFP6)
- Tim Sheard (AFP2
- Doaitse Swierstra (AFP3,AFP6)
- Tarmo Uustalu (AFP5)
- Varmo Vene (AFP5)
For information contact firstname.lastname@example.org