Difference between revisions of "NL-FP dag 2019"
Bas Lijnse (talk | contribs) |
Bas Lijnse (talk | contribs) |
||
| Line 11: | Line 11: | ||
== Program == | == Program == | ||
| − | The day will follow the traditional FP-Day format. | + | The day will follow the traditional FP-Day format: A diverse mix of presentations with long coffee breaks and time to chat. |
| − | + | {| | |
| − | + | |Time | |
| − | + | |Speaker | |
| − | + | |Title | |
| − | + | |- | |
| − | + | |10:00 | |
| − | + | |Organization | |
| − | + | |Welcome at the NLDA | |
| − | + | |- | |
| − | + | |10:25 | |
| − | + | |Jan Kuper | |
| − | + | |To be announced | |
| − | + | |- | |
| − | + | |10:50 | |
| − | + | |Klara Marntirosian | |
| + | |COCHIS a Calculus with Stable and Coherent Implicits | ||
| + | |- | ||
| + | |11:15 | ||
| + | | | ||
| + | |Coffee Break | ||
| + | |- | ||
| + | |11:45 | ||
| + | |Haye Böhm | ||
| + | |Asynchronous Shares in a Synchronous World | ||
| + | |- | ||
| + | |12:10 | ||
| + | |Jappie Klooster | ||
| + | |Fullstack Haskell with reflex & servant | ||
| + | |- | ||
| + | |12:35 | ||
| + | | | ||
| + | |Lunch | ||
| + | |- | ||
| + | |14:00 | ||
| + | |Wim Bast | ||
| + | |Declaratief programmeren met behulp van Dclare | ||
| + | |- | ||
| + | |14:25 | ||
| + | |Gert-Jan Bottu | ||
| + | |Proving Haskell's Type Class Resolution Coherent | ||
| + | |- | ||
| + | |14:50 | ||
| + | |Tim Steenvoorden | ||
| + | |To be announced | ||
| + | |- | ||
| + | |15:15 | ||
| + | | | ||
| + | |Coffee break | ||
| + | |- | ||
| + | |15:45 | ||
| + | |Dirk Hünniger | ||
| + | |From Wikipedia to LaTeX | ||
| + | |- | ||
| + | |16:10 | ||
| + | |Alejandro Serrano Mena | ||
| + | |Classes of Arbitrary Kind | ||
| + | |- | ||
| + | |16:35 | ||
| + | |Organizers | ||
| + | |Closing and Announcements | ||
| + | |- | ||
| + | |16:45 | ||
| + | | | ||
| + | |Drinks | ||
| + | |- | ||
| + | |18:00 | ||
| + | | | ||
| + | |Dinner (optional) | ||
| + | |} | ||
== Contact == | == Contact == | ||
Revision as of 10:53, 20 December 2018
The Dutch Functional Programming Day is an annual gathering of researchers, students, and practitioners sharing a common interest in functional programming. The day features talks that cover the latest advances in research, teaching, and applications in the functional programming area. Coffee and lunch breaks provide ample opportunity for networking with your colleagues and meeting new people. Experts and newcomers to the field are equally welcome.
The NL-FP day 2019 takes place on Friday, January 11, 2019 and will be hosted by the Netherlands Defence Academy.
Location
The location will be the "Trip van Zoudtlandt Kazerne" in Breda. The adress is: De la Reijweg 95, 4818 BA.
Program
The day will follow the traditional FP-Day format: A diverse mix of presentations with long coffee breaks and time to chat.
| Time | Speaker | Title |
| 10:00 | Organization | Welcome at the NLDA |
| 10:25 | Jan Kuper | To be announced |
| 10:50 | Klara Marntirosian | COCHIS a Calculus with Stable and Coherent Implicits |
| 11:15 | Coffee Break | |
| 11:45 | Haye Böhm | Asynchronous Shares in a Synchronous World |
| 12:10 | Jappie Klooster | Fullstack Haskell with reflex & servant |
| 12:35 | Lunch | |
| 14:00 | Wim Bast | Declaratief programmeren met behulp van Dclare |
| 14:25 | Gert-Jan Bottu | Proving Haskell's Type Class Resolution Coherent |
| 14:50 | Tim Steenvoorden | To be announced |
| 15:15 | Coffee break | |
| 15:45 | Dirk Hünniger | From Wikipedia to LaTeX |
| 16:10 | Alejandro Serrano Mena | Classes of Arbitrary Kind |
| 16:35 | Organizers | Closing and Announcements |
| 16:45 | Drinks | |
| 18:00 | Dinner (optional) |
Contact
- Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)
- Jan Martin Jansen (JM.Jansen.04@mindef.nl)
Dinner
The dinner is optional and at your own cost, but we will look for a suitable restaurant (not too expensive and able to have large groups) and make reservations.
Registration
Participation is free, but you will need to register. To register simply can simply send an e-mail with the following information:
- Name (will be published in the list of participants)
- Affiliation (optional)
- E-mail address (will only be used to inform you about the FP-day)
- Whether you are planning to join the dinner
