Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Functioneel Programmeren dag 2008
[go: Go Back, main page]

 

Functioneel Programmeren dag 2008

Programma | Deelnemers | Vorige FP Dagen | Contact


De functioneel programmeren dag 2008 vindt plaats op:

11 januari 2008

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).