Difference between revisions of "NL-FP dag 2010"
| Line 42: | Line 42: | ||
|15:30 - 16:00|| || ||Wouter Swierstra - Verifying the Problem of the Dutch National Flag in Agda | |15:30 - 16:00|| || ||Wouter Swierstra - Verifying the Problem of the Dutch National Flag in Agda | ||
|- | |- | ||
| − | |16:00 - 16: | + | |16:00 - 16:15|| || ||''Sluiting'' |
|- | |- | ||
| − | |16: | + | |16:15 - 17:30|| || ||''Borrel'' |
|- | |- | ||
|18:00 - || || ||''Diner'' | |18:00 - || || ||''Diner'' | ||
Revision as of 11:19, 17 December 2009
|
De Nederlandse Functioneel Programmeren dag 2010 vindt plaats op vrijdag 8 januari 2010 bij de Radboud Universiteit Nijmegen. Op de NL-FP dag ontmoeten geïnteresseerden 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 en oude bekenden te ontmoeten. De meeste aanwezigen zijn geavanceerde functionele programmeurs, maar beginners zijn natuurlijk ook van harte welkom! |
Aanmelden
Meld je aan bij Thomas van Noort om een presentatie te geven. Schroom niet om je op te geven, de NL-FP dag is een informele bijeenkomst en ook een prima podium om eigen ervaringen of nieuwe ideeën te delen. Meld je ook aan als je alleen wilt deelnemen, in verband met het reserveren van de lunch. Deelname is gratis.
Traditiegetrouw wordt er na afloop, op eigen kosten, met een groep gegeten. Meld je aan bij Bas Lijnse in verband met het reserveren van het restaurant.
Locatie
De NL-FP dag vindt plaats in zaal HG00.307 van het Huygensgebouw. Deze locatie is goed te bereiken per bus (binnen Nijmegen), trein en auto (betaald parkeren). De facultaire reiswijzer geeft je een exacte planning van deur tot deur.
Programma
| 09:30 - 10:00 | Ontvangst | ||
| 10:00 - 10:05 | Opening | ||
| 10:05 - 10:30 | Betsy Pepels - FP @ Capgemini | ||
| 10:30 - 11:00 | Alex Gerdes - Using Strategies for Assessment of Programming Exercises | ||
| 11:00 - 11:30 | Koffie en thee | ||
| 11:30 - 12:00 | Christiaan Baaij - From Haskell to Hardware | ||
| 12:00 - 12:30 | Alexey Rodriguez - Avoiding Crashes While Evolving File Formats: an Adventure in OCaml, Generic Programming and Pre-Processors | ||
| 12:30 - 14:00 | Lunch | ||
| 14:00 - 14:30 | Martijn Schrage - Proxima 2.0: Web-based Generic Editing | ||
| 14:30 - 15:00 | José Pedro Magalhães - Optimizing Generics Is Easy! | ||
| 15:00 - 15:30 | Koffie en thee | ||
| 15:30 - 16:00 | Wouter Swierstra - Verifying the Problem of the Dutch National Flag in Agda | ||
| 16:00 - 16:15 | Sluiting | ||
| 16:15 - 17:30 | Borrel | ||
| 18:00 - | Diner |
Let op: het programma is onderhevig aan verandering.
Deelnemers
| 1. | Peter Achten | Radboud Universiteit Nijmegen | ||
| 2. | Yahya Alhasan | Universiteit Utrecht | ||
| 3. | Christiaan Baaij | Universiteit Twente | ||
| 4. | Jeroen Berndsen | Radboud Universiteit Nijmegen | ||
| 5. | Jochem Berndsen | Technische Universiteit Eindhoven | ||
| 6. | Marcel van de Burgwal | Universiteit Twente | ||
| 7. | Erik Crombag | Radboud Universiteit Nijmegen | ||
| 8. | Koos Delcour | Universiteit Twente | ||
| 9. | Roel van Dijk | Radboud Universiteit Nijmegen | ||
| 10. | Eelco Dolstra | Technische Universiteit Delft | ||
| 11. | Marko van Eekelen | Open Universiteit / Radboud Universiteit Nijmegen | ||
| 12. | Chris Eidhof | Tupil / Universiteit Utrecht | ||
| 13. | Jeroen Fokker | Universiteit Utrecht | ||
| 14. | Bernard van Gastel | Radboud Universiteit Nijmegen | ||
| 15. | Rik van Geldrop | Technische Universiteit Eindhoven | ||
| 16. | Marco Gerards | Universiteit Twente | ||
| 17. | Alex Gerdes | Open Universiteit | ||
| 18. | Albert Gerritsen | Radboud Universiteit Nijmegen | ||
| 19. | Bas van Gijzel | Universiteit Utrecht | ||
| 20. | Jurriaan Hage | Universiteit Utrecht | ||
| 21. | Bastiaan Heeren | Open Universiteit | ||
| 22. | Erik Hesselink | Universiteit Utrecht | ||
| 23. | Stefan Holdermans | Universiteit Utrecht | ||
| 24. | Jan Martin Jansen | Nederlandse Defensie Academie | ||
| 25. | Johan Jeuring | Open Universiteit / Universiteit Utrecht | ||
| 26. | Steven Keuchel | Universiteit Utrecht | ||
| 27. | Pieter Koopman | Radboud Universiteit Nijmegen | ||
| 28. | Jan Kuper | Universiteit Twente | ||
| 29. | Bjorn Lamers | BytesOnline | ||
| 30. | Eelco Lempsink | Tupil | ||
| 31. | Bas Lijnse | Radboud Universiteit Nijmegen | ||
| 32. | Tom Lokhorst | Universiteit Utrecht | ||
| 33. | José Pedro Magalhães | Universiteit Utrecht | ||
| 34. | Gerard Michels | Open Universiteit | ||
| 35. | Thomas van Noort | Radboud Universiteit Nijmegen | ||
| 36. | Betsy Pepels | Capgemini | ||
| 37. | Rinus Plasmeijer | Radboud Universiteit Nijmegen | ||
| 38. | Jan Rochel | Universiteit Utrecht | ||
| 39. | Alexey Rodriguez | Vector Fabrics | ||
| 40. | Kenneth Rovers | Universiteit Twente | ||
| 41. | Martijn Schrage | Oblomov Systems | ||
| 42. | Jelle Schuhmacher | Radboud Universiteit Nijmegen | ||
| 43. | Martijn van Steenbergen | Universiteit Utrecht | ||
| 44. | Doaitse Swierstra | Universiteit Utrecht | ||
| 45. | Wouter Swierstra | Vector Fabrics | ||
| 46. | Henk Versluis | Elegant | ||
| 47. | Sjoerd Visscher | Xopus BV | ||
| 48. | Sebastiaan Visser | Universiteit Utrecht | ||
| 49. | Jeroen Weijers | Universiteit Utrecht |
Vorige NL-FP dagen
| 2009, | Technische Universiteit Eindhoven |
| 2008, | Open Universiteit Utrecht |
| 2007, | Marine, Amsterdam |
| 2006, | Hogeschool Avans, Breda |
| 2005, | Rijksuniversiteit Groningen |
| 2004, | Universiteit Twente, Enschede |
| 2003, | Universiteit Utrecht |
| 2002, | Katholieke Universiteit Nijmegen |
| 2001, | Technische Universiteit Delft |
| 2000, | Technische Universiteit Eindhoven |
| 1999, | Hogeschool Breda |
| 1998, | RijksUniversiteit Leiden |
| 1997, | Hogeschool Leeuwarden |
| 1996, | Universiteit van Amsterdam |
| 1995, | Technische Universiteit Twente, Enschede |
| 1994, | Rijksuniversiteit Utrecht |
| 1993, | Katholieke Universiteit Nijmegen |
