Sixth International Summer School on
Advanced Functional Programming
May 19 - 24 2008
The Ninth Symposium on
Trends in Functional Programming
Invited speakers: prof. Henk Barendregt and Gert Veldhuizen van Zanten (Getronics PinkRoccade)
May 26 - 28 2008
|About TFP||Latest News|
|About AFP||About TFP|
|AFP is a series of international summer schools which aims to bring computer scientists, in particular young researchers and programmers, up to date with the latest advances in practical functional programming. The main focus of the school is on the interface between results presented at programming conferences and the programming in the real world. Read more... This is the sixth event in the series. The previous schools were held in Tartu (Estonia, 2004), Oxford (UK, 2002), Braga (Portugal, 1998), Olympia (Washington, USA, 1996), and Båstad (Sweden, 1995). AFP'08 is organized by the Software Technology department of the Radboud University Nijmegen and the Software Technology Group of Utrecht University.||TFP is a series of international symposia dedicated to promoting new research directions related to the field of functional programming and to investigate the relationships of functional programming with other branches of computer science. It is designed to be a platform for novel and upcoming research, combined with a post-event refereeing process and a formal publication of selected papers as a book. In particular we encourage young researchers to present their work at TFP. In recognition of the extra effort spent in giving polished presentations the programme committee of TFP each year gives out a Best Student Paper award. Read more... This is the ninth event in the series. Previous symposia were held in New York (USA, 2007), Nottingham (England, 2006), Tallinn (Estonia, 2005), Munich (Germany, 2004), Edinburgh (Scotland, 2003), Stirling (Scotland, 2001), St. Andrews (Scotland, 2000), and Stirling (Scotland, 1999). TFP'08 is organized by the Department of Software Technology of the Radboud University Nijmegen.|
The sixth AFP and the ninth TFP will be held subsequently during the second half of May in 2008 in The Netherlands, at Center Parcs "Het Heijderbos". For more information about the venue, see below. Both events have a strong focus at attracting young researchers, both in education (AFP) and novel research (TFP). The combination of AFP and TFP is an excellent opportunity to get introduced to advanced and state-of-art functional programming subjects. AFP features lectures given by experts in the field, and TFP solicits for high quality contributions. Authors can submit a paper to TFP in the form of an extended abstract or a full paper. For more details, please see the call for papers. Acceptance of contributions is based on these submissions. Accepted papers can be revised as many times as desired prior to the symposium. They will be distributed at the symposium, and made available on-line. All authors are invited to submit revised papers for the formal post-symposium proceedings. All submissions are judged by standard symposium criteria. Detailed author instructions can be found here.
AFP'08 and TFP'08 will be held in The Netherlands, at Center Parcs "Het Heijderbos" which is a holiday resort in the woodlands near the city of Nijmegen. The arrangement includes accomodation, conference, breakfast-lunch-diner and proceedings (as well as speakers for AFP, and social event for TFP). You can check-in at the venue one day prior to each event and check-out one day after each event. See also the time-table of checking-in and checking-out. We accomodate participants in DeLuxe Cottages, each of which has three separate bed-rooms, shared bathroom, toilet, kitchen, and terrace. Each bed-room has two beds (one with 2-person bed; one with lits-jumeaux, one with bunk bed (1.90m)). Cottages will be shared by three participants. If you wish to reduce costs, you can choose to share a bedroom. The summer school and symposium will take place in the business center of the venue. Breakfast, lunch and diner is also arranged within the limits of the venue. Following the lead of TFP'07, this year's TFP also offers a social event, in which we will visit Nijmegen and have the conference diner at the river The Waal. The resort features, amongst others, a sub-tropical swimming pool, restaurants, shops, water sports lake, midget golf court, squash court, and outdoor and indoor tennis courts. In order to get a further impression, you can find some photo's of Center Parcs "Het Heijderbos".
Nijmegen is considered to be the oldest city of the Netherlands, being approximately 2000 years old. Nijmegen is located at the east border of the Netherlands, near Germany. Nijmegen can be reached easily from several airports such as Schiphol airport, Eindhoven airport, and Düsseldorf airport, as well as by train and car. Conveniently close to Center Parcs "Het Heijderbos" you will find airport Weeze in Germany. The venue Center Parcs "Het Heijderbos" can be reached from Nijmegen by train to Boxmeer (25 minutes). From there you will need to order a taxi. The venue can also be reached by car: parking is free for participants of AFP'08 and TFP'08. Detailed traveling information will be announced. You can check the time table for the train at the national railways site (added).
|Call for Participation AFP'08|
|Early registration of AFP'08 and TFP'08 opens||march 1 2008|
|Deadline submission full papers or extended abstracts TFP'08||march 10 2008 (deadline extended)|
|Notification of acceptance (TFP'08), including student paper feedback||march 31 2008|
|Early registration closes||april 16 2008 (deadline extended)|
|Late registration of AFP'08 and TFP'08 opens||april 17 2008 (due to extended deadline early registration)|
|Late registration closes||may 5 2008|
|Deadline submission of camera-ready formatted papers TFP'08||may 5 2008|
|AFP'08||19 - 24 may 2008|
|TFP'08||26 - 28 may 2008|
|Deadline submission revised papers TFP'08||june 27 2008 (deadline extended)|
|Notification of acceptance revised papers TFP'08||september 7 2008|
|Camera-ready copy of revised paper||september 21 2008|
The full address of the venue is: (new)
Center Parcs "Het Heijderbos"
Here is a link to Google maps. (new)
Information in case you're traveling by:
Here you can find the reserved taxis. You can find them at the gate (where the bus for the social event was waiting). Please be on time, because you will miss the train otherwise.
The submission site is open. Please note that a few problems have been solved in the latest version of the LaTeX style and guidelines.
The following speakers, in alphabetic order, will give the lectures:
The TFP program features 30 presentations in the following areas:
The social event takes place on tuesday afternoon, and ends with the symposium dinner
|The program of TFP 2008 can be found here. (updated )|
AFP'08 and TFP'08 are held in Center Parcs "Het Heijderbos". This arrangement covers accomodation, conference, meals, and proceedings. Note that you can check-in one day prior to the start of each event, and check-out one day after each event (see also the time-table below). We have booked a limited number of DeLuxe cottages for participants. For this reason we require each person who registers to pay the fee within two weeks after registration. Early registration is possible for both events starting at march 1 2008 until april 16 2008. Late registration closes at may 5 2008 (together with uploading of final version of pre-symposium papers for TFP'08). We cannot guarantee accomodation for registrations later than may 5 2008. If you attend both events, then you will receive a reduction of €50. The registration site informs you about the fee. For your convenience, we have included the fee rules here as well:
The fee should be paid within two weeks after registration by means of a banktransfer to:
|To:||Stichting Katholieke Universiteit
Fonds Wetenschapsbeoefening Faculteit der Natuurwetenschappen
|Account nr:||188.8.131.524 Fortisbank Nijmegen|
|Please mention the following number:||6200396|
|In case you need to specify an address of the university: (added)||Heyendaalseweg 135
6525 AJ Nijmegen
|In case you need to specify an address of the bank: (added)||
|In case you need to specify the telephone number of the bank: (added)||010 - 4012059|
If you register, you commit yourself to paying the fee within two weeks after registration. If we have not received your fee, we cancel your registration.
The registration site is closed. If you wish to attend AFP and/or TFP, then please contact the organization.
Note for Safari users: We have noticed that the registration site has problems when using the Safari browser. When entering the registration code, please do not use the mouse button to press the button, but use the tab key to proceed to the button. Alternatively, the site works well with Firefox and Explorer.
The list of registered participants for AFP and TFP.
We have taken great care to reduce the registration cost as much as possible. We can grant a subsidy for a limited number of PhD student participants who wish to attend AFP for whom the costs are still too high. In order to apply for this subsidy, you need to send (by surface mail or e-mail) a request for subsidy which contains your personal information, affiliation, a description of your current status, project description, a motivation why you should receive the grant, and a recommendation from your PhD supervisor. This letter should arrive before april 7 2008 to:
Radboud University Nijmegen
You will receive a notification whether your request has been granted before april 14 2008.
The DeLuxe cottages have been booked starting one day before each event (this includes diner), and ending one day after each event (this includes breakfast). The table below tells you when you can check-in and check-out. If you attend both events, then you will stay in the same cottage during the entire period.
|AFP only|| sunday, 18th of may 2008
||sunday, 25th of may 2008|
|AFP and TFP||sunday, 18th of may 2008||thursday, 29th of may 2008|
|TFP only||sunday, 25th of may 2008||thursday, 29th of may 2008|
(new) Registration at the 18th of may is possible from 14:00h - 21:00h. Registration will take place in the business center of Center Parcs "Het Heijderbos".
(new) Registration at the 25th of may is possible from 15:00h - 21:00h. Registration will take place in the business center of Center Parcs "Het Heijderbos".
If you arrive outside these hours, then you can go to the guest service lodge which is open 24h a day, where you can get the cottage number and room.
Important information (new):
In case your fee has arrived at our bank account, you will receive a receipt at registration that confirms this. We know several people are experiencing problems with the fee payment. In case you have not received an e-mail from us that confirms that we have received your fee, then you need to provide us a proof of payment at registration. This proof of payment will help us track down your fee quicker. In case you do not hand over a proof of payment, then we need you to pay the fee in cash at registration. Of course, in the latter case, if your fee arrives at our bank account later, then this will be refunded immediately to you.
The steering committee of TFP has received bids for future TFP's. We are happy to acknowledge that there is great interest in organising TFP. The next two TFP meetings are:
We are looking forward to meeting you there.
Here you can find a number of photos that give you a good impression of the events (made by Pieter Koopman).
More photos by Jan Martin Jansen.
AFP and TFP 2008 have been made possible, in part, by the generous support of the following institutions:
|Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO)|
|Netherlands Defence Academy|
|September 25 2009||[AFP] Springer Lecture Notes available (LNCS 5832)|
|June 9 2009||[TFP] Intellect volume information, table of content, bibtex entries available|
|June 16 2008||[TFP] Extended deadline to june 26 for submitting revised papers for formal review|
|June 15 2008||[TFP] Updated author instructions (page limit 16, including references and appendix)|
|May 31 2008||[AFP/TFP] Included more photos by Jan Martin Jansen.|
|May 29 2008||[TFP] Trends in Functional Programming in 2009 and 2010.|
|May 28 2008||[TFP] The list of reserved taxis for thursday morning.|
|May 27 2008||[AFP/TFP] Included photos of both events by Pieter Koopman.|
|May 23 2008||[AFP/TFP] Getronics PinkRoccade explains why they sponsor AFP/TFP 2008.
[TFP] Program updated
|May 22 2008||[TFP] Travel information updated|
|May 21 2008||[TFP] Program updated (session chairs added)|
|May 19 2008||[AFP] Additional link to lecture material added (in particular Mark Jones' material)|
|May 18 2008||[TFP] Bids for TFP 2009 can be sent to Phil Trinder until 25th of may 2008 (extended deadline).|
|May 16 2008||[AFP/TFP] Detailed travel information added. We have added information at what time you can register at the venue. Also an important announcement regarding payment has been included. In case you need to contact us, we have included a mobile phone number that you can use. Weather-forecast has been added.|
|April 26 2008||[AFP/TFP] List of registered participants added.|
|April 25 2008||[AFP/TFP] Link to national railways time table included.|
|April 24 2008||[AFP/TFP] Some people require more information about the bank (address and telephone number). These have been added.|
|April 21 2008||
[AFP/TFP] The late registration fee is now the same as the early registration fee. Added support information.
|April 16 2008||[AFP/TFP] Some banks require an address in order to complete the bank transfer. This has been added.|
|April 14 2008||[TFP] Bids for TFP 2009 can be sent to Phil Trinder.|
|April 13 2008||[AFP/TFP] Early registration deadline extended to april 16 2008.|
|April 10 2008||[TFP] Preliminary program published. LaTeX style and guidelines updated.|
|March 25 2008||[AFP/TFP] Safari users have experienced problems with the registration site. Safari users should use the tab key after entering the registration code to advance to the button. The site should work without problems with Firefox and Explorer.|
|March 11 2008||[AFP/TFP] Clarified text about check-in and check-out. You can check-in the day before the event starts (this includes diner) and you can check-out the after the event ends (this includes breakfast).|
|March 4 2008||[AFP/TFP] Registration site adapted: in case you wish to share a room, but don't know somebody. The organization will try to find someone for you.
[AFP] grant information for PhD students added.
|February 29 2008||[AFP/TFP] Registration site has been opened; check-in and check-out information published.|
|February 28 2008||[AFP/TFP] Sponsor information added; registration details have been published.
[TFP] EasyChair submission site has been opened; LaTeX style and guidelines adapted; submission deadline extended to march 10.
|February 23 2008||[TFP] Information added about submission site TFP|
|February 19 2008||
[AFP/TFP] Opening of early registration has been moved to march 1 2008 (earlier).
|February 4 2008||[AFP] Call for participation|
|January 31 2008|
|November 23 2007||[AFP/TFP] Site on-line|