Difference between revisions of "NL-FP dag 2010"

From Clean
Jump to navigationJump to search
Line 11: Line 11:
 
Meld je aan bij [mailto:thomas@cs.ru.nl 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.
 
Meld je aan bij [mailto:thomas@cs.ru.nl 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. Er is inmiddels een restaurant gereserveerd. Mocht je een goede reden hebben waarom je nog niet eerder hebt kunnen aanmelden, dan kun je bij [mailto:b.lijnse@cs.ru.nl Bas Lijnse] terecht.
+
Traditiegetrouw wordt er na afloop, op eigen kosten, met een groep gegeten. Inmiddels is er voor iedereen die zich heeft aangemeld gereserveerd bij [http://www.donatello.nl/?l=4&m=21 Donnatello's]. Mocht je onverhoopt toch nog mee willen, neem dan contact op met [mailto:b.lijnse@cs.ru.nl Bas Lijnse] voor de mogelijkheden.
  
 
== Locatie ==
 
== Locatie ==
Line 50: Line 50:
  
 
Let op: het programma is onderhevig aan verandering.
 
Let op: het programma is onderhevig aan verandering.
 
== Diner ==
 
Na afloop van het programma is er voor iedereen die zich aangemeld heeft gereserveerd bij [http://www.donnatello.nl/ Donnatello's] in Nijmegen. Dit Italiaans restaurant ligt dicht bij het centraal station en heeft goed eten voor zeer schappelijke prijzen. Voor een indruk zie de [http://www.donatello.nl/index.cfm?l=4&m=33 menukaart].
 
  
 
== Deelnemers ==
 
== Deelnemers ==

Revision as of 13:34, 22 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. Inmiddels is er voor iedereen die zich heeft aangemeld gereserveerd bij Donnatello's. Mocht je onverhoopt toch nog mee willen, neem dan contact op met Bas Lijnse voor de mogelijkheden.

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. Arjan Boeijink
7. Marcel van de Burgwal Universiteit Twente
8. Erik Crombag Radboud Universiteit Nijmegen
9. Koos Delcour Universiteit Twente
10. Bas van Dijk Radboud Universiteit Nijmegen
11. Roel van Dijk Radboud Universiteit Nijmegen
12. Eelco Dolstra Technische Universiteit Delft
13. Marko van Eekelen Open Universiteit / Radboud Universiteit Nijmegen
14. Chris Eidhof Tupil / Universiteit Utrecht
15. Jeroen Fokker Universiteit Utrecht
16. Bernard van Gastel Radboud Universiteit Nijmegen
17. Rik van Geldrop Technische Universiteit Eindhoven
18. Marco Gerards Universiteit Twente
19. Alex Gerdes Open Universiteit
20. Albert Gerritsen Radboud Universiteit Nijmegen
21. Bas van Gijzel Universiteit Utrecht
22. Jurriaan Hage Universiteit Utrecht
23. Bastiaan Heeren Open Universiteit
24. Erik Hesselink Universiteit Utrecht
25. Stefan Holdermans Universiteit Utrecht
26. Jan Martin Jansen Nederlandse Defensie Academie
27. Johan Jeuring Open Universiteit / Universiteit Utrecht
28. Steven Keuchel Universiteit Utrecht
29. Pieter Koopman Radboud Universiteit Nijmegen
30. Jan Kuper Universiteit Twente
31. Bjorn Lamers BytesOnline
32. Eelco Lempsink Tupil
33. Bas Lijnse Radboud Universiteit Nijmegen
34. Tom Lokhorst Universiteit Utrecht
35. José Pedro Magalhães Universiteit Utrecht
36. James McKinna Radboud Universiteit Nijmegen
37. Gerard Michels Open Universiteit
38. Thomas van Noort Radboud Universiteit Nijmegen
39. Betsy Pepels Capgemini
40. Rinus Plasmeijer Radboud Universiteit Nijmegen
41. Jan Rochel Universiteit Utrecht
42. Alexey Rodriguez Vector Fabrics
43. Kenneth Rovers Universiteit Twente
44. Martijn Schrage Oblomov Systems
45. Jelle Schuhmacher Radboud Universiteit Nijmegen
46. Martijn van Steenbergen Universiteit Utrecht
47. Doaitse Swierstra Universiteit Utrecht
48. Wouter Swierstra Vector Fabrics
49. Henk-Jan van Tuyl
50. Henk Versluis Elegant
51. Sjoerd Visscher Xopus BV
52. Sebastiaan Visser Universiteit Utrecht
53. Jeroen Weijers Universiteit Utrecht
54. Jaap van der Woude Technische Universiteit Eindhoven

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