NL-FP dag 2013

From Clean
(Difference between revisions)
Jump to: navigation, search
(Deelnemers)
(Deelnemers)
Line 58: Line 58:
  
 
== Deelnemers ==
 
== Deelnemers ==
{|cellpadding="0"
+
{|cellpadding="2"
|1. ||Rinus Plasmeijer|| || ||Radboud Universiteit Nijmegen
+
! align="left"|Nr
 +
! align="left"|Naam
 +
! align="left"|Diner
 +
! align="left"|Organisatie
 
|-
 
|-
|2. ||Bas Lijnse || || ||Radboud Universiteit Nijmegen
+
|1. ||Rinus Plasmeijer || Ja ||Radboud Universiteit Nijmegen
 
|-
 
|-
|3. ||Doaitse Swierstra || || || Universiteit Utrecht
+
|2. ||Bas Lijnse || Ja ||Radboud Universiteit Nijmegen
 
|-
 
|-
|4. ||Jurriën Stutterheim || || || Universiteit Utrecht
+
|3. ||Doaitse Swierstra || Ja || Universiteit Utrecht
 
|-
 
|-
|5. ||Betsy Pepels || || || Tax and Customs Administration
+
|4. ||Jurriën Stutterheim || Onbekend || Universiteit Utrecht
 
|-
 
|-
|6. ||Albert Schrijvers || || || Tax and Customs Administration
+
|5. ||Betsy Pepels || Ja || Tax and Customs Administration
 
|-
 
|-
|7. ||Ruud Koot || || ||Universiteit Utrecht
+
|6. ||Albert Schrijvers || Ja || Tax and Customs Administration
 
|-
 
|-
|8. ||Vadim Zaytsev|| || ||Centrum Wiskunde & Informatica
+
|7. ||Ruud Koot || Ja ||Universiteit Utrecht
 
|-
 
|-
|9. ||Johan Jeuring|| || ||Universiteit Utrecht
+
|8. ||Vadim Zaytsev|| Ja ||Centrum Wiskunde & Informatica
 
|-
 
|-
|10. ||Steffen Michels|| || ||Radboud Universiteit Nijmegen
+
|9. ||Johan Jeuring|| Ja ||Universiteit Utrecht
 
|-
 
|-
|11. ||Michel Rijnders || || || TTY Internet Solutions
+
|10. ||Steffen Michels|| Ja ||Radboud Universiteit Nijmegen
 
|-
 
|-
|12. ||Matthijs Ooms || || || TTY Internet Solutions
+
|11. ||Michel Rijnders || Ja || TTY Internet Solutions
 
|-
 
|-
|13. ||Christiaan Baaij || || ||Universiteit Twente
+
|12. ||Matthijs Ooms || Ja || TTY Internet Solutions
 
|-
 
|-
|14. ||Maarten Hoogendoorn || || ||
+
|13. ||Christiaan Baaij || Ja ||Universiteit Twente
 
|-
 
|-
|15. ||Gabe Dijkstra || || || Universiteit Utrecht
+
|14. ||Maarten Hoogendoorn || Onbekend ||
 
|-
 
|-
|16. ||Sander van den Berg || || || Xebia
+
|15. ||Gabe Dijkstra || Ja || Universiteit Utrecht
 
|-
 
|-
|17. ||Jan Martin Jansen || || || Nederlandse Defensie Academie
+
|16. ||Sander van den Berg || Nee || Xebia
 
|-
 
|-
|18. ||Pieter Koopman || || || Radboud Universiteit Nijmegen
+
|17. ||Jan Martin Jansen || Onbekend || Nederlandse Defensie Academie
 
|-
 
|-
|19. ||Alex Gerdes || || || QuviQ
+
|18. ||Pieter Koopman || Onbekend || Radboud Universiteit Nijmegen
 
|-
 
|-
|20. ||Thomas Arts || || || QuviQ
+
|19. ||Alex Gerdes || Onbekend || QuviQ
 
|-
 
|-
|21. ||Jan Kuper || || || Universiteit Twente
+
|20. ||Thomas Arts || Onbekend || QuviQ
 
|-
 
|-
|22. ||Anja Niedermeier || || ||Universiteit Twente
+
|21. ||Jan Kuper || Onbekend || Universiteit Twente
 
|-
 
|-
|23. ||Rinse Wester || || ||Universiteit Twente
+
|22. ||Anja Niedermeier || Onbekend ||Universiteit Twente
 
|-
 
|-
|24. ||Atze Dijkstra|| || || Universiteit Utrecht
+
|23. ||Rinse Wester || Onbekend ||Universiteit Twente
 
|-
 
|-
|25. ||Arjen van Weelden || || ||
+
|24. ||Atze Dijkstra|| Ja || Universiteit Utrecht
 
|-
 
|-
|26. ||Bas Dirks || || ||
+
|25. ||Arjen van Weelden || Onbekend ||
 
|-
 
|-
|27. ||Clemens Grelck || || || Universiteit van Amsterdam
+
|26. ||Bas Dirks || Ja ||
 
|-
 
|-
|28. ||Tom Lokhorst || || || Q42
+
|27. ||Clemens Grelck || Nee || Universiteit van Amsterdam
 
|-
 
|-
|29. ||Paul Visschers || || || Q42
+
|28. ||Tom Lokhorst || Ja || Q42
 
|-
 
|-
|30. ||Martijn van Steenbergen || || || Q42
+
|29. ||Paul Visschers || Ja || Q42
 
|-
 
|-
|31. || Sjoerd Visscher || || || Q42
+
|30. ||Martijn van Steenbergen || Ja || Q42
 
|-
 
|-
|32. || Willem Prakken || || || Saxion
+
|31. || Sjoerd Visscher || Ja || Q42
 
|-
 
|-
|33. || Jeroen Bransen || || || Universiteit Utrecht
+
|32. || Willem Prakken || Nee || Saxion
 
|-
 
|-
|34. || Cyril Schmidt || || || Alluve
+
|33. || Jeroen Bransen || Nee || Universiteit Utrecht
 
|-
 
|-
|35. || Jan Rochel || || ||
+
|34. || Cyril Schmidt || Ja || Alluve
 
|-
 
|-
|36. || Arjan Boeijink || || || Universiteit Twente
+
|35. || Jan Rochel || Jan ||
 
|-
 
|-
|37. || Pepijn Kokke || || ||
+
|36. || Arjan Boeijink || Ja || Universiteit Twente
 
|-
 
|-
|38. || Wout Elsinghorst || || ||
+
|37. || Pepijn Kokke || Onbekend ||
 
|-
 
|-
|39. || Wouter Swierstra || || || Universiteit Utrecht
+
|38. || Wout Elsinghorst || Onbekend ||
 
|-
 
|-
|40. || Henk-Jan van Tuyl || || || Van Tuyl Software
+
|39. || Wouter Swierstra || Onbekend || Universiteit Utrecht
 +
|-
 +
|40. || Henk-Jan van Tuyl || Onbekend || Van Tuyl Software
 
|}
 
|}
  

Revision as of 09:58, 17 December 2012

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!

Contents

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 in en rond zaal LIN3 in het Linnaeusgebouw (Heyendaalseweg 137) van de Radboud Universiteit. 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

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 - Testing webservices with Erlang QuickCheck
16:25 - 16:30 Sluiting
16:30 - 17:30 Borrel
18:30 - Diner

Deelnemers

Nr Naam Diner Organisatie
1. Rinus Plasmeijer Ja Radboud Universiteit Nijmegen
2. Bas Lijnse Ja Radboud Universiteit Nijmegen
3. Doaitse Swierstra Ja Universiteit Utrecht
4. Jurriën Stutterheim Onbekend Universiteit Utrecht
5. Betsy Pepels Ja Tax and Customs Administration
6. Albert Schrijvers Ja Tax and Customs Administration
7. Ruud Koot Ja Universiteit Utrecht
8. Vadim Zaytsev Ja Centrum Wiskunde & Informatica
9. Johan Jeuring Ja Universiteit Utrecht
10. Steffen Michels Ja Radboud Universiteit Nijmegen
11. Michel Rijnders Ja TTY Internet Solutions
12. Matthijs Ooms Ja TTY Internet Solutions
13. Christiaan Baaij Ja Universiteit Twente
14. Maarten Hoogendoorn Onbekend
15. Gabe Dijkstra Ja Universiteit Utrecht
16. Sander van den Berg Nee Xebia
17. Jan Martin Jansen Onbekend Nederlandse Defensie Academie
18. Pieter Koopman Onbekend Radboud Universiteit Nijmegen
19. Alex Gerdes Onbekend QuviQ
20. Thomas Arts Onbekend QuviQ
21. Jan Kuper Onbekend Universiteit Twente
22. Anja Niedermeier Onbekend Universiteit Twente
23. Rinse Wester Onbekend Universiteit Twente
24. Atze Dijkstra Ja Universiteit Utrecht
25. Arjen van Weelden Onbekend
26. Bas Dirks Ja
27. Clemens Grelck Nee Universiteit van Amsterdam
28. Tom Lokhorst Ja Q42
29. Paul Visschers Ja Q42
30. Martijn van Steenbergen Ja Q42
31. Sjoerd Visscher Ja Q42
32. Willem Prakken Nee Saxion
33. Jeroen Bransen Nee Universiteit Utrecht
34. Cyril Schmidt Ja Alluve
35. Jan Rochel Jan
36. Arjan Boeijink Ja Universiteit Twente
37. Pepijn Kokke Onbekend
38. Wout Elsinghorst Onbekend
39. Wouter Swierstra Onbekend Universiteit Utrecht
40. Henk-Jan van Tuyl Onbekend Van Tuyl Software

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
Personal tools