Difference between revisions of "NL-FP dag 2019"

From Clean
Jump to navigationJump to search
Line 56: Line 56:
 
|14:50
 
|14:50
 
|Tim Steenvoorden
 
|Tim Steenvoorden
|To be announced
+
|TopHat: A formal calculus for modular interactive workflows
 
|-
 
|-
 
|15:15
 
|15:15

Revision as of 12:39, 21 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 NL-FP dag will take place at the "Societeit onder de Toren" at the "Trip van Zoudtlandt Kazerne" in Breda. The adress is: De la Reijweg 95, 4818 BA.

Google Maps

OpenStreetMap

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 TopHat: A formal calculus for modular interactive workflows
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. The dinner will take place at "Tortillas" at the Grote Markt in Breda where we will be served a "Variacion a la Tortillas". For more information see http://www.tortillas.nl.

Registration

Participation is free, but you will need to register. The deadline for registration is Friday January 4, 2019. We need to supply a list of participants to the venue. If you are not registered you won't be allowed in.

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