Write a Blog >>

Workshop Overview

The purpose of this new annual workshop is to bring together researchers in the area of programming languages in the Netherlands. The workshop targets programming language research in the broad sense, included but not limited to the design, implementation, theory, application, and teaching of programming languages.

Supporters

Accepted Talks

Title
A Functional Approach to Blockchain Contract Languages
PLNL
A Verified Automatic Prover Based on Ordered Resolution
PLNL
Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory
PLNL
From Rascal to JVM byte code: a play in several acts
PLNL
High-performance parallel arrays for Haskell
PLNL
Improving pattern matching style
PLNL
Intrinsically Typed Definitional Interpreters: The Good, The Bad, and The Ugly
PLNL
JEff: Objects for Effect
PLNL
Reversible Session-Based Concurrency, and its Haskell Implementation
PLNL
Sound and Reusable Components for Abstract Interpretation
PLNL
Task Oriented Programming for the Internet of Things
PLNL
Type Systems with Constraints for ML Type Inference with the Implementation in Haskell
PLNL

Call for Talk Proposals

Workshop Format

The workshop will consist of a number of contributed talks. These talks should provoke discussion and/or questions — we strive to have interactive talks with plenty of discussion by the audience. Talks will be moderated using a chess clock with 15 minutes allocated to the speaker and 10 minutes to the audience.

Coffee and lunch breaks will provide the opportunity to network with your colleagues and to meet new people. Junior researchers and senior researchers are equally welcome, and both are encouraged to submit a talk proposal.

Researchers that are not from the Netherlands, but for example, from neighboring countries like Belgium or Germany, are also welcome to attend. The language of the workshop is English.

At the end of the workshop there will be a dinner at Asian restaurant, Wagamama, at Utrecht Central Station at 18:30. Dinner is not included in the registration and will have to be paid for yourself.

Registration

Registration for the workshop is required, but free of charge.

Registration site: https://goo.gl/forms/zHzQdXCKpTk7kdn63

Submission details

Submission page: https://easychair.org/conferences/?conf=plnl18

Submission: Friday, October 5, 2018.
Notification: Friday, October 19, 2018.
Workshop: Thursday, November 22, 2018.

Submissions for talk proposals should be described in an abstract of at most 300 words. Proposals do not need to represent original work. It is fine to propose to talk about (recently) published work.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Thu 22 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 11:40
1PLNL at Boothzaal
Chair(s): Eelco Visser Delft University of Technology
10:00
25m
Talk
JEff: Objects for Effect
PLNL
Pablo Inostroza CWI, Tijs van der Storm Centrum Wiskunde & Informatica / University of Groningen
10:25
25m
Talk
Sound and Reusable Components for Abstract Interpretation
PLNL
Sven Keidel Delft University of Technology, Netherlands, Sebastian Erdweg Delft University of Technology, Netherlands
10:50
25m
Talk
High-performance parallel arrays for Haskell
PLNL
Trevor L. McDonell Utrecht University
11:15
25m
Talk
Reversible Session-Based Concurrency, and its Haskell Implementation
PLNL
Folkert de Vries University of Groningen, Jorge A. Pérez University of Groningen, The Netherlands
13:30 - 15:10
2PLNL at Boothzaal
Chair(s): Wouter Swierstra Utrecht University, Netherlands
13:30
25m
Talk
From Rascal to JVM byte code: a play in several acts
PLNL
13:55
25m
Talk
Intrinsically Typed Definitional Interpreters: The Good, The Bad, and The Ugly
PLNL
Casper Bach Poulsen Delft University of Technology
14:20
25m
Talk
Task Oriented Programming for the Internet of Things
PLNL
Mart Lubbers Radboud University Nijmegen, Pieter Koopman Radboud University Nijmegen, Netherlands, Rinus Plasmeijer Radboud University Nijmegen
14:45
25m
Talk
A Functional Approach to Blockchain Contract Languages
PLNL
Manuel Chakravarty Tweag I/O & IOHK