PLNL 2018: First VERSEN Workshop on Programming Languages in The Netherlands
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.
Accepted Talks
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.
Thu 22 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 11:40 | |||
10:00 25mTalk | JEff: Objects for Effect PLNL | ||
10:25 25mTalk | Sound and Reusable Components for Abstract Interpretation PLNL Sven Keidel Delft University of Technology, Netherlands, Sebastian Erdweg Delft University of Technology, Netherlands | ||
10:50 25mTalk | High-performance parallel arrays for Haskell PLNL Trevor L. McDonell Utrecht University | ||
11:15 25mTalk | Reversible Session-Based Concurrency, and its Haskell Implementation PLNL |
13:30 - 15:10 | |||
13:30 25mTalk | From Rascal to JVM byte code: a play in several acts PLNL | ||
13:55 25mTalk | Intrinsically Typed Definitional Interpreters: The Good, The Bad, and The Ugly PLNL Casper Bach Poulsen Delft University of Technology | ||
14:20 25mTalk | 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 25mTalk | A Functional Approach to Blockchain Contract Languages PLNL Manuel Chakravarty Tweag I/O & IOHK |
15:40 - 17:20 | |||
15:40 25mTalk | Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory PLNL | ||
16:05 25mTalk | A Verified Automatic Prover Based on Ordered Resolution PLNL Anders Schlichtkrull Technical University of Denmark, Jasmin Blanchette Vrije Universiteit Amsterdam, Dmitriy Traytel ETH Zurich | ||
16:30 25mTalk | Type Systems with Constraints for ML Type Inference with the Implementation in Haskell PLNL Alen Arslanagić University of Groningen | ||
16:55 25mTalk | Improving pattern matching style PLNL Alejandro Serrano Utrecht University, Netherlands |