Functioneel Programmeren dag 2008

Volgende FP dag | 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).

Na afloop gaan er nog een aantal mensen samen wat eten bij een Italiaan dicht bij het station.

Arie Middelkoop heeft een blog message geschreven over de functioneel programmeren dag.


De volgende FP dag vindt plaats op 9 januari 2009 in Eindhoven.


Programma:

10:00-10:30 Koffie
10:30-11:15 Andres Löh - Trinity.
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 (ziek). Doaitse Swierstra zal in zijn plaats praten over ontleders.
15:30-16:00 Jan Martin Jansen en Rinus Plasmeijer - iTasks
16:00-17:00 borrel
18:00-? diner (geef je op bij Chris Eidhof).

Aangemelde deelnemers:

Peter Achten Radboud Universiteit Nijmegen
Jochem Berndsen TU/e
Alwin Blok Universiteit Utrecht
Juan Cardona Universiteit Utrecht
Koos Delcour Universiteit Twente
Bas van Dijk Radboud Universiteit Nijmegen
Roel van Dijk Radboud Universiteit Nijmegen
Eelco Dolstra Universiteit Utrecht
Joeri van Eekelen Universiteit Utrecht
Chris Eidhof Universiteit Utrecht
Jeroen Fokker Universiteit Utrecht
Rik van Geldrop TU/e
Alex Gerdes Open Universiteit
Jur Hage Universiteit Utrecht
Bastiaan Heeren Open Universiteit
Paul Hutschemaekers TU/e
Jan Martin Jansen KIM
Johan Jeuring Open Universiteit en Universiteit Utrecht
Arthur van Leeuwen Open Universiteit en Universiteit Utrecht
Reinier Lamers Universiteit Utrecht
Sean Leather Universiteit Utrecht
Eelco Lempsink Universiteit Utrecht
Ben Lenarts Q42
Josje Lodder Open Universiteit
Andres Löh Universiteit Utrecht
Paul de Mast Avans
James McKinna Radboud Universiteit Nijmegen
Arie Middelkoop Universiteit Utrecht
Russell O'Connor Radboud Universiteit Nijmegen
Nick Oosterhof Princeton
Harrie Passier Open Universiteit
Betsy Pepels Getronics PinkRoccade
Rinus Plasmeijer Radboud Universiteit Nijmegen
Christophe Poucet KULeuven
Willem Prakken Saxion
Alexey Rodriguez Universiteit Utrecht
Ivo van der Sangen TU/e
Martijn van Steenbergen Universiteit Utrecht
Felix Stegerman Radboud Universiteit Nijmegen
Doaitse Swierstra Universiteit Utrecht
Jan Terlouw Rijksuniversiteit Groningen
Remi Turk Universiteit van Amsterdam en Universiteit Utrecht
Remco Veldkamp Q42
Marcos Viera Universiteit Utrecht
Sjoerd Visscher Xopus company
Paul Visschers TU/e
Joost Visser SIG
Sebastiaan Visser Universiteit Utrecht
Manuela Witsiers Open Universiteit
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).