NL-FP dag 2013
|
De Nederlandse Functioneel Programmeren dag 2013 vindt plaats op vrijdag 11 januari 2013 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 Rinus Plasmeijer of Bas Lijnse 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. Geef bij je aanmelding aan of je mee wilt gaan eten. Afhankelijk van het aantal deelnemers kan dan een geschikt restaurant gezocht worden.
Locatie
De NL-FP dag vind plaats bij de Radboud Universiteit. De zaal zal t.z.t. op deze pagina bekend gemaakt worden.
Programma
Dit is het voorlopige programma:
| 09:30 - 10:00 | Ontvangst | ||
| 10:00 - 10:05 | Opening | ||
| 10:05 - 10:30 | Clemens Grelck - Functional Programming with Curly Brackets: the SAC Story | ||
| 10:35 - 11:00 | Thomas Arts - Testing AUTOSAR components with QuickCheck | ||
| 11:00 - 11:30 | Koffie en thee | ||
| 11:30 - 11:55 | Anja Niedermeier - Dataflow Inspired Programming Paradigm for Coarse-Grained Reconfigurable Arrays | ||
| 12:00 - 12:25 | Doaitse Swierstra - Compositional Language Definitions | ||
| 12:30 - 12:40 | Ster - (Aankondigingen: Cross Functional Amsterdam Meetup, CEFP2013, IFL2013) | ||
| 12:40 - 14:00 | Lunch | ||
| 14:00 - 14:25 | Bas Lijnse - Reaching the TOP: From workflow combinators to Task-Oriented Programming | ||
| 14:30 - 14:55 | Betsy Pepels - Time Travelling: the philosophy of Functional Programming applied in the wild | ||
| 15:00 - 15:30 | Koffie en thee | ||
| 15:30 - 15:55 | Rinse Wester - Complex hardware design using CλaSH | ||
| 16:00 - 16:25 | Alex Gerdes - TBA | ||
| 16:25 - 16:30 | Sluiting | ||
| 16:30 - 17:30 | Borrel | ||
| 18:30 - | Diner |
Deelnemers
| 1. | Rinus Plasmeijer | Radboud Universiteit Nijmegen | ||
| 2. | Bas Lijnse | Radboud Universiteit Nijmegen | ||
| 3. | Doaitse Swierstra | Universiteit Utrecht | ||
| 4. | Jurriën Stutterheim | Universiteit Utrecht | ||
| 5. | Betsy Pepels | Tax and Customs Administration | ||
| 6. | Albert Schrijvers | Tax and Customs Administration | ||
| 7. | Ruud Koot | Universiteit Utrecht | ||
| 8. | Vadim Zaytsev | Centrum Wiskunde & Informatica | ||
| 9. | Johan Jeuring | Universiteit Utrecht | ||
| 10. | Steffen Michels | Radboud Universiteit Nijmegen | ||
| 11. | Michel Rijnders | TTY Internet Solutions | ||
| 12. | Matthijs Ooms | TTY Internet Solutions | ||
| 13. | Christiaan Baaij | Universiteit Twente | ||
| 14. | Maarten Hoogendoorn | |||
| 15. | Gabe Dijkstra | Universiteit Utrecht | ||
| 16. | Sander van den Berg | Xebia | ||
| 17. | Jan Martin Jansen | Nederlandse Defensie Academie | ||
| 18. | Pieter Koopman | Radboud Universiteit Nijmegen | ||
| 19. | Alex Gerdes | Open Universiteit | ||
| 20. | Thomas Arts | QuiviQ | ||
| 21. | Jan Kuper | Universiteit Twente | ||
| 22. | Anja Niedermeier | Universiteit Twente | ||
| 23. | Rinse Wester | Universiteit Twente | ||
| 24. | Atze Dijkstra | Universiteit Utrecht | ||
| 25. | Arjen van Weelden | |||
| 26. | Bas Dirks | |||
| 27. | Clemens Grelck | Universiteit van Amsterdam | ||
| 28. | Tom Lokhorst | Q42 | ||
| 29. | Paul Visschers | Q42 | ||
| 30. | Martijn van Steenbergen | Q42 | ||
| 31. | Sjoerd Visscher | Q42 | ||
| 32. | Willem Prakken | Saxion | ||
| 33. | Jeroen Bransen | Universiteit Utrecht |
Vorige NL-FP dagen
| 2012, | Universiteit Utrecht |
| 2011, | Universiteit Twente, Enschede |
| 2010, | Radboud Universiteit Nijmegen |
| 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 |
