Sprekers Landelijke FP-dag 2005
Vrijdag 7 januari
Rijksuniversiteit Groningen, Academiegebouw
(Ingelaste tekst d.d. 12 januari.
Op de FP-dag zelf is het programma als volgt aangepast. De presentatie van
Atze Baars is, wegens verhindering van hem, door Doaitse Swierstra verzorgd
en deze presentatie en de presentatie van Andres Löh en Alexey Rodriguez
Yakushev zijn van plaats verwisseld in het rooster. Nadere inhoudelijke
informatie over de presentaties is te vinden via een link hieronder. Binnenkort
zullen ook de slides van diverse presentaties op deze website te vinden zijn.)
Lijst d.d. 24 december 2004 van de sprekers
in de volgorde van presenteren
(aangepaste volgorde d.d. 3 januari)
1. Sjaak Smetsers
(over generiek programmeren),
2. Atze Dijkstra
(over de EHC vertaler),
3. Jan van Eijck
(over "Relational Analysis of Software Systems"),
4. Arthur Baars
(over "type-safe, self inspecting code"),
5. Pieter Koopman
(over het testen van specificaties),
6. Jan Kuper en/of studenten uit Twente
(over een nieuwe functionele taal Tina, met bijzondere
aandacht voor I/O),
7. Andres Löh en Alexey Rodriguez Yakushev,
(over een nieuwe release van Generic Haskell en/of
over type inferentie en unificatie met generiek programmeren).
Hier is een link naar
nadere inhoudelijke informatie.
En hier is ook nog even een link naar een
tijdschema.
Er zijn, zoals na te lezen is, drie blokken van presentaties:
Blok A (presentaties 1,2): van stipt 11.15 tot stipt 12.15,
Blok B (presentaties 3, 4, 5): van vrijwel stipt 13.15 tot omstreeks 14.45,
Blok C (presentaties 6,7): van omstreeks 15.15 tot omstreeks 16.15.
Link naar
de startpagina van de FP-dag 2005.