De functioneel programmeren dag 2008 vindt plaats op:
bij de Open Universiteit op het studiecentrum Utrecht.
Op de functioneel programmeren (fp) dag ontmoeten nederlandstalige geinteresseerden in functioneel programmeren elkaar. Gedurende de dag worden een aantal presentaties gehouden over fp-gerelateerde onderzoeksresultaten, of over het gebruik van fp in het onderwijs. Daarnaast is er ruime gelegenheid om elkaar te spreken, informatie uit te wisselen, demos te geven, oude bekenden te ontmoeten, etc. Deelnemen kost niets. De meeste aanwezigen zijn geavanceerde functionele programmeurs, maar beginners zijn ook van harte welkom!
Meld je aan, zowel voor deelname als voor het geven van een presentatie, bij Johan Jeuring (johanj at cs.uu.nl).
Programma:
| 10:00-10:30 | Koffie | |
| 10:30-11:15 | Andres Löh - ? | |
| 11:15-12:00 | Russell O'Connor - Mathematics is Functional Programming: Implementing Real Numbers | |
| 12:00-13:00 | Lunch | |
| 13:00-13:45 | James McKinna - Dependently-typed functional programming. | |
| 13:45-14:30 | Joost Visser - Coupled transformation of data formats, instances, queries, and constraints. | |
| 14:30-15:00 | Thee | |
| 15:00-15:30 | Jur Hage - Helium: stand van zaken | |
| 15:30-16:00 | Jan Martin Jansen en Rinus Plasmeijer - iTasks | |
| 16:00-? | borrel | |
Aangemelde deelnemers:
| Peter Achten | Radboud Universiteit Nijmegen |
| Bas van Dijk | Radboud Universiteit Nijmegen |
| Roel van Dijk | Radboud Universiteit Nijmegen |
| Joeri van Eekelen | Universiteit Utrecht |
| Chris Eidhof | Universiteit Utrecht |
| Rik van Geldrop | TU/e |
| Alex Gerdes | Open Universiteit |
| Jur Hage | Universiteit Utrecht |
| Bastiaan Heeren | Open Universiteit |
| Allan van Hulst | Radboud Universiteit Nijmegen |
| Jan Martin Jansen | KIM |
| Johan Jeuring | Open Universiteit en Universiteit Utrecht |
| Arthur van Leeuwen | Open Universiteit en Universiteit Utrecht |
| Reinier Lamers | Universiteit Utrecht |
| Eelco Lempsink | Universiteit Utrecht |
| Andres Löh | Universiteit Utrecht |
| James McKinna | Radboud Universiteit Nijmegen |
| Arie Middelkoop | Universiteit Utrecht |
| Russell O'Connor | Radboud Universiteit Nijmegen |
| Nick Oosterhof | Princeton |
| Harrie Passier | Open Universiteit |
| Rinus Plasmeijer | Radboud Universiteit Nijmegen |
| Willem Prakken | Saxion |
| Alexey Rodriguez | Universiteit Utrecht |
| Felix Stegerman | Radboud Universiteit Nijmegen |
| Doaitse Swierstra | Universiteit Utrecht |
| Jan Terlouw | Rijksuniversiteit Groningen |
| Remi Turk | Universiteit van Amsterdam en Universiteit Utrecht |
| Joost Visser | SIG |
| Jaap van der Woude | TU/e |
Vorige FP dagen:
| 2007 | Marine, Amsterdam |
| 2005 | RUG, Groningen |
| 2004 | UT, Twente |
Voor aanmeldingen, vragen, presentaties, etc., neem contact op met Johan Jeuring (johanj at cs.uu.nl).