Program - PLNL 2018

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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 Paul Klint
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

15:40 - 17:20	3PLNL at Boothzaal Chair(s): Robbert Krebbers Delft University of Technology

15:40 25m Talk		Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory PLNL Andreas Nuyts KU Leuven, Belgium, Dominique Devriese Vrije Universiteit Brussel, Belgium
16:05 25m Talk		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 25m Talk		Type Systems with Constraints for ML Type Inference with the Implementation in Haskell PLNL Alen Arslanagić University of Groningen
16:55 25m Talk		Improving pattern matching style PLNL Alejandro Serrano Utrecht University, Netherlands

PLNL 2018 Program

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

Tracks

PLNL 2018 Program

Switch Program View

Program Display Configuration

Thu 22 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

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