https://wiki.clean.cs.ru.nl/api.php?action=feedcontributions&user=Bas+Lijnse&feedformat=atomClean - User contributions [en]2024-03-28T18:11:25ZUser contributionsMediaWiki 1.35.5https://wiki.clean.cs.ru.nl/index.php?title=Clean&diff=1688Clean2019-10-03T08:37:32Z<p>Bas Lijnse: </p>
<hr />
<div>__NOTOC__<br />
{| style="width:100%; border:none"<br />
|style="width:70%; vertical-align: top; padding-right: 20px;"|<br />
Welcome to the '''Clean Wiki'''! the online home of Clean.<br />
<br />
Clean is a general purpose, state-of-the-art, pure and lazy functional programming language designed for making real-world applications. Some of its most notable [[Language features|language features]] are uniqueness typing, dynamic typing, and generic functions. Have a look at a [[Quick impression|quick impression]] of Clean.<br />
<br />
The [[Clean System]] is available for the Windows, Linux, and Mac operating systems.<br />
<br />
== PLNL2019 in Nijmegen! ==<br />
This year the [[PLNL19 |Second Workshop on Programming Languages in The Netherlands]] is hosted in Nijmegen.<br />
<br />
== Downloading Clean ==<br />
We are migrating towards continuous integration and more frequent releases.<br />
Both nightly developments builds and the traditionally versioned Clean 3.0 are publicly available from our [[Download Clean|download page]].<br />
<br />
[[Image:download-clean.png|link=Download Clean]]<br />
<br />
== The iTask System ==<br />
[[File:itasks-logo.png|left]]<br />
Much of the current Clean related research is focused around the [[ITasks|iTasks system]].<br />
This is a toolkit for building web-based workflow management systems using a powerful workflow<br />
language embedded in Clean.<br />
<br />
[[ITasks|Read more about the iTasks system...]]<br />
<br />
== Cloogle ==<br />
[[File:Cloogle-logo.png|left]]<br />
[https://cloogle.org Cloogle] is the official Clean search engine that indexes all standard libraries, external libraries, compiler errors, ABC instructions, builtins and syntax elements.<br />
<br />
[https://gitlab.science.ru.nl/cloogle/cloogle.org Read more about Cloogle...]<br />
<br />
|style="width:30%; vertical-align: top; padding-right: 20px;"|<br />
{{:Events}}<br />
|}<br />
<br />
{| style="width:100%; border:none"<br />
|- <br />
|style="width:25%; vertical-align: top; padding-right: 20px;"|<br />
== Language ==<br />
Learn more about the Clean language by [[Download Clean|downloading]] a distribution, the [[libraries]], or reading the [[documentation]], related [[publications]], or [[FAQ]].<br />
<br />
<br />
|style="width:25%; vertical-align: top; padding-right: 20px;"|<br />
== Community ==<br />
All development is happening in on gitlab nowadays.<br />
See the [https://gitlab.science.ru.nl/clean-and-itasks clean-and-itasks] group for everything iTasks and the [https://gitlab.science.ru.nl/clean-compiler-and-rts compile-and-rts] group for everything core.<br />
<br />
Find out what is going on in the Clean community by checking out the [[projects]] that use Clean, checkout the IRC channel (#cleanlang@freenode), or joining our [[mailing lists]]. <br />
<br />
|style="width:25%; vertical-align: top; padding-right: 20px;"|<br />
<br />
== About ==<br />
Read more about the [[latest developments]], upcoming and past [[events]], or how to [[contact]] us.<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1623NL-FP dag 20192019-01-10T12:15:36Z<p>Bas Lijnse: /* Program */</p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
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.<br />
<br />
[https://goo.gl/maps/skU5QASg4US2 Google Maps]<br />
<br />
[https://www.openstreetmap.org/relation/6577772 OpenStreetMap]<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format: A diverse mix of presentations with long coffee breaks and time to chat.<br />
<br />
{|<br />
|Time<br />
|Speaker<br />
|Title<br />
|-<br />
|9:00<br />
|<br />
|Registration<br />
|-<br />
|10:00<br />
|Bas, Jan Martin and Col. Rick Peddemors<br />
|Welcome at the NLDA<br />
|-<br />
|10:25<br />
|Shubham Yadav<br />
|Ball Collision Model — Hardware Designing with Multiple Clock Cycle Components in Cλash<br />
|-<br />
|10:50<br />
|Klara Marntirosian<br />
|COCHIS a Calculus with Stable and Coherent Implicits<br />
|-<br />
|11:15<br />
|<br />
|Coffee Break<br />
|-<br />
|11:45<br />
|Tim Steenvoorden<br />
|TopHat: A formal calculus for modular interactive workflows<br />
|-<br />
|12:10<br />
|Jappie Klooster<br />
|Fullstack Haskell with reflex & servant<br />
|-<br />
|12:35<br />
|<br />
|Lunch<br />
|-<br />
|14:00<br />
|Wim Bast<br />
|Declarative programming using Dclare<br />
|-<br />
|14:25<br />
|Gert-Jan Bottu<br />
|Proving Haskell's Type Class Resolution Coherent<br />
|-<br />
|14:50<br />
|Haye Böhm<br />
|Asynchronous Shares in a Synchronous World<br />
|-<br />
|15:15<br />
|<br />
|Coffee break<br />
|-<br />
|15:45<br />
|Dirk Hünniger<br />
|From Wikipedia to LaTeX<br />
|-<br />
|16:10<br />
|Alejandro Serrano Mena<br />
|Classes of Arbitrary Kind<br />
|-<br />
|16:35<br />
|Organizers<br />
|Closing and Announcements<br />
|-<br />
|16:45<br />
|<br />
|Drinks<br />
|-<br />
|18:00<br />
|<br />
|Dinner (optional)<br />
|}<br />
<br />
== Talks ==<br />
<br />
=== Shubham Yadav: Ball Collision Model — Hardware Designing with Multiple Clock Cycle Components in Cλash ===<br />
Cλash as a functional hardware description language is a slight variation of Haskell, and its compiler transforms high level designs into low level hardware languages, like VHDL and (System) Verilog. This presentation describes some ways to develop hardware designs which include multiple clock cycle components (having both static and dynamic latency) at higher level. To model these multiple clock cycle operations, two different approaches are discussed: dataflow modelling and usage of delayed signals (a newtype defined in the Cλash library). <br />
<br />
=== Klara Marntirosian: COCHIS a Calculus with Stable and Coherent Implicits ===<br />
Implicit Progamming (IP) mechanisms infer values by type-directed resolution, making programs more compact and easier to read. Examples of IP mechanisms include Haskell’s type classes, Scala’s implicits, Agda’s instance arguments, Coq’s type classes, and Rust’s traits. The design of IP mechanisms has led to heated debate: proponents of one school argue for the desirability of strong reasoning properties; while proponents of another school argue for the power and flexibility of local scoping or overlapping instances. The current state of affairs seems to indicate that the two goals are at odds with one another and cannot easily be reconciled.<br />
<br />
This talk presents COCHIS, the Calculus Of CoHerent ImplicitS, an improved variant of the implicit calculus that offers flexibility while preserving two key properties: coherence and stability of type substitutions. COCHIS supports polymorphism, local scoping, overlapping instances, first-class instances, and higher-order rules, while remaining type safe, coherent and stable under type substitution.<br />
<br />
=== Haye Böhm: Asynchronous Shares in a Synchronous World ===<br />
iTasks is a framework in Clean that enables declarative Task Oriented<br />
Programming for the web. A task is the central building block,<br />
representing a unit of work to be done by the system or a user. Task<br />
evaluation is done synchronously based on events. The framework<br />
automatically generates user interfaces and handles all interaction<br />
between client (browser) and server. Tasks in the iTasks framework use<br />
data from external datasources more and more. The share system is one of<br />
the tools that enables sharing data between tasks or retrieving data<br />
from an external source such as the internet.<br />
<br />
In this talk, we explore a solution that uses the share system to<br />
facilitate asynchronous use of external datasources. Connecting to the<br />
internet to retrieve data is now done in a non-blocking way, ensuring<br />
that multiple tasks never block each other. We show design<br />
considerations and motivate the chosen approach.<br />
<br />
=== Jappie Klooster: Fullstack Haskell with reflex & servant ===<br />
The basics of functional reactive programming are briefly <br />
explained, and how they apply to reflex. Then we see the benefits of <br />
full stack haskell in a live coding session! We'll make a widget or <br />
add/change an endpoint or both depending on time.<br />
<br />
=== Wim Bast: Declarative programming using Dclare ===<br />
Dclare is a (open-source) Java library used to develop declarative-language run-times.<br />
Dclare is a reactive en incremental framework optimized for dynamic systems.<br />
It not a pure functional solution because it reacts to, and produces state changes.<br />
However, Dclare 'hides' all imperative aspects from the programmer, similar to real functional languages.<br />
Based on some examples and life-programming Wim Bast wil show the capabilities of this framework.<br />
Dclare is used in some industrie products, under-which the Dutch tax-office..<br />
The goal of this presentation is to discuss language evolution and compare the functional with the declarative paradigm. <br />
<br />
=== Gert-Jan Bottu: Proving Haskell's Type Class Resolution Coherent ===<br />
Haskell’s elaboration-based type class resolution is generally<br />
nondeterministic: there can be multiple ways to satisfy a wanted constraint in terms of global instances and locally given constraints.<br />
Coherence is the key property that keeps this sane; it guarantees that, despite the nondeterminism, programs still behave predictably. Even though elaboration-based resolution is generally assumed coherent, this property has never formally been proven.<br />
<br />
This talk gives an introduction to Haskell’s dictionary-based type class resolution, explains the need for a coherent elaboration and shows how we managed to successfully solve this age-old problem!<br />
<br />
=== Tim Steenvoorden: TopHat: A formal calculus for modular interactive workflows ===<br />
Task-Oriented Programming (TOP) is a programming paradigm that focusses on modelling real world collaborations between people.<br />
It prescribes a declarative programming style to specify multi-user workflows.<br />
Workflows can be higher-order.<br />
They communicate through typed values on a local or global level.<br />
Such specifications can be turned into interactive applications for different platforms,<br />
supporting collaboration during execution.<br />
<br />
In this talk we decompose the rich features of TOP into elementary language elements,<br />
which makes them suitable for formal treatment.<br />
We use the simply typed lambda calculus, extended with pairs and references, as a base language.<br />
On top of this language, we develop TopHat, a calculus for modular interactive workflows.<br />
With TopHat we prepare a way to formally reason about TOP systems.<br />
<br />
We describe TopHat by means of a layered semantics.<br />
These layers consist of multiple big step evaluations on expressions,<br />
and two labelled transition systems, handling user inputs.<br />
We show some interesting properties of this machinery.<br />
This approach allows for comparison with other work in the field.<br />
We place TopHat in perspective with the process calculus CSP.<br />
<br />
=== Dirk Hünniger: From Wikipedia to LaTeX ===<br />
It is often desirable to have access to Wikipedia articles in LaTeX<br />
format. A translation by hand is typically time-consuming and<br />
error-prone. Thus it is natural to look for algorithmic solutions to<br />
thisproblem. Our solution is currently available free of charge under an<br />
open source license for Windows and Debian GNU/Linux. It is not limited<br />
to Wikipedia but supports all servers running the same wiki software<br />
(MediaWiki) as Wikipedia. In particular, it is also possible to process<br />
local wikis available only on private networks inside institutions.<br />
<br />
=== Alejandro Serrano Mena: Classes of Arbitrary Kind ===<br />
The type class system in the Haskell Programming language provides a <br />
useful abstraction for a wide range of types, such as those that support <br />
comparison, serialization, ordering, between others. This system can be <br />
extended by the programmer by providing custom instances to one's custom <br />
types. Yet, this is often a monotonous task. Some notions, such as <br />
equality, are very regular regardless if it is being encoded for a <br />
ground type or a type constructor. We present a technique that unifies <br />
the treatment of ground types and type constructors<br />
whenever possible. This reduces code duplication and improves <br />
consistency. We discuss the encoding of several classes in this form, <br />
and if time allows, how to extend the generic programming facilities in GHC.<br />
<br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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 http://www.tortillas.nl].<br />
<br />
== Registration ==<br />
Participation is free, but you will need to register. The deadline for registration is '''Friday January 4, 2019'''. <br />
We need to supply a list of participants to the venue. If you are not registered you won't be allowed in.<br />
<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you are planning to join the dinner</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1622NL-FP dag 2019/Participants2019-01-09T08:51:31Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
| Ana-Maria Oprescu<br />
| Universiteit van Amsterdam<br />
|-<br />
| Dirk Hünniger<br />
| University Duisburg Essen<br />
|-<br />
| Tim Steenvoorden<br />
| Radboud Universiteit<br />
|-<br />
| Adrien Haxaire<br />
| Lunatech Labs<br />
|-<br />
| Andrea Giugliano<br />
| Lunatech Labs<br />
|-<br />
| Erik Bakker<br />
| Lunatech Labs<br />
|-<br />
| Michel Thomassen<br />
| Lunatech Labs<br />
|-<br />
| Leon Schoorl<br />
| QBayLogic<br />
|-<br />
| Gert van der Plas<br />
| Belastingdienst<br />
|-<br />
| Gert Veldhuijzen van Zanten<br />
| Belastingdienst<br />
|-<br />
| Alejandro Serrano Mena<br />
| Universiteit Utrecht<br />
|-<br />
| Clemens Grelck<br />
| Universiteit van Amsterdam<br />
|-<br />
| Doaitse Swierstra<br />
| Universiteit Utrecht<br />
|-<br />
| Christoph Hofer-Temmel<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Haye Böhm<br />
| Radboud Universiteit<br />
|-<br />
| Nico Naus<br />
| Universiteit Utrecht<br />
|-<br />
| Chide Groenouwe<br />
| Universiteit Utrecht<br />
|-<br />
| Arian van Putten<br />
|<br />
|-<br />
| Merijn Verstraaten<br />
| Netherlands eScience Center<br />
|-<br />
| Stephen Adams<br />
|<br />
|-<br />
| Jacco Krijnen<br />
| Chordify<br />
|-<br />
| Ian Channing<br />
| Imec<br />
|-<br />
| Henk-Jan van Tuyl<br />
| Van Tuyl Software<br />
|-<br />
| Nikolaos Bezirgiannis<br />
| Centrum Wiskunde & Informatica (CWI)<br />
|-<br />
| Yorick Sijsling<br />
| Channable<br />
|-<br />
| Jaro Reinders<br />
| TU/e<br />
|-<br />
| Samuel da Silva Feitosa<br />
| Universiteit Utrecht<br />
|-<br />
| Martijn Bastiaan<br />
| QbayLogic<br />
|-<br />
| Laurens Duijvesteijn<br />
| Channable<br />
|-<br />
| Handre Stolp<br />
| CircuitHub<br />
|-<br />
| Iris Ren<br />
| Universiteit Utrecht<br />
|-<br />
| Julienne Weijden<br />
| BotBoys<br />
|-<br />
| Joeri van Eekelen<br />
| BotBoys<br />
|-<br />
| Niek Mulleners<br />
| Universiteit Utrecht<br />
|-<br />
| Nick Rudnick<br />
|<br />
|-<br />
| Tom Verhoeff<br />
| TU/e<br />
|-<br />
| Jaap van der Woude<br />
|<br />
|-<br />
| Fabian Thorand<br />
| Channable<br />
|-<br />
| Tex (Aston Felix) Schönlank<br />
| Universiteit van Amsterdam<br />
|-<br />
| Daan Rijks<br />
|<br />
|-<br />
| Trevor L. McDonell<br />
| Universiteit Utrecht<br />
|-<br />
| Shubham Yadav<br />
| QbayLogic<br />
|-<br />
| Joao Paulo Pizani<br />
| Universiteit Utrecht<br />
|-<br />
| Ronald Krijgsheld<br />
| Belastingdienst<br />
|-<br />
| Hendrik Folmer<br />
| University of Twente<br />
|-<br />
| Matúš Tejiščák<br />
| Chordify<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1621NL-FP dag 2019/Participants2019-01-07T14:38:36Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|-<br />
|Haye Böhm<br />
|Radboud Universiteit<br />
|-<br />
|Nico Naus<br />
|Universiteit Utrecht<br />
|-<br />
|Chide Groenouwe<br />
|Universiteit Utrecht<br />
|-<br />
|Arian van Putten<br />
|<br />
|-<br />
|Merijn Verstraaten<br />
|Netherlands eScience Center<br />
|-<br />
|Stephen Adams<br />
|<br />
|-<br />
|Jacco Krijnen<br />
|Chordify<br />
|-<br />
|Ian Channing<br />
|Imec<br />
|-<br />
|Henk-Jan van Tuyl<br />
|Van Tuyl Software<br />
|-<br />
|Nikolaos Bezirgiannis<br />
|Centrum Wiskunde & Informatica (CWI)<br />
|-<br />
|Yorick Sijsling<br />
|Channable<br />
|-<br />
|Jaro Reinders<br />
|TU/e<br />
|-<br />
|Samuel da Silva Feitosa<br />
|Universiteit Utrecht<br />
|-<br />
|Martijn Bastiaan<br />
|QbayLogic<br />
|-<br />
|Laurens Duijvesteijn<br />
|Channable<br />
|-<br />
|Handre Stolp<br />
|CircuitHub<br />
|-<br />
|Iris Ren<br />
|Universiteit Utrecht<br />
|-<br />
|Julienne Weijden<br />
|BotBoys<br />
|-<br />
|Joeri van Eekelen<br />
|BotBoys<br />
|-<br />
|Niek Mulleners<br />
|Universiteit Utrecht<br />
|-<br />
|Nick Rudnick<br />
|<br />
|-<br />
|Tom Verhoeff<br />
|TU/e<br />
|-<br />
|Jaap van der Woude<br />
|<br />
|-<br />
|Fabian Thorand<br />
|Channable<br />
|-<br />
|Tex (Aston Felix) Schönlank<br />
|Universiteit van Amsterdam<br />
|-<br />
|Daan Rijks<br />
|<br />
|-<br />
|Trevor L. McDonell<br />
|Universiteit Utrecht<br />
|-<br />
|Shubham Yadav<br />
|QbayLogic<br />
|-<br />
|Joao Paulo Pizani<br />
|Universiteit Utrecht<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1620NL-FP dag 20192019-01-07T14:28:10Z<p>Bas Lijnse: /* Program */</p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
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.<br />
<br />
[https://goo.gl/maps/skU5QASg4US2 Google Maps]<br />
<br />
[https://www.openstreetmap.org/relation/6577772 OpenStreetMap]<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format: A diverse mix of presentations with long coffee breaks and time to chat.<br />
<br />
{|<br />
|Time<br />
|Speaker<br />
|Title<br />
|-<br />
|10:00<br />
|Organization<br />
|Welcome at the NLDA<br />
|-<br />
|10:25<br />
|Shubham Yadav<br />
|Ball Collision Model — Hardware Designing with Multiple Clock Cycle Components in Cλash<br />
|-<br />
|10:50<br />
|Klara Marntirosian<br />
|COCHIS a Calculus with Stable and Coherent Implicits<br />
|-<br />
|11:15<br />
|<br />
|Coffee Break<br />
|-<br />
|11:45<br />
|Tim Steenvoorden<br />
|TopHat: A formal calculus for modular interactive workflows<br />
|-<br />
|12:10<br />
|Jappie Klooster<br />
|Fullstack Haskell with reflex & servant<br />
|-<br />
|12:35<br />
|<br />
|Lunch<br />
|-<br />
|14:00<br />
|Wim Bast<br />
|Declarative programming using Dclare<br />
|-<br />
|14:25<br />
|Gert-Jan Bottu<br />
|Proving Haskell's Type Class Resolution Coherent<br />
|-<br />
|14:50<br />
|Haye Böhm<br />
|Asynchronous Shares in a Synchronous World<br />
|-<br />
|15:15<br />
|<br />
|Coffee break<br />
|-<br />
|15:45<br />
|Dirk Hünniger<br />
|From Wikipedia to LaTeX<br />
|-<br />
|16:10<br />
|Alejandro Serrano Mena<br />
|Classes of Arbitrary Kind<br />
|-<br />
|16:35<br />
|Organizers<br />
|Closing and Announcements<br />
|-<br />
|16:45<br />
|<br />
|Drinks<br />
|-<br />
|18:00<br />
|<br />
|Dinner (optional)<br />
|}<br />
<br />
== Talks ==<br />
<br />
=== Shubham Yadav: Ball Collision Model — Hardware Designing with Multiple Clock Cycle Components in Cλash ===<br />
Cλash as a functional hardware description language is a slight variation of Haskell, and its compiler transforms high level designs into low level hardware languages, like VHDL and (System) Verilog. This presentation describes some ways to develop hardware designs which include multiple clock cycle components (having both static and dynamic latency) at higher level. To model these multiple clock cycle operations, two different approaches are discussed: dataflow modelling and usage of delayed signals (a newtype defined in the Cλash library). <br />
<br />
=== Klara Marntirosian: COCHIS a Calculus with Stable and Coherent Implicits ===<br />
Implicit Progamming (IP) mechanisms infer values by type-directed resolution, making programs more compact and easier to read. Examples of IP mechanisms include Haskell’s type classes, Scala’s implicits, Agda’s instance arguments, Coq’s type classes, and Rust’s traits. The design of IP mechanisms has led to heated debate: proponents of one school argue for the desirability of strong reasoning properties; while proponents of another school argue for the power and flexibility of local scoping or overlapping instances. The current state of affairs seems to indicate that the two goals are at odds with one another and cannot easily be reconciled.<br />
<br />
This talk presents COCHIS, the Calculus Of CoHerent ImplicitS, an improved variant of the implicit calculus that offers flexibility while preserving two key properties: coherence and stability of type substitutions. COCHIS supports polymorphism, local scoping, overlapping instances, first-class instances, and higher-order rules, while remaining type safe, coherent and stable under type substitution.<br />
<br />
=== Haye Böhm: Asynchronous Shares in a Synchronous World ===<br />
iTasks is a framework in Clean that enables declarative Task Oriented<br />
Programming for the web. A task is the central building block,<br />
representing a unit of work to be done by the system or a user. Task<br />
evaluation is done synchronously based on events. The framework<br />
automatically generates user interfaces and handles all interaction<br />
between client (browser) and server. Tasks in the iTasks framework use<br />
data from external datasources more and more. The share system is one of<br />
the tools that enables sharing data between tasks or retrieving data<br />
from an external source such as the internet.<br />
<br />
In this talk, we explore a solution that uses the share system to<br />
facilitate asynchronous use of external datasources. Connecting to the<br />
internet to retrieve data is now done in a non-blocking way, ensuring<br />
that multiple tasks never block each other. We show design<br />
considerations and motivate the chosen approach.<br />
<br />
=== Jappie Klooster: Fullstack Haskell with reflex & servant ===<br />
The basics of functional reactive programming are briefly <br />
explained, and how they apply to reflex. Then we see the benefits of <br />
full stack haskell in a live coding session! We'll make a widget or <br />
add/change an endpoint or both depending on time.<br />
<br />
=== Wim Bast: Declarative programming using Dclare ===<br />
Dclare is a (open-source) Java library used to develop declarative-language run-times.<br />
Dclare is a reactive en incremental framework optimized for dynamic systems.<br />
It not a pure functional solution because it reacts to, and produces state changes.<br />
However, Dclare 'hides' all imperative aspects from the programmer, similar to real functional languages.<br />
Based on some examples and life-programming Wim Bast wil show the capabilities of this framework.<br />
Dclare is used in some industrie products, under-which the Dutch tax-office..<br />
The goal of this presentation is to discuss language evolution and compare the functional with the declarative paradigm. <br />
<br />
=== Gert-Jan Bottu: Proving Haskell's Type Class Resolution Coherent ===<br />
Haskell’s elaboration-based type class resolution is generally<br />
nondeterministic: there can be multiple ways to satisfy a wanted constraint in terms of global instances and locally given constraints.<br />
Coherence is the key property that keeps this sane; it guarantees that, despite the nondeterminism, programs still behave predictably. Even though elaboration-based resolution is generally assumed coherent, this property has never formally been proven.<br />
<br />
This talk gives an introduction to Haskell’s dictionary-based type class resolution, explains the need for a coherent elaboration and shows how we managed to successfully solve this age-old problem!<br />
<br />
=== Tim Steenvoorden: TopHat: A formal calculus for modular interactive workflows ===<br />
Task-Oriented Programming (TOP) is a programming paradigm that focusses on modelling real world collaborations between people.<br />
It prescribes a declarative programming style to specify multi-user workflows.<br />
Workflows can be higher-order.<br />
They communicate through typed values on a local or global level.<br />
Such specifications can be turned into interactive applications for different platforms,<br />
supporting collaboration during execution.<br />
<br />
In this talk we decompose the rich features of TOP into elementary language elements,<br />
which makes them suitable for formal treatment.<br />
We use the simply typed lambda calculus, extended with pairs and references, as a base language.<br />
On top of this language, we develop TopHat, a calculus for modular interactive workflows.<br />
With TopHat we prepare a way to formally reason about TOP systems.<br />
<br />
We describe TopHat by means of a layered semantics.<br />
These layers consist of multiple big step evaluations on expressions,<br />
and two labelled transition systems, handling user inputs.<br />
We show some interesting properties of this machinery.<br />
This approach allows for comparison with other work in the field.<br />
We place TopHat in perspective with the process calculus CSP.<br />
<br />
=== Dirk Hünniger: From Wikipedia to LaTeX ===<br />
It is often desirable to have access to Wikipedia articles in LaTeX<br />
format. A translation by hand is typically time-consuming and<br />
error-prone. Thus it is natural to look for algorithmic solutions to<br />
thisproblem. Our solution is currently available free of charge under an<br />
open source license for Windows and Debian GNU/Linux. It is not limited<br />
to Wikipedia but supports all servers running the same wiki software<br />
(MediaWiki) as Wikipedia. In particular, it is also possible to process<br />
local wikis available only on private networks inside institutions.<br />
<br />
=== Alejandro Serrano Mena: Classes of Arbitrary Kind ===<br />
The type class system in the Haskell Programming language provides a <br />
useful abstraction for a wide range of types, such as those that support <br />
comparison, serialization, ordering, between others. This system can be <br />
extended by the programmer by providing custom instances to one's custom <br />
types. Yet, this is often a monotonous task. Some notions, such as <br />
equality, are very regular regardless if it is being encoded for a <br />
ground type or a type constructor. We present a technique that unifies <br />
the treatment of ground types and type constructors<br />
whenever possible. This reduces code duplication and improves <br />
consistency. We discuss the encoding of several classes in this form, <br />
and if time allows, how to extend the generic programming facilities in GHC.<br />
<br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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 http://www.tortillas.nl].<br />
<br />
== Registration ==<br />
Participation is free, but you will need to register. The deadline for registration is '''Friday January 4, 2019'''. <br />
We need to supply a list of participants to the venue. If you are not registered you won't be allowed in.<br />
<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you are planning to join the dinner</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1619NL-FP dag 20192019-01-07T14:09:36Z<p>Bas Lijnse: /* Talks */</p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
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.<br />
<br />
[https://goo.gl/maps/skU5QASg4US2 Google Maps]<br />
<br />
[https://www.openstreetmap.org/relation/6577772 OpenStreetMap]<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format: A diverse mix of presentations with long coffee breaks and time to chat.<br />
<br />
{|<br />
|Time<br />
|Speaker<br />
|Title<br />
|-<br />
|10:00<br />
|Organization<br />
|Welcome at the NLDA<br />
|-<br />
|10:25<br />
|Shubham Yadav<br />
|Ball Collision Model — Hardware Designing with Multiple Clock Cycle Components in Cλash<br />
|-<br />
|10:50<br />
|Klara Marntirosian<br />
|COCHIS a Calculus with Stable and Coherent Implicits<br />
|-<br />
|11:15<br />
|<br />
|Coffee Break<br />
|-<br />
|11:45<br />
|Haye Böhm<br />
|Asynchronous Shares in a Synchronous World<br />
|-<br />
|12:10<br />
|Jappie Klooster<br />
|Fullstack Haskell with reflex & servant<br />
|-<br />
|12:35<br />
|<br />
|Lunch<br />
|-<br />
|14:00<br />
|Wim Bast<br />
|Declarative programming using Dclare<br />
|-<br />
|14:25<br />
|Gert-Jan Bottu<br />
|Proving Haskell's Type Class Resolution Coherent<br />
|-<br />
|14:50<br />
|Tim Steenvoorden<br />
|TopHat: A formal calculus for modular interactive workflows<br />
|-<br />
|15:15<br />
|<br />
|Coffee break<br />
|-<br />
|15:45<br />
|Dirk Hünniger<br />
|From Wikipedia to LaTeX<br />
|-<br />
|16:10<br />
|Alejandro Serrano Mena<br />
|Classes of Arbitrary Kind<br />
|-<br />
|16:35<br />
|Organizers<br />
|Closing and Announcements<br />
|-<br />
|16:45<br />
|<br />
|Drinks<br />
|-<br />
|18:00<br />
|<br />
|Dinner (optional)<br />
|}<br />
<br />
== Talks ==<br />
<br />
=== Shubham Yadav: Ball Collision Model — Hardware Designing with Multiple Clock Cycle Components in Cλash ===<br />
Cλash as a functional hardware description language is a slight variation of Haskell, and its compiler transforms high level designs into low level hardware languages, like VHDL and (System) Verilog. This presentation describes some ways to develop hardware designs which include multiple clock cycle components (having both static and dynamic latency) at higher level. To model these multiple clock cycle operations, two different approaches are discussed: dataflow modelling and usage of delayed signals (a newtype defined in the Cλash library). <br />
<br />
=== Klara Marntirosian: COCHIS a Calculus with Stable and Coherent Implicits ===<br />
Implicit Progamming (IP) mechanisms infer values by type-directed resolution, making programs more compact and easier to read. Examples of IP mechanisms include Haskell’s type classes, Scala’s implicits, Agda’s instance arguments, Coq’s type classes, and Rust’s traits. The design of IP mechanisms has led to heated debate: proponents of one school argue for the desirability of strong reasoning properties; while proponents of another school argue for the power and flexibility of local scoping or overlapping instances. The current state of affairs seems to indicate that the two goals are at odds with one another and cannot easily be reconciled.<br />
<br />
This talk presents COCHIS, the Calculus Of CoHerent ImplicitS, an improved variant of the implicit calculus that offers flexibility while preserving two key properties: coherence and stability of type substitutions. COCHIS supports polymorphism, local scoping, overlapping instances, first-class instances, and higher-order rules, while remaining type safe, coherent and stable under type substitution.<br />
<br />
=== Haye Böhm: Asynchronous Shares in a Synchronous World ===<br />
iTasks is a framework in Clean that enables declarative Task Oriented<br />
Programming for the web. A task is the central building block,<br />
representing a unit of work to be done by the system or a user. Task<br />
evaluation is done synchronously based on events. The framework<br />
automatically generates user interfaces and handles all interaction<br />
between client (browser) and server. Tasks in the iTasks framework use<br />
data from external datasources more and more. The share system is one of<br />
the tools that enables sharing data between tasks or retrieving data<br />
from an external source such as the internet.<br />
<br />
In this talk, we explore a solution that uses the share system to<br />
facilitate asynchronous use of external datasources. Connecting to the<br />
internet to retrieve data is now done in a non-blocking way, ensuring<br />
that multiple tasks never block each other. We show design<br />
considerations and motivate the chosen approach.<br />
<br />
=== Jappie Klooster: Fullstack Haskell with reflex & servant ===<br />
The basics of functional reactive programming are briefly <br />
explained, and how they apply to reflex. Then we see the benefits of <br />
full stack haskell in a live coding session! We'll make a widget or <br />
add/change an endpoint or both depending on time.<br />
<br />
=== Wim Bast: Declarative programming using Dclare ===<br />
Dclare is a (open-source) Java library used to develop declarative-language run-times.<br />
Dclare is a reactive en incremental framework optimized for dynamic systems.<br />
It not a pure functional solution because it reacts to, and produces state changes.<br />
However, Dclare 'hides' all imperative aspects from the programmer, similar to real functional languages.<br />
Based on some examples and life-programming Wim Bast wil show the capabilities of this framework.<br />
Dclare is used in some industrie products, under-which the Dutch tax-office..<br />
The goal of this presentation is to discuss language evolution and compare the functional with the declarative paradigm. <br />
<br />
=== Gert-Jan Bottu: Proving Haskell's Type Class Resolution Coherent ===<br />
Haskell’s elaboration-based type class resolution is generally<br />
nondeterministic: there can be multiple ways to satisfy a wanted constraint in terms of global instances and locally given constraints.<br />
Coherence is the key property that keeps this sane; it guarantees that, despite the nondeterminism, programs still behave predictably. Even though elaboration-based resolution is generally assumed coherent, this property has never formally been proven.<br />
<br />
This talk gives an introduction to Haskell’s dictionary-based type class resolution, explains the need for a coherent elaboration and shows how we managed to successfully solve this age-old problem!<br />
<br />
=== Tim Steenvoorden: TopHat: A formal calculus for modular interactive workflows ===<br />
Task-Oriented Programming (TOP) is a programming paradigm that focusses on modelling real world collaborations between people.<br />
It prescribes a declarative programming style to specify multi-user workflows.<br />
Workflows can be higher-order.<br />
They communicate through typed values on a local or global level.<br />
Such specifications can be turned into interactive applications for different platforms,<br />
supporting collaboration during execution.<br />
<br />
In this talk we decompose the rich features of TOP into elementary language elements,<br />
which makes them suitable for formal treatment.<br />
We use the simply typed lambda calculus, extended with pairs and references, as a base language.<br />
On top of this language, we develop TopHat, a calculus for modular interactive workflows.<br />
With TopHat we prepare a way to formally reason about TOP systems.<br />
<br />
We describe TopHat by means of a layered semantics.<br />
These layers consist of multiple big step evaluations on expressions,<br />
and two labelled transition systems, handling user inputs.<br />
We show some interesting properties of this machinery.<br />
This approach allows for comparison with other work in the field.<br />
We place TopHat in perspective with the process calculus CSP.<br />
<br />
=== Dirk Hünniger: From Wikipedia to LaTeX ===<br />
It is often desirable to have access to Wikipedia articles in LaTeX<br />
format. A translation by hand is typically time-consuming and<br />
error-prone. Thus it is natural to look for algorithmic solutions to<br />
thisproblem. Our solution is currently available free of charge under an<br />
open source license for Windows and Debian GNU/Linux. It is not limited<br />
to Wikipedia but supports all servers running the same wiki software<br />
(MediaWiki) as Wikipedia. In particular, it is also possible to process<br />
local wikis available only on private networks inside institutions.<br />
<br />
=== Alejandro Serrano Mena: Classes of Arbitrary Kind ===<br />
The type class system in the Haskell Programming language provides a <br />
useful abstraction for a wide range of types, such as those that support <br />
comparison, serialization, ordering, between others. This system can be <br />
extended by the programmer by providing custom instances to one's custom <br />
types. Yet, this is often a monotonous task. Some notions, such as <br />
equality, are very regular regardless if it is being encoded for a <br />
ground type or a type constructor. We present a technique that unifies <br />
the treatment of ground types and type constructors<br />
whenever possible. This reduces code duplication and improves <br />
consistency. We discuss the encoding of several classes in this form, <br />
and if time allows, how to extend the generic programming facilities in GHC.<br />
<br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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 http://www.tortillas.nl].<br />
<br />
== Registration ==<br />
Participation is free, but you will need to register. The deadline for registration is '''Friday January 4, 2019'''. <br />
We need to supply a list of participants to the venue. If you are not registered you won't be allowed in.<br />
<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you are planning to join the dinner</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1618NL-FP dag 20192019-01-07T11:23:42Z<p>Bas Lijnse: </p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
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.<br />
<br />
[https://goo.gl/maps/skU5QASg4US2 Google Maps]<br />
<br />
[https://www.openstreetmap.org/relation/6577772 OpenStreetMap]<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format: A diverse mix of presentations with long coffee breaks and time to chat.<br />
<br />
{|<br />
|Time<br />
|Speaker<br />
|Title<br />
|-<br />
|10:00<br />
|Organization<br />
|Welcome at the NLDA<br />
|-<br />
|10:25<br />
|Shubham Yadav<br />
|Ball Collision Model — Hardware Designing with Multiple Clock Cycle Components in Cλash<br />
|-<br />
|10:50<br />
|Klara Marntirosian<br />
|COCHIS a Calculus with Stable and Coherent Implicits<br />
|-<br />
|11:15<br />
|<br />
|Coffee Break<br />
|-<br />
|11:45<br />
|Haye Böhm<br />
|Asynchronous Shares in a Synchronous World<br />
|-<br />
|12:10<br />
|Jappie Klooster<br />
|Fullstack Haskell with reflex & servant<br />
|-<br />
|12:35<br />
|<br />
|Lunch<br />
|-<br />
|14:00<br />
|Wim Bast<br />
|Declarative programming using Dclare<br />
|-<br />
|14:25<br />
|Gert-Jan Bottu<br />
|Proving Haskell's Type Class Resolution Coherent<br />
|-<br />
|14:50<br />
|Tim Steenvoorden<br />
|TopHat: A formal calculus for modular interactive workflows<br />
|-<br />
|15:15<br />
|<br />
|Coffee break<br />
|-<br />
|15:45<br />
|Dirk Hünniger<br />
|From Wikipedia to LaTeX<br />
|-<br />
|16:10<br />
|Alejandro Serrano Mena<br />
|Classes of Arbitrary Kind<br />
|-<br />
|16:35<br />
|Organizers<br />
|Closing and Announcements<br />
|-<br />
|16:45<br />
|<br />
|Drinks<br />
|-<br />
|18:00<br />
|<br />
|Dinner (optional)<br />
|}<br />
<br />
== Talks ==<br />
<br />
=== Shubham Yadav: Ball Collision Model — Hardware Designing with Multiple Clock Cycle Components in Cλash ===<br />
Cλash as a functional hardware description language is a slight variation of Haskell, and its compiler transforms high level designs into low level hardware languages, like VHDL and (System) Verilog. This presentation describes some ways to develop hardware designs which include multiple clock cycle components (having both static and dynamic latency) at higher level. To model these multiple clock cycle operations, two different approaches are discussed: dataflow modelling and usage of delayed signals (a newtype defined in the Cλash library). <br />
<br />
=== Klara Marntirosian: COCHIS a Calculus with Stable and Coherent Implicits ===<br />
Implicit Progamming (IP) mechanisms infer values by type-directed resolution, making programs more compact and easier to read. Examples of IP mechanisms include Haskell’s type classes, Scala’s implicits, Agda’s instance arguments, Coq’s type classes, and Rust’s traits. The design of IP mechanisms has led to heated debate: proponents of one school argue for the desirability of strong reasoning properties; while proponents of another school argue for the power and flexibility of local scoping or overlapping instances. The current state of affairs seems to indicate that the two goals are at odds with one another and cannot easily be reconciled.<br />
<br />
This talk presents COCHIS, the Calculus Of CoHerent ImplicitS, an improved variant of the implicit calculus that offers flexibility while preserving two key properties: coherence and stability of type substitutions. COCHIS supports polymorphism, local scoping, overlapping instances, first-class instances, and higher-order rules, while remaining type safe, coherent and stable under type substitution.<br />
<br />
=== Haye Böhm: Asynchronous Shares in a Synchronous World ===<br />
iTasks is a framework in Clean that enables declarative Task Oriented<br />
Programming for the web. A task is the central building block,<br />
representing a unit of work to be done by the system or a user. Task<br />
evaluation is done synchronously based on events. The framework<br />
automatically generates user interfaces and handles all interaction<br />
between client (browser) and server. Tasks in the iTasks framework use<br />
data from external datasources more and more. The share system is one of<br />
the tools that enables sharing data between tasks or retrieving data<br />
from an external source such as the internet.<br />
<br />
In this talk, we explore a solution that uses the share system to<br />
facilitate asynchronous use of external datasources. Connecting to the<br />
internet to retrieve data is now done in a non-blocking way, ensuring<br />
that multiple tasks never block each other. We show design<br />
considerations and motivate the chosen approach.<br />
<br />
=== Jappie Klooster: Fullstack Haskell with reflex & servant ===<br />
The basics of functional reactive programming are briefly <br />
explained, and how they apply to reflex. Then we see the benefits of <br />
full stack haskell in a live coding session! We'll make a widget or <br />
add/change an endpoint or both depending on time.<br />
<br />
=== Wim Bast: Declarative programming using Dclare ===<br />
Dclare is a (open-source) Java library used to develop declarative-language run-times.<br />
Dclare is a reactive en incremental framework optimized for dynamic systems.<br />
It not a pure functional solution because it reacts to, and produces state changes.<br />
However, Dclare 'hides' all imperative aspects from the programmer, similar to real functional languages.<br />
Based on some examples and life-programming Wim Bast wil show the capabilities of this framework.<br />
Dclare is used in some industrie products, under-which the Dutch tax-office..<br />
The goal of this presentation is to discuss language evolution and compare the functional with the declarative paradigm. <br />
<br />
=== Gert-Jan Bottu: Proving Haskell's Type Class Resolution Coherent ===<br />
Haskell’s elaboration-based type class resolution is generally<br />
nondeterministic: there can be multiple ways to satisfy a wanted constraint in terms of global instances and locally given constraints.<br />
Coherence is the key property that keeps this sane; it guarantees that, despite the nondeterminism, programs still behave predictably. Even though elaboration-based resolution is generally assumed coherent, this property has never formally been proven.<br />
<br />
This talk gives an introduction to Haskell’s dictionary-based type class resolution, explains the need for a coherent elaboration and shows how we managed to successfully solve this age-old problem!<br />
<br />
=== Tim Steenvoorden: TopHat: A formal calculus for modular interactive workflows ===<br />
Task-Oriented Programming (TOP) is a programming paradigm that focusses on modelling real world collaborations between people.<br />
It prescribes a declarative programming style to specify multi-user workflows.<br />
Workflows can be higher-order.<br />
They communicate through typed values on a local or global level.<br />
Such specifications can be turned into interactive applications for different platforms,<br />
supporting collaboration during execution.<br />
<br />
In this talk we decompose the rich features of TOP into elementary language elements,<br />
which makes them suitable for formal treatment.<br />
We use the simply typed lambda calculus, extended with pairs and references, as a base language.<br />
On top of this language, we develop TopHat, a calculus for modular interactive workflows.<br />
With TopHat we prepare a way to formally reason about TOP systems.<br />
<br />
We describe TopHat by means of a layered semantics.<br />
These layers consist of multiple big step evaluations on expressions,<br />
and two labelled transition systems, handling user inputs.<br />
We show some interesting properties of this machinery.<br />
This approach allows for comparison with other work in the field.<br />
We place TopHat in perspective with the process calculus CSP.<br />
<br />
=== Dirk Hünniger: From Wikipedia to LaTeX ===<br />
It is often desirable to have access to Wikipedia articles in LaTeX<br />
format. A translation by hand is typically time-consuming and<br />
error-prone. Thus it is natural to look for algorithmic solutions to<br />
thisproblem. Our solution is currently available free of charge under an<br />
open source license for Windows and Debian GNU/Linux. It is not limited<br />
to Wikipedia but supports all servers running the same wiki software<br />
(MediaWiki) as Wikipedia. In particular, it is also possible to process<br />
local wikis available only on private networks inside institutions.<br />
<br />
=== Alejandro Serrano Mena: Classes of Arbitrary Kind ===<br />
To be announced.<br />
<br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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 http://www.tortillas.nl].<br />
<br />
== Registration ==<br />
Participation is free, but you will need to register. The deadline for registration is '''Friday January 4, 2019'''. <br />
We need to supply a list of participants to the venue. If you are not registered you won't be allowed in.<br />
<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you are planning to join the dinner</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1617NL-FP dag 20192019-01-07T10:56:38Z<p>Bas Lijnse: </p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
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.<br />
<br />
[https://goo.gl/maps/skU5QASg4US2 Google Maps]<br />
<br />
[https://www.openstreetmap.org/relation/6577772 OpenStreetMap]<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format: A diverse mix of presentations with long coffee breaks and time to chat.<br />
<br />
{|<br />
|Time<br />
|Speaker<br />
|Title<br />
|-<br />
|10:00<br />
|Organization<br />
|Welcome at the NLDA<br />
|-<br />
|10:25<br />
|Shubham Yadav<br />
|Ball Collision Model — Hardware Designing with Multiple Clock Cycle Components in Cλash<br />
|-<br />
|10:50<br />
|Klara Marntirosian<br />
|COCHIS a Calculus with Stable and Coherent Implicits<br />
|-<br />
|11:15<br />
|<br />
|Coffee Break<br />
|-<br />
|11:45<br />
|Haye Böhm<br />
|Asynchronous Shares in a Synchronous World<br />
|-<br />
|12:10<br />
|Jappie Klooster<br />
|Fullstack Haskell with reflex & servant<br />
|-<br />
|12:35<br />
|<br />
|Lunch<br />
|-<br />
|14:00<br />
|Wim Bast<br />
|Declarative programming using Dclare<br />
|-<br />
|14:25<br />
|Gert-Jan Bottu<br />
|Proving Haskell's Type Class Resolution Coherent<br />
|-<br />
|14:50<br />
|Tim Steenvoorden<br />
|TopHat: A formal calculus for modular interactive workflows<br />
|-<br />
|15:15<br />
|<br />
|Coffee break<br />
|-<br />
|15:45<br />
|Dirk Hünniger<br />
|From Wikipedia to LaTeX<br />
|-<br />
|16:10<br />
|Alejandro Serrano Mena<br />
|Classes of Arbitrary Kind<br />
|-<br />
|16:35<br />
|Organizers<br />
|Closing and Announcements<br />
|-<br />
|16:45<br />
|<br />
|Drinks<br />
|-<br />
|18:00<br />
|<br />
|Dinner (optional)<br />
|}<br />
<br />
== Talks ==<br />
<br />
=== Shubham Yadav: Ball Collision Model — Hardware Designing with Multiple Clock Cycle Components in Cλash ===<br />
Cλash as a functional hardware description language is a slight variation of Haskell, and its compiler transforms high level designs into low level hardware languages, like VHDL and (System) Verilog. This presentation describes some ways to develop hardware designs which include multiple clock cycle components (having both static and dynamic latency) at higher level. To model these multiple clock cycle operations, two different approaches are discussed: dataflow modelling and usage of delayed signals (a newtype defined in the Cλash library). <br />
<br />
=== Klara Marntirosian: COCHIS a Calculus with Stable and Coherent Implicits ===<br />
Implicit Progamming (IP) mechanisms infer values by type-directed resolution, making programs more compact and easier to read. Examples of IP mechanisms include Haskell’s type classes, Scala’s implicits, Agda’s instance arguments, Coq’s type classes, and Rust’s traits. The design of IP mechanisms has led to heated debate: proponents of one school argue for the desirability of strong reasoning properties; while proponents of another school argue for the power and flexibility of local scoping or overlapping instances. The current state of affairs seems to indicate that the two goals are at odds with one another and cannot easily be reconciled.<br />
<br />
This talk presents COCHIS, the Calculus Of CoHerent ImplicitS, an improved variant of the implicit calculus that offers flexibility while preserving two key properties: coherence and stability of type substitutions. COCHIS supports polymorphism, local scoping, overlapping instances, first-class instances, and higher-order rules, while remaining type safe, coherent and stable under type substitution.<br />
<br />
=== Haye Böhm: Asynchronous Shares in a Synchronous World ===<br />
To be announced.<br />
<br />
=== Jappie Klooster: Fullstack Haskell with reflex & servant ===<br />
The basics of functional reactive programming are briefly <br />
explained, and how they apply to reflex. Then we see the benefits of <br />
full stack haskell in a live coding session! We'll make a widget or <br />
add/change an endpoint or both depending on time.<br />
<br />
=== Wim Bast: Declarative programming using Dclare ===<br />
Dclare is a (open-source) Java library used to develop declarative-language run-times.<br />
Dclare is a reactive en incremental framework optimized for dynamic systems.<br />
It not a pure functional solution because it reacts to, and produces state changes.<br />
However, Dclare 'hides' all imperative aspects from the programmer, similar to real functional languages.<br />
Based on some examples and life-programming Wim Bast wil show the capabilities of this framework.<br />
Dclare is used in some industrie products, under-which the Dutch tax-office..<br />
The goal of this presentation is to discuss language evolution and compare the functional with the declarative paradigm. <br />
<br />
=== Gert-Jan Bottu: Proving Haskell's Type Class Resolution Coherent ===<br />
Haskell’s elaboration-based type class resolution is generally<br />
nondeterministic: there can be multiple ways to satisfy a wanted constraint in terms of global instances and locally given constraints.<br />
Coherence is the key property that keeps this sane; it guarantees that, despite the nondeterminism, programs still behave predictably. Even though elaboration-based resolution is generally assumed coherent, this property has never formally been proven.<br />
<br />
This talk gives an introduction to Haskell’s dictionary-based type class resolution, explains the need for a coherent elaboration and shows how we managed to successfully solve this age-old problem!<br />
<br />
=== Tim Steenvoorden: TopHat: A formal calculus for modular interactive workflows ===<br />
Task-Oriented Programming (TOP) is a programming paradigm that focusses on modelling real world collaborations between people.<br />
It prescribes a declarative programming style to specify multi-user workflows.<br />
Workflows can be higher-order.<br />
They communicate through typed values on a local or global level.<br />
Such specifications can be turned into interactive applications for different platforms,<br />
supporting collaboration during execution.<br />
<br />
In this talk we decompose the rich features of TOP into elementary language elements,<br />
which makes them suitable for formal treatment.<br />
We use the simply typed lambda calculus, extended with pairs and references, as a base language.<br />
On top of this language, we develop TopHat, a calculus for modular interactive workflows.<br />
With TopHat we prepare a way to formally reason about TOP systems.<br />
<br />
We describe TopHat by means of a layered semantics.<br />
These layers consist of multiple big step evaluations on expressions,<br />
and two labelled transition systems, handling user inputs.<br />
We show some interesting properties of this machinery.<br />
This approach allows for comparison with other work in the field.<br />
We place TopHat in perspective with the process calculus CSP.<br />
<br />
=== Dirk Hünniger: From Wikipedia to LaTeX ===<br />
It is often desirable to have access to Wikipedia articles in LaTeX<br />
format. A translation by hand is typically time-consuming and<br />
error-prone. Thus it is natural to look for algorithmic solutions to<br />
thisproblem. Our solution is currently available free of charge under an<br />
open source license for Windows and Debian GNU/Linux. It is not limited<br />
to Wikipedia but supports all servers running the same wiki software<br />
(MediaWiki) as Wikipedia. In particular, it is also possible to process<br />
local wikis available only on private networks inside institutions.<br />
<br />
=== Alejandro Serrano Mena: Classes of Arbitrary Kind ===<br />
To be announced.<br />
<br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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 http://www.tortillas.nl].<br />
<br />
== Registration ==<br />
Participation is free, but you will need to register. The deadline for registration is '''Friday January 4, 2019'''. <br />
We need to supply a list of participants to the venue. If you are not registered you won't be allowed in.<br />
<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you are planning to join the dinner</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1616NL-FP dag 20192019-01-07T10:46:20Z<p>Bas Lijnse: /* Program */</p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
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.<br />
<br />
[https://goo.gl/maps/skU5QASg4US2 Google Maps]<br />
<br />
[https://www.openstreetmap.org/relation/6577772 OpenStreetMap]<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format: A diverse mix of presentations with long coffee breaks and time to chat.<br />
<br />
{|<br />
|Time<br />
|Speaker<br />
|Title<br />
|-<br />
|10:00<br />
|Organization<br />
|Welcome at the NLDA<br />
|-<br />
|10:25<br />
|Shubham Yadav<br />
|Ball Collision Model — Hardware Designing with Multiple Clock Cycle Components in Cλash<br />
|-<br />
|10:50<br />
|Klara Marntirosian<br />
|COCHIS a Calculus with Stable and Coherent Implicits<br />
|-<br />
|11:15<br />
|<br />
|Coffee Break<br />
|-<br />
|11:45<br />
|Haye Böhm<br />
|Asynchronous Shares in a Synchronous World<br />
|-<br />
|12:10<br />
|Jappie Klooster<br />
|Fullstack Haskell with reflex & servant<br />
|-<br />
|12:35<br />
|<br />
|Lunch<br />
|-<br />
|14:00<br />
|Wim Bast<br />
|Declarative programming using Dclare<br />
|-<br />
|14:25<br />
|Gert-Jan Bottu<br />
|Proving Haskell's Type Class Resolution Coherent<br />
|-<br />
|14:50<br />
|Tim Steenvoorden<br />
|TopHat: A formal calculus for modular interactive workflows<br />
|-<br />
|15:15<br />
|<br />
|Coffee break<br />
|-<br />
|15:45<br />
|Dirk Hünniger<br />
|From Wikipedia to LaTeX<br />
|-<br />
|16:10<br />
|Alejandro Serrano Mena<br />
|Classes of Arbitrary Kind<br />
|-<br />
|16:35<br />
|Organizers<br />
|Closing and Announcements<br />
|-<br />
|16:45<br />
|<br />
|Drinks<br />
|-<br />
|18:00<br />
|<br />
|Dinner (optional)<br />
|}<br />
<br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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 http://www.tortillas.nl].<br />
<br />
== Registration ==<br />
Participation is free, but you will need to register. The deadline for registration is '''Friday January 4, 2019'''. <br />
We need to supply a list of participants to the venue. If you are not registered you won't be allowed in.<br />
<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you are planning to join the dinner</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1615NL-FP dag 2019/Participants2019-01-06T18:36:04Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|-<br />
|Haye Böhm<br />
|Radboud Universiteit<br />
|-<br />
|Nico Naus<br />
|Universiteit Utrecht<br />
|-<br />
|Chide Groenouwe<br />
|Universiteit Utrecht<br />
|-<br />
|Arian van Putten<br />
|<br />
|-<br />
|Merijn Verstraaten<br />
|Netherlands eScience Center<br />
|-<br />
|Stephen Adams<br />
|<br />
|-<br />
|Jacco Krijnen<br />
|Chordify<br />
|-<br />
|Ian Channing<br />
|Imec<br />
|-<br />
|Henk-Jan van Tuyl<br />
|Van Tuyl Software<br />
|-<br />
|Nikolaos Bezirgiannis<br />
|Centrum Wiskunde & Informatica (CWI)<br />
|-<br />
|Yorick Sijsling<br />
|Channable<br />
|-<br />
|Jaro Reinders<br />
|TU/e<br />
|-<br />
|Samuel da Silva Feitosa<br />
|Universiteit Utrecht<br />
|-<br />
|Martijn Bastiaan<br />
|QbayLogic<br />
|-<br />
|Laurens Duijvesteijn<br />
|Channable<br />
|-<br />
|Handre Stolp<br />
|CircuitHub<br />
|-<br />
|Iris Ren<br />
|Universiteit Utrecht<br />
|-<br />
|Julienne Weijden<br />
|BotBoys<br />
|-<br />
|Joeri van Eekelen<br />
|BotBoys<br />
|-<br />
|Niek Mulleners<br />
|Universiteit Utrecht<br />
|-<br />
|Nick Rudnick<br />
|<br />
|-<br />
|Tom Verhoeff<br />
|TU/e<br />
|-<br />
|Jaap van der Woude<br />
|<br />
|-<br />
|Fabian Thorand<br />
|Channable<br />
|-<br />
|Tex (Aston Felix) Schönlank<br />
|Universiteit van Amsterdam<br />
|-<br />
|Daan Rijks<br />
|<br />
|-<br />
|Trevor L. McDonell<br />
|Universiteit Utrecht<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1614NL-FP dag 2019/Participants2019-01-05T07:44:50Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|-<br />
|Haye Böhm<br />
|Radboud Universiteit<br />
|-<br />
|Nico Naus<br />
|Universiteit Utrecht<br />
|-<br />
|Chide Groenouwe<br />
|Universiteit Utrecht<br />
|-<br />
|Arian van Putten<br />
|<br />
|-<br />
|Merijn Verstraaten<br />
|Netherlands eScience Center<br />
|-<br />
|Stephen Adams<br />
|<br />
|-<br />
|Jacco Krijnen<br />
|Chordify<br />
|-<br />
|Ian Channing<br />
|Imec<br />
|-<br />
|Henk-Jan van Tuyl<br />
|Van Tuyl Software<br />
|-<br />
|Nikolaos Bezirgiannis<br />
|Centrum Wiskunde & Informatica (CWI)<br />
|-<br />
|Yorick Sijsling<br />
|Channable<br />
|-<br />
|Jaro Reinders<br />
|TU/e<br />
|-<br />
|Samuel da Silva Feitosa<br />
|Universiteit Utrecht<br />
|-<br />
|Martijn Bastiaan<br />
|QbayLogic<br />
|-<br />
|Laurens Duijvesteijn<br />
|Channable<br />
|-<br />
|Handre Stolp<br />
|CircuitHub<br />
|-<br />
|Iris Ren<br />
|Universiteit Utrecht<br />
|-<br />
|Julienne Weijden<br />
|BotBoys<br />
|-<br />
|Joeri van Eekelen<br />
|BotBoys<br />
|-<br />
|Niek Mulleners<br />
|Universiteit Utrecht<br />
|-<br />
|Nick Rudnick<br />
|<br />
|-<br />
|Tom Verhoeff<br />
|TU/e<br />
|-<br />
|Jaap van der Woude<br />
|<br />
|-<br />
|Fabian Thorand<br />
|Channable<br />
|-<br />
|Tex (Aston Felix) Schönlank<br />
|Universiteit van Amsterdam<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1613NL-FP dag 2019/Participants2019-01-04T20:10:26Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|-<br />
|Haye Böhm<br />
|Radboud Universiteit<br />
|-<br />
|Nico Naus<br />
|Universiteit Utrecht<br />
|-<br />
|Chide Groenouwe<br />
|Universiteit Utrecht<br />
|-<br />
|Arian van Putten<br />
|<br />
|-<br />
|Merijn Verstraaten<br />
|Netherlands eScience Center<br />
|-<br />
|Stephen Adams<br />
|<br />
|-<br />
|Jacco Krijnen<br />
|Chordify<br />
|-<br />
|Ian Channing<br />
|Imec<br />
|-<br />
|Henk-Jan van Tuyl<br />
|Van Tuyl Software<br />
|-<br />
|Nikolaos Bezirgiannis<br />
|Centrum Wiskunde & Informatica (CWI)<br />
|-<br />
|Yorick Sijsling<br />
|Channable<br />
|-<br />
|Jaro Reinders<br />
|TU/e<br />
|-<br />
|Samuel da Silva Feitosa<br />
|Universiteit Utrecht<br />
|-<br />
|Martijn Bastiaan<br />
|QbayLogic<br />
|-<br />
|Laurens Duijvesteijn<br />
|Channable<br />
|-<br />
|Handre Stolp<br />
|CircuitHub<br />
|-<br />
|Iris Ren<br />
|Universiteit Utrecht<br />
|-<br />
|Julienne Weijden<br />
|BotBoys<br />
|-<br />
|Joeri van Eekelen<br />
|BotBoys<br />
|-<br />
|Niek Mulleners<br />
|Universiteit Utrecht<br />
|-<br />
|Nick Rudnick<br />
|<br />
|-<br />
|Tom Verhoeff<br />
|TU/e<br />
|-<br />
|Jaap van der Woude<br />
|<br />
|-<br />
|Fabian Thorand<br />
|Channable<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1612NL-FP dag 2019/Participants2019-01-03T18:33:50Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|-<br />
|Haye Böhm<br />
|Radboud Universiteit<br />
|-<br />
|Nico Naus<br />
|Universiteit Utrecht<br />
|-<br />
|Chide Groenouwe<br />
|Universiteit Utrecht<br />
|-<br />
|Arian van Putten<br />
|<br />
|-<br />
|Merijn Verstraaten<br />
|Netherlands eScience Center<br />
|-<br />
|Stephen Adams<br />
|<br />
|-<br />
|Jacco Krijnen<br />
|Chordify<br />
|-<br />
|Ian Channing<br />
|Imec<br />
|-<br />
|Henk-Jan van Tuyl<br />
|Van Tuyl Software<br />
|-<br />
|Nikolaos Bezirgiannis<br />
|Centrum Wiskunde & Informatica (CWI)<br />
|-<br />
|Yorick Sijsling<br />
|Channable<br />
|-<br />
|Jaro Reinders<br />
|TU/e<br />
|-<br />
|Samuel da Silva Feitosa<br />
|Universiteit Utrecht<br />
|-<br />
|Martijn Bastiaan<br />
|QbayLogic<br />
|-<br />
|Laurens Duijvesteijn<br />
|Channable<br />
|-<br />
|Handre Stolp<br />
|CircuitHub<br />
|-<br />
|Iris Ren<br />
|Universiteit Utrecht<br />
|-<br />
|Julienne Weijden<br />
|BotBoys<br />
|-<br />
|Joeri van Eekelen<br />
|BotBoys<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1611NL-FP dag 2019/Participants2019-01-03T14:11:04Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|-<br />
|Haye Böhm<br />
|Radboud Universiteit<br />
|-<br />
|Nico Naus<br />
|Universiteit Utrecht<br />
|-<br />
|Chide Groenouwe<br />
|Universiteit Utrecht<br />
|-<br />
|Arian van Putten<br />
|<br />
|-<br />
|Merijn Verstraaten<br />
|Netherlands eScience Center<br />
|-<br />
|Stephen Adams<br />
|<br />
|-<br />
|Jacco Krijnen<br />
|Chordify<br />
|-<br />
|Ian Channing<br />
|Imec<br />
|-<br />
|Henk-Jan van Tuyl<br />
|Van Tuyl Software<br />
|-<br />
|Nikolaos Bezirgiannis<br />
|Centrum Wiskunde & Informatica (CWI)<br />
|-<br />
|Yorick Sijsling<br />
|Channable<br />
|-<br />
|Jaro Reinders<br />
|TU/e<br />
|-<br />
|Samuel da Silva Feitosa<br />
|Universiteit Utrecht<br />
|-<br />
|Martijn Bastiaan<br />
|QbayLogic<br />
|-<br />
|Laurens Duijvesteijn<br />
|Channable<br />
|-<br />
|Handre Stolp<br />
|CircuitHub<br />
|-<br />
|Iris Ren<br />
|Universiteit Utrecht<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1610NL-FP dag 2019/Participants2019-01-03T10:14:40Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|-<br />
|Haye Böhm<br />
|Radboud Universiteit<br />
|-<br />
|Nico Naus<br />
|Universiteit Utrecht<br />
|-<br />
|Chide Groenouwe<br />
|Universiteit Utrecht<br />
|-<br />
|Arian van Putten<br />
|<br />
|-<br />
|Merijn Verstraaten<br />
|Netherlands eScience Center<br />
|-<br />
|Stephen Adams<br />
|<br />
|-<br />
|Jacco Krijnen<br />
|Chordify<br />
|-<br />
|Ian Channing<br />
|Imec<br />
|-<br />
|Henk-Jan van Tuyl<br />
|Van Tuyl Software<br />
|-<br />
|Nikolaos Bezirgiannis<br />
|Centrum Wiskunde & Informatica (CWI)<br />
|-<br />
|Yorick Sijsling<br />
|Channable<br />
|-<br />
|Jaro Reinders<br />
|TU/e<br />
|-<br />
|Samuel da Silva Feitosa<br />
|Universiteit Utrecht<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1609NL-FP dag 2019/Participants2019-01-03T10:09:43Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|-<br />
|Haye Böhm<br />
|Radboud Universiteit<br />
|-<br />
|Nico Naus<br />
|Universiteit Utrecht<br />
|-<br />
|Chide Groenouwe<br />
|Universiteit Utrecht<br />
|-<br />
|Arian van Putten<br />
|<br />
|-<br />
|Merijn Verstraaten<br />
|Netherlands eScience Center<br />
|-<br />
|Stephen Adams<br />
|<br />
|-<br />
|Jacco Krijnen<br />
|Chordify<br />
|-<br />
|Ian Channing<br />
|Imec<br />
|-<br />
|Henk-Jan van Tuyl<br />
|Van Tuyl Software<br />
|-<br />
|Nikolaos Bezirgiannis<br />
|Centrum Wiskunde & Informatica (CWI)<br />
|-<br />
|Yorick Sijsling<br />
|Channable<br />
|-<br />
|Jaro Reinders<br />
|TU/e<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1608NL-FP dag 2019/Participants2019-01-02T08:34:43Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|-<br />
|Haye Böhm<br />
|Radboud Universiteit<br />
|-<br />
|Nico Naus<br />
|Universiteit Utrecht<br />
|-<br />
|Chide Groenouwe<br />
|Universiteit Utrecht<br />
|-<br />
|Arian van Putten<br />
|<br />
|-<br />
|Merijn Verstraaten<br />
|Netherlands eScience Center<br />
|-<br />
|Stephen Adams<br />
|<br />
|-<br />
|Jacco Krijnen<br />
|Chordify<br />
|-<br />
|Ian Channing<br />
|Imec<br />
|-<br />
|Henk-Jan van Tuyl<br />
|Van Tuyl Software<br />
|-<br />
|Nikolaos Bezirgiannis<br />
|Centrum Wiskunde & Informatica (CWI)<br />
|-<br />
|Yorick Sijsling<br />
|Channable<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1607NL-FP dag 2019/Participants2019-01-02T08:29:45Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|-<br />
|Haye Böhm<br />
|Radboud Universiteit<br />
|-<br />
|Nico Naus<br />
|Universiteit Utrecht<br />
|-<br />
|Chide Groenouwe<br />
|Universiteit Utrecht<br />
|-<br />
|Arian van Putten<br />
|<br />
|-<br />
|Merijn Verstraaten<br />
|Netherlands eScience Center<br />
|-<br />
|Stephen Adams<br />
|<br />
|-<br />
|Jacco Krijnen<br />
|Chordify<br />
|-<br />
|Ian Channing<br />
|Imec<br />
|-<br />
|Henk-Jan van Tuyl<br />
|Van Tuyl Software<br />
|-<br />
|Nikolaos Bezirgiannis<br />
|Centrum Wiskunde & Informatica (CWI)<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1606NL-FP dag 2019/Participants2018-12-31T09:39:35Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|-<br />
|Haye Böhm<br />
|Radboud Universiteit<br />
|-<br />
|Nico Naus<br />
|Universiteit Utrecht<br />
|-<br />
|Chide Groenouwe<br />
|Universiteit Utrecht<br />
|-<br />
|Arian van Putten<br />
|<br />
|-<br />
|Merijn Verstraaten<br />
|Netherlands eScience Center<br />
|-<br />
|Stephen Adams<br />
|<br />
|-<br />
|Jacco Krijnen<br />
|Chordify<br />
|-<br />
|Ian Channing<br />
|Imec<br />
|-<br />
|Henk-Jan van Tuyl<br />
|Van Tuyl Software<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1605NL-FP dag 2019/Participants2018-12-27T14:52:09Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|-<br />
|Haye Böhm<br />
|Radboud Universiteit<br />
|-<br />
|Nico Naus<br />
|Universiteit Utrecht<br />
|-<br />
|Chide Groenouwe<br />
|Universiteit Utrecht<br />
|-<br />
|Arian van Putten<br />
|<br />
|-<br />
|Merijn Verstraaten<br />
|Netherlands eScience Center<br />
|-<br />
|Stephen Adams<br />
|<br />
|-<br />
|Jacco Krijnen<br />
|Chordify<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1604NL-FP dag 2019/Participants2018-12-24T19:21:19Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|-<br />
|Haye Böhm<br />
|Radboud Universiteit<br />
|-<br />
|Nico Naus<br />
|Universiteit Utrecht<br />
|-<br />
|Chide Groenouwe<br />
|Universiteit Utrecht<br />
|-<br />
|Arian van Putten<br />
|<br />
|-<br />
|Merijn Verstraaten<br />
|Netherlands eScience Center<br />
|-<br />
|Stephen Adams<br />
|<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1603NL-FP dag 2019/Participants2018-12-24T08:31:53Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|-<br />
|Haye Böhm<br />
|Radboud Universiteit<br />
|-<br />
|Nico Naus<br />
|Universiteit Utrecht<br />
|-<br />
|Chide Groenouwe<br />
|Universiteit Utrecht<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1602NL-FP dag 20192018-12-21T13:26:52Z<p>Bas Lijnse: /* Program */</p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
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.<br />
<br />
[https://goo.gl/maps/skU5QASg4US2 Google Maps]<br />
<br />
[https://www.openstreetmap.org/relation/6577772 OpenStreetMap]<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format: A diverse mix of presentations with long coffee breaks and time to chat.<br />
<br />
{|<br />
|Time<br />
|Speaker<br />
|Title<br />
|-<br />
|10:00<br />
|Organization<br />
|Welcome at the NLDA<br />
|-<br />
|10:25<br />
|Jan Kuper<br />
|To be announced<br />
|-<br />
|10:50<br />
|Klara Marntirosian<br />
|COCHIS a Calculus with Stable and Coherent Implicits<br />
|-<br />
|11:15<br />
|<br />
|Coffee Break<br />
|-<br />
|11:45<br />
|Haye Böhm<br />
|Asynchronous Shares in a Synchronous World<br />
|-<br />
|12:10<br />
|Jappie Klooster<br />
|Fullstack Haskell with reflex & servant<br />
|-<br />
|12:35<br />
|<br />
|Lunch<br />
|-<br />
|14:00<br />
|Wim Bast<br />
|Declarative programming using Dclare<br />
|-<br />
|14:25<br />
|Gert-Jan Bottu<br />
|Proving Haskell's Type Class Resolution Coherent<br />
|-<br />
|14:50<br />
|Tim Steenvoorden<br />
|TopHat: A formal calculus for modular interactive workflows<br />
|-<br />
|15:15<br />
|<br />
|Coffee break<br />
|-<br />
|15:45<br />
|Dirk Hünniger<br />
|From Wikipedia to LaTeX<br />
|-<br />
|16:10<br />
|Alejandro Serrano Mena<br />
|Classes of Arbitrary Kind<br />
|-<br />
|16:35<br />
|Organizers<br />
|Closing and Announcements<br />
|-<br />
|16:45<br />
|<br />
|Drinks<br />
|-<br />
|18:00<br />
|<br />
|Dinner (optional)<br />
|}<br />
<br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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 http://www.tortillas.nl].<br />
<br />
== Registration ==<br />
Participation is free, but you will need to register. The deadline for registration is '''Friday January 4, 2019'''. <br />
We need to supply a list of participants to the venue. If you are not registered you won't be allowed in.<br />
<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you are planning to join the dinner</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1601NL-FP dag 2019/Participants2018-12-21T11:41:02Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|-<br />
|Haye Böhm<br />
|Radboud Universiteit<br />
|-<br />
|Nico Naus<br />
|Universiteit Utrecht<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1600NL-FP dag 20192018-12-21T11:39:46Z<p>Bas Lijnse: /* Program */</p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
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.<br />
<br />
[https://goo.gl/maps/skU5QASg4US2 Google Maps]<br />
<br />
[https://www.openstreetmap.org/relation/6577772 OpenStreetMap]<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format: A diverse mix of presentations with long coffee breaks and time to chat.<br />
<br />
{|<br />
|Time<br />
|Speaker<br />
|Title<br />
|-<br />
|10:00<br />
|Organization<br />
|Welcome at the NLDA<br />
|-<br />
|10:25<br />
|Jan Kuper<br />
|To be announced<br />
|-<br />
|10:50<br />
|Klara Marntirosian<br />
|COCHIS a Calculus with Stable and Coherent Implicits<br />
|-<br />
|11:15<br />
|<br />
|Coffee Break<br />
|-<br />
|11:45<br />
|Haye Böhm<br />
|Asynchronous Shares in a Synchronous World<br />
|-<br />
|12:10<br />
|Jappie Klooster<br />
|Fullstack Haskell with reflex & servant<br />
|-<br />
|12:35<br />
|<br />
|Lunch<br />
|-<br />
|14:00<br />
|Wim Bast<br />
|Declaratief programmeren met behulp van Dclare<br />
|-<br />
|14:25<br />
|Gert-Jan Bottu<br />
|Proving Haskell's Type Class Resolution Coherent<br />
|-<br />
|14:50<br />
|Tim Steenvoorden<br />
|TopHat: A formal calculus for modular interactive workflows<br />
|-<br />
|15:15<br />
|<br />
|Coffee break<br />
|-<br />
|15:45<br />
|Dirk Hünniger<br />
|From Wikipedia to LaTeX<br />
|-<br />
|16:10<br />
|Alejandro Serrano Mena<br />
|Classes of Arbitrary Kind<br />
|-<br />
|16:35<br />
|Organizers<br />
|Closing and Announcements<br />
|-<br />
|16:45<br />
|<br />
|Drinks<br />
|-<br />
|18:00<br />
|<br />
|Dinner (optional)<br />
|}<br />
<br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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 http://www.tortillas.nl].<br />
<br />
== Registration ==<br />
Participation is free, but you will need to register. The deadline for registration is '''Friday January 4, 2019'''. <br />
We need to supply a list of participants to the venue. If you are not registered you won't be allowed in.<br />
<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you are planning to join the dinner</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1599NL-FP dag 20192018-12-20T10:07:30Z<p>Bas Lijnse: /* Location */</p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
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.<br />
<br />
[https://goo.gl/maps/skU5QASg4US2 Google Maps]<br />
<br />
[https://www.openstreetmap.org/relation/6577772 OpenStreetMap]<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format: A diverse mix of presentations with long coffee breaks and time to chat.<br />
<br />
{|<br />
|Time<br />
|Speaker<br />
|Title<br />
|-<br />
|10:00<br />
|Organization<br />
|Welcome at the NLDA<br />
|-<br />
|10:25<br />
|Jan Kuper<br />
|To be announced<br />
|-<br />
|10:50<br />
|Klara Marntirosian<br />
|COCHIS a Calculus with Stable and Coherent Implicits<br />
|-<br />
|11:15<br />
|<br />
|Coffee Break<br />
|-<br />
|11:45<br />
|Haye Böhm<br />
|Asynchronous Shares in a Synchronous World<br />
|-<br />
|12:10<br />
|Jappie Klooster<br />
|Fullstack Haskell with reflex & servant<br />
|-<br />
|12:35<br />
|<br />
|Lunch<br />
|-<br />
|14:00<br />
|Wim Bast<br />
|Declaratief programmeren met behulp van Dclare<br />
|-<br />
|14:25<br />
|Gert-Jan Bottu<br />
|Proving Haskell's Type Class Resolution Coherent<br />
|-<br />
|14:50<br />
|Tim Steenvoorden<br />
|To be announced<br />
|-<br />
|15:15<br />
|<br />
|Coffee break<br />
|-<br />
|15:45<br />
|Dirk Hünniger<br />
|From Wikipedia to LaTeX<br />
|-<br />
|16:10<br />
|Alejandro Serrano Mena<br />
|Classes of Arbitrary Kind<br />
|-<br />
|16:35<br />
|Organizers<br />
|Closing and Announcements<br />
|-<br />
|16:45<br />
|<br />
|Drinks<br />
|-<br />
|18:00<br />
|<br />
|Dinner (optional)<br />
|}<br />
<br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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 http://www.tortillas.nl].<br />
<br />
== Registration ==<br />
Participation is free, but you will need to register. The deadline for registration is '''Friday January 4, 2019'''. <br />
We need to supply a list of participants to the venue. If you are not registered you won't be allowed in.<br />
<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you are planning to join the dinner</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1598NL-FP dag 20192018-12-20T10:05:05Z<p>Bas Lijnse: /* Registration */</p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
The location will be the "Trip van Zoudtlandt Kazerne" in Breda. The adress is: De la Reijweg 95, 4818 BA.<br />
<br />
[https://goo.gl/maps/skU5QASg4US2 Google Maps]<br />
<br />
[https://www.openstreetmap.org/relation/6577772 OpenStreetMap]<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format: A diverse mix of presentations with long coffee breaks and time to chat.<br />
<br />
{|<br />
|Time<br />
|Speaker<br />
|Title<br />
|-<br />
|10:00<br />
|Organization<br />
|Welcome at the NLDA<br />
|-<br />
|10:25<br />
|Jan Kuper<br />
|To be announced<br />
|-<br />
|10:50<br />
|Klara Marntirosian<br />
|COCHIS a Calculus with Stable and Coherent Implicits<br />
|-<br />
|11:15<br />
|<br />
|Coffee Break<br />
|-<br />
|11:45<br />
|Haye Böhm<br />
|Asynchronous Shares in a Synchronous World<br />
|-<br />
|12:10<br />
|Jappie Klooster<br />
|Fullstack Haskell with reflex & servant<br />
|-<br />
|12:35<br />
|<br />
|Lunch<br />
|-<br />
|14:00<br />
|Wim Bast<br />
|Declaratief programmeren met behulp van Dclare<br />
|-<br />
|14:25<br />
|Gert-Jan Bottu<br />
|Proving Haskell's Type Class Resolution Coherent<br />
|-<br />
|14:50<br />
|Tim Steenvoorden<br />
|To be announced<br />
|-<br />
|15:15<br />
|<br />
|Coffee break<br />
|-<br />
|15:45<br />
|Dirk Hünniger<br />
|From Wikipedia to LaTeX<br />
|-<br />
|16:10<br />
|Alejandro Serrano Mena<br />
|Classes of Arbitrary Kind<br />
|-<br />
|16:35<br />
|Organizers<br />
|Closing and Announcements<br />
|-<br />
|16:45<br />
|<br />
|Drinks<br />
|-<br />
|18:00<br />
|<br />
|Dinner (optional)<br />
|}<br />
<br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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 http://www.tortillas.nl].<br />
<br />
== Registration ==<br />
Participation is free, but you will need to register. The deadline for registration is '''Friday January 4, 2019'''. <br />
We need to supply a list of participants to the venue. If you are not registered you won't be allowed in.<br />
<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you are planning to join the dinner</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1597NL-FP dag 20192018-12-20T10:00:55Z<p>Bas Lijnse: /* Dinner */</p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
The location will be the "Trip van Zoudtlandt Kazerne" in Breda. The adress is: De la Reijweg 95, 4818 BA.<br />
<br />
[https://goo.gl/maps/skU5QASg4US2 Google Maps]<br />
<br />
[https://www.openstreetmap.org/relation/6577772 OpenStreetMap]<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format: A diverse mix of presentations with long coffee breaks and time to chat.<br />
<br />
{|<br />
|Time<br />
|Speaker<br />
|Title<br />
|-<br />
|10:00<br />
|Organization<br />
|Welcome at the NLDA<br />
|-<br />
|10:25<br />
|Jan Kuper<br />
|To be announced<br />
|-<br />
|10:50<br />
|Klara Marntirosian<br />
|COCHIS a Calculus with Stable and Coherent Implicits<br />
|-<br />
|11:15<br />
|<br />
|Coffee Break<br />
|-<br />
|11:45<br />
|Haye Böhm<br />
|Asynchronous Shares in a Synchronous World<br />
|-<br />
|12:10<br />
|Jappie Klooster<br />
|Fullstack Haskell with reflex & servant<br />
|-<br />
|12:35<br />
|<br />
|Lunch<br />
|-<br />
|14:00<br />
|Wim Bast<br />
|Declaratief programmeren met behulp van Dclare<br />
|-<br />
|14:25<br />
|Gert-Jan Bottu<br />
|Proving Haskell's Type Class Resolution Coherent<br />
|-<br />
|14:50<br />
|Tim Steenvoorden<br />
|To be announced<br />
|-<br />
|15:15<br />
|<br />
|Coffee break<br />
|-<br />
|15:45<br />
|Dirk Hünniger<br />
|From Wikipedia to LaTeX<br />
|-<br />
|16:10<br />
|Alejandro Serrano Mena<br />
|Classes of Arbitrary Kind<br />
|-<br />
|16:35<br />
|Organizers<br />
|Closing and Announcements<br />
|-<br />
|16:45<br />
|<br />
|Drinks<br />
|-<br />
|18:00<br />
|<br />
|Dinner (optional)<br />
|}<br />
<br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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 http://www.tortillas.nl].<br />
<br />
== Registration ==<br />
Participation is free, but you will need to register.<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you are planning to join the dinner</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1596NL-FP dag 20192018-12-20T09:53:00Z<p>Bas Lijnse: /* Program */</p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
The location will be the "Trip van Zoudtlandt Kazerne" in Breda. The adress is: De la Reijweg 95, 4818 BA.<br />
<br />
[https://goo.gl/maps/skU5QASg4US2 Google Maps]<br />
<br />
[https://www.openstreetmap.org/relation/6577772 OpenStreetMap]<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format: A diverse mix of presentations with long coffee breaks and time to chat.<br />
<br />
{|<br />
|Time<br />
|Speaker<br />
|Title<br />
|-<br />
|10:00<br />
|Organization<br />
|Welcome at the NLDA<br />
|-<br />
|10:25<br />
|Jan Kuper<br />
|To be announced<br />
|-<br />
|10:50<br />
|Klara Marntirosian<br />
|COCHIS a Calculus with Stable and Coherent Implicits<br />
|-<br />
|11:15<br />
|<br />
|Coffee Break<br />
|-<br />
|11:45<br />
|Haye Böhm<br />
|Asynchronous Shares in a Synchronous World<br />
|-<br />
|12:10<br />
|Jappie Klooster<br />
|Fullstack Haskell with reflex & servant<br />
|-<br />
|12:35<br />
|<br />
|Lunch<br />
|-<br />
|14:00<br />
|Wim Bast<br />
|Declaratief programmeren met behulp van Dclare<br />
|-<br />
|14:25<br />
|Gert-Jan Bottu<br />
|Proving Haskell's Type Class Resolution Coherent<br />
|-<br />
|14:50<br />
|Tim Steenvoorden<br />
|To be announced<br />
|-<br />
|15:15<br />
|<br />
|Coffee break<br />
|-<br />
|15:45<br />
|Dirk Hünniger<br />
|From Wikipedia to LaTeX<br />
|-<br />
|16:10<br />
|Alejandro Serrano Mena<br />
|Classes of Arbitrary Kind<br />
|-<br />
|16:35<br />
|Organizers<br />
|Closing and Announcements<br />
|-<br />
|16:45<br />
|<br />
|Drinks<br />
|-<br />
|18:00<br />
|<br />
|Dinner (optional)<br />
|}<br />
<br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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. <br />
<br />
== Registration ==<br />
Participation is free, but you will need to register.<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you are planning to join the dinner</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1595NL-FP dag 2019/Participants2018-12-19T12:39:20Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|-<br />
|Christoph Hofer-Temmel<br />
|Nederlandse Defensie Academie<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1594NL-FP dag 2019/Participants2018-12-18T17:48:42Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|-<br />
|Clemens Grelck<br />
|Universiteit van Amsterdam<br />
|-<br />
|Doaitse Swierstra<br />
|Universiteit Utrecht<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1593NL-FP dag 2019/Participants2018-12-17T12:20:12Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|-<br />
|Alejandro Serrano Mena<br />
|Universiteit Utrecht<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1592NL-FP dag 2019/Participants2018-12-15T07:55:45Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|-<br />
|Gert van der Plas<br />
|Belastingdienst<br />
|-<br />
|Gert Veldhuijzen van Zanten<br />
|Belastingdienst<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1591NL-FP dag 20192018-12-14T11:57:38Z<p>Bas Lijnse: </p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
The location will be the "Trip van Zoudtlandt Kazerne" in Breda. The adress is: De la Reijweg 95, 4818 BA.<br />
<br />
[https://goo.gl/maps/skU5QASg4US2 Google Maps]<br />
<br />
[https://www.openstreetmap.org/relation/6577772 OpenStreetMap]<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format.<br />
<br />
The preliminary schedule is:<br />
<br />
* 9:30 Registration<br />
* 10:00 - 11:00 Talks<br />
* 11:00 - 11:30 Coffee break<br />
* 11:30 - 12:30 Talks<br />
* 12:30 - 14:00 Lunch<br />
* 14:00 - 15:00 Talks<br />
* 15:00 - 15:30 Coffee break<br />
* 15:30 - 16:30 Talks<br />
* 16:30 - 17:30 Closing & Drinks<br />
<br />
* 18:00 Optional dinner (at your own costs)<br />
<br />
We currently have received enough offers for talks to fill the program. We are preparing the program and collecting additional information from speakers where necessary. The full program with details of all talks will be posted here before Christmas.<br />
<br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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. <br />
<br />
== Registration ==<br />
Participation is free, but you will need to register.<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you are planning to join the dinner</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1590NL-FP dag 2019/Participants2018-12-14T11:39:01Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|-<br />
|Leon Schoorl<br />
|QBayLogic<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1589NL-FP dag 2019/Participants2018-12-13T18:57:02Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|-<br />
|Adrien Haxaire<br />
|Lunatech Labs<br />
|-<br />
|Andrea Giugliano<br />
|Lunatech Labs<br />
|-<br />
|Erik Bakker<br />
|Lunatech Labs<br />
|-<br />
|Michel Thomassen<br />
|Lunatech Labs<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1588NL-FP dag 2019/Participants2018-12-11T13:00:51Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|-<br />
|Ana-Maria Oprescu<br />
|Universiteit van Amsterdam<br />
|-<br />
|Dirk Hünniger<br />
|University Duisburg Essen<br />
|-<br />
|Tim Steenvoorden<br />
|Radboud Universiteit<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1587NL-FP dag 2019/Participants2018-12-10T08:21:15Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|-<br />
| Gert-Jan Bottu<br />
| KU Leuven<br />
|-<br />
| Gabriele Keller<br />
| Universiteit Utrecht<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1586NL-FP dag 2019/Participants2018-12-07T10:56:54Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|-<br />
| Stefan Frijters<br />
| VORtech BV<br />
|-<br />
| Klara Marntirosian<br />
| KU Leuven<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1585NL-FP dag 2019/Participants2018-12-06T12:05:31Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|-<br />
| Steffen Michels<br />
| Radboud Universiteit<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1584NL-FP dag 2019/Participants2018-12-06T08:47:37Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|-<br />
| Jappie Klooster<br />
| Raster.click<br />
|-<br />
| Raam Rosh Hai<br />
| Wonderkind<br />
|-<br />
| David Millar-Durant<br />
| Digital Asset<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1583NL-FP dag 2019/Participants2018-12-05T06:50:25Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|-<br />
| Mart Lubbers<br />
| Radboud Universiteit<br />
|-<br />
| Christiaan Baaij<br />
| QBayLogic<br />
|-<br />
| Bas van Dijk<br />
| LumiGuide<br />
|-<br />
| Roel van Dijk<br />
| LumiGuide<br />
|-<br />
| Falco Peijnenburg<br />
| LumiGuide<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2018&diff=1582NL-FP dag 20182018-12-03T12:18:03Z<p>Bas Lijnse: </p>
<hr />
<div>Looking for [[NL-FP dag 2019]]? Not all search engines find the page yet...<br />
<br />
The Dutch Functional Programming Day is an annual gathering of researchers, <br />
students, and practitioners sharing a common interest in functional<br />
programming. The day features talks that cover the latest advances in research,<br />
teaching, and applications in the functional programming area. Coffee and lunch<br />
breaks provide ample opportunity for networking with your colleagues and<br />
meeting new people. Experts and newcomers to the field are equally welcome.<br />
<br />
The NL-FP day 2018 takes place on '''Friday, January 5, 2018''' at the<br />
Walter Bos Complex of the [https://www.belastingdienst.nl/ Dutch Tax and Customs Administration ] in Apeldoorn.<br />
<br />
== Location ==<br />
The FP-day takes place in De Kern at the Walter Bos Complex of the Dutch Tax and Customs Administration in Apeldoorn.<br />
<br />
[http://www.openstreetmap.org/node/2686463671 OpenStreetMaps]<br />
<br />
[https://goo.gl/maps/6vT58KA5R2E2 Google Maps]<br />
<br />
== How to get there ==<br />
<br />
The main entrance of the Walterboscomplex is located at J.F. Kennedylaan 8, Apeldoorn.<br />
Participant need to report and identify themselves at the reception in order to receive visitor passes.<br />
Please wait for people from the organization to pick you up and escort you to De Kern where the presentations will be.<br />
<br />
By public transport: <br />
<br />
Every 15 minutes from Apeldoorn station to bus stop Belastingkantoor (in about 10 minutes), using bus number 2 (Apenheul) or 6 (Rijkskantoren).<br />
<br />
By car (in Dutch):<br />
<br />
Vanaf Amersfoort (A1): Afslag nr. 19 (Hoenderloo/Apeldoorn). Rechtsaf richting Apeldoorn. Bij 1e verkeerslicht linksaf (Laan van Spitsbergen). Bij de rotonde 1e afslag rechtsaf (John F. Kennedylaan). Aan uw linkerhand ziet u het Walterboscomplex. U kunt het complex betreden via de hoofdentree (de 2e ingang met slagbomen).<br />
<br />
Vanaf Deventer (A1): Afslag nr. 19 (Ede/Hoenderloo). Linksaf richting Apeldoorn. Bij 1e verkeerslicht linksaf (Laan van Spitsbergen). Bij de rotonde 1e afslag rechtsaf (John F. Kennedylaan). Aan uw linkerhand ziet u het Walterboscomplex. U kunt het complex betreden via de hoofdentree (de 2e ingang met slagbomen).<br />
<br />
Vanaf Zwolle (A50): Afslag nr. 25 (Apeldoorn- Noord). Rechtsaf richting Apeldoorn. Bij 3e verkeerslicht rechtsaf (Anklaarseweg) vervolgens 1e verkeerslicht linksaf (Zwolseweg gaat over in Jachtlaan). Op groot kruispunt bij De Naald rechtdoor. Op rotonde (bij AGOVV voetbalterrein) 3e afslag rechtsaf slaan (John F. Kennedylaan). Aan uw linkerhand ziet u het Walterboscomplex. U kunt het complex betreden via de hoofdentree (de 2e ingang met slagbomen).<br />
<br />
Vanaf Arnhem (A50): Afslag nr. 22 (Apeldoorn- Zuid/ Beekbergen). Weg volgen door Beekbergen. Na passeren viaduct bij de rotonde derde afslag rechtsaf en weg vervolgen (Laan van Westenenk, overgaand in Laan van Spitsbergen) tot aan de 2e rotonde, 1e afslag rechtsaf (John F. Kennedylaan). Aan uw linkerhand ziet u het Walterboscomplex. U kunt het complex betreden via de hoofdentree (de 2e ingang met slagbomen).<br />
<br />
== Registration and deadline ==<br />
<br />
Please note that to the nature of the location, registration in advance is required.<br />
As well as matching identification (passport, driver's license, or similar) before entering the venue!<br />
Photography and/or setting up a local WiFi network is explicitly not allowed.<br />
There will be a photographer present during the day.<br />
<br />
Please register by sending an email to [mailto:a.van.weelden@belastingdienst.nl a.van.weelden@belastingdienst.nl] including<br />
<br />
* your name, as shown on passport or driver's license<br />
* your affiliation, if any<br />
* whether you want pizza, vegetarian pizza, or no pizza.<br />
* whether you want to give a talk<br />
<br />
There are no costs for anything this year, as it is fully sponsored by the Dutch Tax and Customs Administration.<br />
<br />
The registration deadline was December 17th, as we need a list of participants for the security staff.<br />
Thank you for registering early, since we also need this to order the right number of badges, drinks and pizza's.<br />
<br />
[[NL-FP_dag_2018/Participants|Participants]]<br />
<br />
== Program ==<br />
<br />
* 9:30 Registration<br />
* 10:15 Welcome and a few words from our sponsor<br />
* 10:30 Type-Directed Diffing of Structured Data<br />
* 11:00 Break<br />
* 11:30 Task Oriented Pearl: Distributed Blockchain Applications <br />
* 12:00 Type Directed Interactive Workflow Modelling<br />
* 12:30 Lunch<br />
* 14:00 FPGA design using CλaSH<br />
* 14:30 Type-safe Object-Relational Mapping<br />
* 15:00 Break<br />
* 15:30 Cloogle: a programming language search engine and its applications<br />
* 16:00 Agile Law Execution using Domain Specific Languages and Software Factories<br />
* 16:30 Organizing the next FP-day<br />
* 16:45 Drinks<br />
* 17:30 - 19:00 Pizza's<br />
<br />
More details will follow.<br />
<br />
== Dinner ==<br />
<br />
A dinner (pizza's) and drinks will be provided free of charge at the end of the day at the same location.<br />
Given that registration is mandatory this time, we'll assume that you stay around for this unless you specify otherwise.<br />
<br />
== Contact ==<br />
<br />
* Betsy Pepels [mailto:ejh.pepels@belastingdienst.nl at work]<br />
* Arjen van Weelden [mailto:a.van.weelden@belastingdienst.nl at work] or [mailto:arjenvanweelden@gmail.com at home] if your think that your e-mail did not reach me via my work address, which happens sometimes.<br />
<br />
== Talks ==<br />
<br />
The following people already requested to present a talk:<br />
<br />
==== Camil Staps - Cloogle: a programming language search engine and its applications ====<br />
<br />
Cloogle (<nowiki>https://cloogle.org</nowiki>) is a search engine for the Clean language,<br />
similar to Haskell's Hoogle. The modular setup makes it fairly easy to<br />
be reused in other programs, like Integrated Development Environments<br />
(IDEs) and editor plugins. In this talk we give a general overview of<br />
the system and show how it evolved from a web interface to grep into its<br />
current state. We also discuss the things we are currently working on:<br />
client-side search and editor integration.<br />
<br />
[[Media:Staps-cloogle-handout.pdf]]<br />
<br />
==== Victor Miraldo - Type-Directed Diffing of Structured Data ====<br />
<br />
The Unix diff utility that compares lines of text is used pervasively<br />
by version control systems. Yet certain changes to a program may<br />
be dificult to describe accurately in terms of modifications to individual lines of code. <br />
As a result, observing changes at such a fixed<br />
granularity may lead to unnecessary con icts between difierent edits. <br />
This talk discusses a generic representation for describing transformations between algebraic data types. <br />
These representations can be used to give a more accurate account of modifications<br />
made to algebraic data structures – and the abstract syntax trees of<br />
computer programs in particular – as opposed to only considering<br />
modifications between their textual representations.<br />
<br />
[[Media:Miraldo-fpdag2018.pdf]]<br />
<br />
==== Jan Kuper - FPGA design using CλaSH ====<br />
<br />
It is widely recognized that mainstream hardware design languages (VHDL, Verilog) have poor abstraction mechanisms, turning FPGA design into a cumbersome activity. Most high level synthesis languages only partially solve this problem, mostly because they take a sequential perspective. CλaSH, on the other hand, starts from a mathematical perspective exploiting the abstraction mechanisms of the functional programming language Haskell, including polymorphism, type derivation, and higher order functions. Since every CλaSH specification is an executable Haskell program, testing and debugging can be done at top level.<br />
Further advantages of a mathematical approach to hardware design are the possibility to transformations on a given design to get an optimal space-time performance.<br />
We will illustrate the approach with several examples.<br />
<br />
==== Roel van Dijk - Type-safe Object-Relational Mapping ====<br />
<br />
At LumiGuide we use the PostgreSQL database to store the objects that are important in our bicycle detection and guidance systems. We choose PostgreSQL mainly for its good ACID guarantees and reliable storage. The relational interface of PostgreSQL is great for writing efficient queries but not so great to interface with using general purpose programming languages such as Haskell. These languages use hierarchical structures as data types (i.e. objects) which don't mix well with relations. We want to use an interface oriented around objects but with PostgreSQL as a backend providing reliable storage and efficient query execution. We don't want this interface to introduce data corruptions and inconsistencies so a type-safe API is desired. We developed the lumi-store Haskell library which provides a type-safe, object oriented interface to a PostgreSQL database while also providing a type-safe relational query interface. In this talk I touch on the API of this library and discuss some interesting implementation details.<br />
<br />
[[Media:LumiGuide-FP-Dag-2018.zip]]<br />
<br />
==== Gert Veldhuijzen van Zanten - Agile Law Execution using Domain Specific Languages and Software Factories ====<br />
<br />
At the Dutch Tax Authority we apply a model driven approach to software engineering.<br />
The approach aims to make models that directly describe the actual legislation that is being executed and to provide early feedback using model checks and model execution.<br />
We develop domein specific languages including editors, static type checkers, interpreters and code generators.<br />
In the talk we will present our vision on agile law execution using domain specific languages and demo our specification environment.<br />
<br />
==== Mart Lubbers - Task Oriented Pearl: Distributed Blockchain Applications ====<br />
<br />
Blockchain calculations are very suitable to implement in a functional programming language. For example, mining a new block is a oneliner in Clean.<br />
However, distribution, validation and interfacing is less trivial to implement.<br />
Task Oriented Programming (TOP) is a novel programming paradigm implemented as an EDSL in Clean that supports collaboration of parties in a distributed setting. The basic building blocks are tasks and shared data sources<br />
and multiuser web applications are generated from the specification. We show<br />
that it is natural to implement distributed blockchain applications in a TOP<br />
language such as iTasks.<br />
<br />
[[Media:Lubbers-presentation.pdf]]<br />
<br />
==== Tim Steenvoorden - Type Directed Interactive Workflow Modelling ====<br />
<br />
Workflow management systems tend to be complicated, containing many basic elements to design and construct workflows.<br />
Also, coming from a workflow specification to an application usable by the end user is a lot of effort.<br />
Novel ways to generate this kind of applications, like the functional programming oriented iTasks system, are promising, but still too complicated to use for non-programmers.<br />
We present a graphical design tool aiding in specifying work and data flows in a straight forward and modular way, suitable for domain experts and workflow designers.Our tool discerns itself from others by incorporating the information needed to perform a task, thus combining workflows and dataflows into a single concept we call _task flows_.<br />
These flows have a visual representation inspired by Petri nets as well as a formal language representation inspired by natural language.<br />
Because all information in our workflows is typed, we are able to generate full blown web applications by using the iTasks system as a backend.<br />
<br />
[[Media:Steenvoorden-fpdag-slides.pdf]]<br />
<br />
== Past NL-FP Days ==<br />
<br />
* 2017 [https://wiki.clean.cs.ru.nl/NL-FP_dag_2017 Radboud Universiteit Nijmegen]<br />
* 2016 [http://foswiki.cs.uu.nl/foswiki/NlFpDay2016/WebHome Universiteit Utrecht]<br />
* 2015 [http://wwwhome.cs.utwente.nl/~jankuper/fp-dag/ Universiteit van Twente]<br />
* 2014 [https://staff.fnwi.uva.nl/c.u.grelck/nl-fp-day-2014.html Universiteit van Amsterdam]<br />
* 2013 [http://wiki.clean.cs.ru.nl/NL-FP_dag_2013 Radboud Universiteit Nijmegen]<br />
* 2012 [http://foswiki.cs.uu.nl/foswiki/FPDag2012 Universiteit Utrecht]<br />
* 2011 Universiteit Twente, Enschede<br />
* 2010 Radboud Universiteit Nijmegen<br />
* 2009 [http://www.win.tue.nl/~japie/FP-dag-2009/ Technische Universiteit Eindhoven]<br />
* 2008 Open Universiteit, Utrecht<br />
* 2007 Marine, Amsterdam<br />
* 2006 Hogeschool Avans, Breda<br />
* 2005 [http://www.cs.rug.nl/~terlouw/fpdag2005.html Rijksuniversiteit Groningen]<br />
* 2004 Universiteit Twente, Enschede<br />
* 2003 Universiteit Utrecht<br />
* 2002 Katholieke Universiteit Nijmegen<br />
* 2001 Technische Universiteit Delft<br />
* 2000 Technische Universiteit Eindhoven<br />
* 1999 Hogeschool Breda<br />
* 1998 RijksUniversiteit Leiden<br />
* 1997 Hogeschool Leeuwarden<br />
* 1996 Universiteit van Amsterdam<br />
* 1995 Technische Universiteit Twente, Enschede<br />
* 1994 Rijksuniversiteit Utrecht<br />
* 1993 Katholieke Universiteit Nijmegen</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1581NL-FP dag 2019/Participants2018-11-30T08:11:49Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|-<br />
| Peter Achten<br />
| Radboud Universiteit<br />
|-<br />
| Pieter Koopman<br />
| Radboud Universiteit<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1580NL-FP dag 2019/Participants2018-11-30T08:02:08Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Jan Kuper<br />
| QBayLogic<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019/Participants&diff=1579NL-FP dag 2019/Participants2018-11-30T07:59:40Z<p>Bas Lijnse: </p>
<hr />
<div>{| class="wikitable"<br />
!Name<br />
!Affiliation<br />
|-<br />
| Jan Martin Jansen<br />
| Nederlandse Defensie Academie<br />
|-<br />
| Bas Lijnse<br />
| Nederlandse Defensie Academie / Radboud Universiteit<br />
|-<br />
| Rinus Plasmeijer<br />
| Radboud Universiteit<br />
|-<br />
| Betsy Pepels<br />
| Belastingdienst<br />
|-<br />
| Arjen van Weelden<br />
| Belastingdienst<br />
|-<br />
| Wim Bast<br />
| Belastingdienst<br />
|-<br />
| Leroy van Engelen<br />
|<br />
|-<br />
| Markus Klinik<br />
| Radboud Universiteit<br />
|}</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1578NL-FP dag 20192018-11-30T07:46:58Z<p>Bas Lijnse: /* Location */</p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
The location will be the "Trip van Zoudtlandt Kazerne" in Breda. The adress is: De la Reijweg 95, 4818 BA.<br />
<br />
[https://goo.gl/maps/skU5QASg4US2 Google Maps]<br />
<br />
[https://www.openstreetmap.org/relation/6577772 OpenStreetMap]<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format.<br />
<br />
The preliminary schedule is:<br />
<br />
* 9:30 Registration<br />
* 10:00 - 11:00 Talks<br />
* 11:00 - 11:30 Coffee break<br />
* 11:30 - 12:30 Talks<br />
* 12:30 - 14:00 Lunch<br />
* 14:00 - 15:00 Talks<br />
* 15:00 - 15:30 Coffee break<br />
* 15:30 - 16:30 Talks<br />
* 16:30 - 17:30 Closing & Drinks<br />
<br />
* 18:00 Optional dinner (at your own costs)<br />
<br />
If you would like to give a talk, please let us know. <br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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. <br />
<br />
== Registration ==<br />
Participation is free, but you will need to register.<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you would like to give a talk. If so please include a title and a description of the topic or short abstract.<br />
* Whether you are planning to join the dinner</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1573NL-FP dag 20192018-11-22T08:32:45Z<p>Bas Lijnse: /* Location */</p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
The location will be the "Trip van Zoudtlandt Kazerne" in Breda. The adress is: De la Reijweg 95, 4818 BA.<br />
<br />
[https://goo.gl/maps/skU5QASg4US2 Google Maps]<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format.<br />
<br />
The preliminary schedule is:<br />
<br />
* 9:30 Registration<br />
* 10:00 - 11:00 Talks<br />
* 11:00 - 11:30 Coffee break<br />
* 11:30 - 12:30 Talks<br />
* 12:30 - 14:00 Lunch<br />
* 14:00 - 15:00 Talks<br />
* 15:00 - 15:30 Coffee break<br />
* 15:30 - 16:30 Talks<br />
* 16:30 - 17:30 Closing & Drinks<br />
<br />
* 18:00 Optional dinner (at your own costs)<br />
<br />
If you would like to give a talk, please let us know. <br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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. <br />
<br />
== Registration ==<br />
Participation is free, but you will need to register.<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you would like to give a talk. If so please include a title and a description of the topic or short abstract.<br />
* Whether you are planning to join the dinner</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=Events&diff=1572Events2018-11-16T09:15:59Z<p>Bas Lijnse: /* Upcoming events */</p>
<hr />
<div><onlyinclude><br />
== Upcoming events ==<br />
* '''January 11 2019''': [https://wiki.clean.cs.ru.nl/NL-FP_dag_2019 Dutch Functional Programming Day 2019]<br />
</onlyinclude><br />
<br />
== Past events ==<br />
* '''January 5 2018''': [https://wiki.clean.cs.ru.nl/NL-FP_dag_2018 Dutch Functional Programming Day 2018]<br />
* '''January 6 2017''': [https://wiki.clean.cs.ru.nl/NL-FP_dag_2017 Nederlandse Functioneel Programmeren dag 2017]<br />
* '''January 10 2013''': [http://staff.science.uva.nl/~grelck/nl-fp-dag-2014.html Nederlandse Functioneel Programmeren dag 2014]<br />
* '''August 28-30 2013''': [http://ifl2013.cs.ru.nl/ 25th Symposium on Implementation and Application of Functional Languages, IFL 2013]<br />
* '''January 11, 2013''': [[NL-FP_dag_2013| Nederlandse Functioneel Programmeren dag 2013]]<br />
* '''June 11, 2012''' : [http://www.cs.ru.nl/P.Achten/TFPIE_2012/TFPIE_2012_home.html The International Workshop on Trends in Functional Programming in Education TFPIE'12]<br />
* '''June 12-14, 2012''': [http://www-fp.cs.st-andrews.ac.uk/tifp/TFP2012/TFP_2012/Home.html Symposium on Trends in Functional Programming, TFP '12]<br />
* '''June 15, 2012''': [http://www.msp.cis.strath.ac.uk/lambda2012/ International Workshop on 75 Years of the λ-Calculus]<br />
* '''August 30-September 1, 2012''': [http://www.cs.ox.ac.uk/conferences/IFL2012/ 24th Symposium on Implementation and Application of Functional Languages (IFL 2012)]<br />
* '''January 6, 2012''' : [http://www.cs.uu.nl/wiki/bin/view/FPDag2012/WebHome Nederlandse Functioneel Programmeren dag 2012]<br />
* '''September 19-21, 2011''': [http://www.icfpconference.org/icfp2011/ International Conference on Functional Programming, ICFP '11]<br />
* '''October 3-5, 2011''': [http://www.ittc.ku.edu/ifl2011/ 23rd Symposium on Implementation and Application of Functional Languages]<br />
* '''January 23-24, 2012''' [http://research.microsoft.com/en-us/um/people/crusso/padl12/ Practical Aspects of Declarative Languages, PADL'12]<br />
* '''May 23-25, 2012''' [http://www.org.kobe-u.ac.jp/flops2012/: Eleventh International Symposium on Functional and Logic Programming, FLOPS 2012]<br />
* '''June 14-24, 2011''': [http://plc.inf.elte.hu/cefp/ Central European Functional Programming School, CEFP '11]<br />
* '''January 24-25, 2011''' : [http://www.program-transformation.org/PEPM11/ Workshop on Partial Evaluation and Program Manipulation, PEPM '11]<br />
* '''January 7, 2011''' : [http://caes.ewi.utwente.nl/External/NLFP/ Nederlandse Functioneel Programmeren dag 2011]<br />
* '''September 30, 2010''' : [http://www.haskell.org/haskell-symposium/2010/ Haskell Symposium, Haskell '10]<br />
* '''September 27-29, 2010''' : [http://www.icfpconference.org/icfp2010/ International Conference on Functional Programming, ICFP '10]<br />
* '''September 26, 2010''': [http://osl.iu.edu/wgp2010/ Workshop on Generic Programming, WGP '10]<br />
* '''September 1-3, 2010''': [http://www.cs.uu.nl/wiki/IFL2010/WebHome Symposium on Implementation and Application of Functional Languages, IFL '10]<br />
* '''May 17-19, 2010''' : [http://www.cs.ou.edu/tfp2010/ Symposium on Trends in Functional Programming, TPF '10]<br />
* '''January 20-22, 2010''' : [http://www.cse.psu.edu/popl/10/ Symposium on Principles of Programming Languages, POPL '10]<br />
* '''January 18-19, 2010''' : [http://www.program-transformation.org/PEPM10/ Workshop on Partial Evaluation and Program Manipulation, PEPM '10]<br />
* '''January 8, 2010''' : [[NL-FP_dag_2010| Nederlandse Functioneel Programmeren dag 2010]]<br />
* '''September 23-25, 2009''' : [http://tltc.shu.edu/blogs/projects/IFL2009/ International Symposium on the Implementation and Application of Functional Languages, IFL '09]<br />
* '''August 31 - September 2, 2009''' : [http://www.cs.nott.ac.uk/~gmh/icfp09.html International Conference on Functional Programming, ICFP '09]<br />
* '''January 9, 2009''' : [http://www.win.tue.nl/~japie/FP-dag-2009/ Nederlandse Functioneel Programmeren dag 2009]<br />
* '''September 17-19, 2008''' : [http://www.sac-home.org/ifl2008/ International Symposium on the Implementation and Application of Functional Languages, IFL '08]<br />
* '''May 26-28, 2008''' : [http://www.st.cs.ru.nl/AFP_TFP_2008/ Symposium on Trends in Functional Programming, TFP '08]<br />
* '''May 19-24, 2008''' : [http://www.st.cs.ru.nl/AFP_TFP_2008/ International Summer School on Advanced Functional Programming, AFP '08]</div>Bas Lijnsehttps://wiki.clean.cs.ru.nl/index.php?title=NL-FP_dag_2019&diff=1571NL-FP dag 20192018-11-16T09:14:12Z<p>Bas Lijnse: </p>
<hr />
<div>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.<br />
<br />
The NL-FP day 2019 takes place on '''Friday, January 11, 2019''' and will be hosted by the [https://www.defensie.nl/onderwerpen/defensieacademie Netherlands Defence Academy].<br />
<br />
== Location ==<br />
To be announced, probably in Breda<br />
<br />
== Program ==<br />
The day will follow the traditional FP-Day format.<br />
<br />
The preliminary schedule is:<br />
<br />
* 9:30 Registration<br />
* 10:00 - 11:00 Talks<br />
* 11:00 - 11:30 Coffee break<br />
* 11:30 - 12:30 Talks<br />
* 12:30 - 14:00 Lunch<br />
* 14:00 - 15:00 Talks<br />
* 15:00 - 15:30 Coffee break<br />
* 15:30 - 16:30 Talks<br />
* 16:30 - 17:30 Closing & Drinks<br />
<br />
* 18:00 Optional dinner (at your own costs)<br />
<br />
If you would like to give a talk, please let us know. <br />
== Contact ==<br />
* Bas Lijnse (b.lijnse@cs.ru.nl or b.lijnse@mindef.nl)<br />
* Jan Martin Jansen (JM.Jansen.04@mindef.nl)<br />
<br />
== Dinner ==<br />
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. <br />
<br />
== Registration ==<br />
Participation is free, but you will need to register.<br />
To register simply can simply send an e-mail with the following information:<br />
* Name (will be published in the [[NL-FP_dag_2019/Participants|list of participants]])<br />
* Affiliation (optional)<br />
* E-mail address (will only be used to inform you about the FP-day)<br />
* Whether you would like to give a talk. If so please include a title and a description of the topic or short abstract.<br />
* Whether you are planning to join the dinner</div>Bas Lijnse