![]() |
![]() |
Sixth International Summer School onAdvanced Functional Programming |
![]() |
|
May 19 - 24 2008 |
About AFP | |
The Ninth Symposium onTrends in Functional ProgrammingInvited speakers: prof. Henk Barendregt and Gert Veldhuizen van Zanten (Getronics PinkRoccade) |
![]() |
|
May 26 - 28 2008 |
About TFP | Latest News |
| Participants | Grants | Bids TFP09 |
| 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 | Call for Papers TFP'08 (updated february 28) |
Event |
Date |
|---|---|
| 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"
Hommersumseweg 43
6598 MC
Gennep
Netherlands
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:
|
Invited speakers:
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: | 23.12.47.834 Fortisbank Nijmegen |
| IBAN: | NL02FTSB0231247834 |
| BIC: | FTSBNL2R |
| Please mention the following number: | 6200396 |
| In case you need to specify an address of the university: (added) | Heyendaalseweg 135 6525 AJ Nijmegen The Netherlands |
| In case you need to specify an address of the bank: (added) | Fortis Bank |
| 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:
Rinus Plasmeijer
Radboud University Nijmegen
Toernooiveld 1
6525ED Nijmegen
The Netherlands
rinus@cs.ru.nl
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.
| Event | Check-in |
Check-out |
|---|---|---|
| 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.
|
|
| Contact: | |
|
|
AFP and TFP 2008 have been made possible, in part, by the generous support of the following institutions:
![]() |
Getronics PinkRoccade (Netherlands; UK) |
![]() |
Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO) |
![]() |
Netherlands Defence Academy |