Program - PLNL 2018

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

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

Apply

Filter

Badges

Your Program

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

Thu 22 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 11:40: PLNL - 1 at Boothzaal
Chair(s): Eelco VisserDelft University of Technology

10:00 - 10:25
Talk

JEff: Objects for Effect

Pablo InostrozaCWI, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen

10:25 - 10:50
Talk

Sound and Reusable Components for Abstract Interpretation

Sven KeidelDelft University of Technology, Netherlands, Sebastian ErdwegDelft University of Technology, Netherlands

10:50 - 11:15
Talk

High-performance parallel arrays for Haskell

Trevor L. McDonellUtrecht University

11:15 - 11:40
Talk

Reversible Session-Based Concurrency, and its Haskell Implementation

Folkert de VriesUniversity of Groningen, Jorge A. PérezUniversity of Groningen, The Netherlands

13:30 - 15:10: PLNL - 2 at Boothzaal
Chair(s): Wouter SwierstraUtrecht University, Netherlands

13:30 - 13:55
Talk

From Rascal to JVM byte code: a play in several acts

Paul Klint

13:55 - 14:20
Talk

Intrinsically Typed Definitional Interpreters: The Good, The Bad, and The Ugly

Casper Bach PoulsenDelft University of Technology

14:20 - 14:45
Talk

Task Oriented Programming for the Internet of Things

Mart LubbersRadboud University Nijmegen, Pieter KoopmanRadboud University Nijmegen, Netherlands, Rinus PlasmeijerRadboud University Nijmegen

14:45 - 15:10
Talk

A Functional Approach to Blockchain Contract Languages

Manuel ChakravartyTweag I/O & IOHK

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

15:40 - 16:05
Talk

Andreas NuytsKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel, Belgium

16:05 - 16:30
Talk

A Verified Automatic Prover Based on Ordered Resolution

Anders SchlichtkrullTechnical University of Denmark, Jasmin BlanchetteVrije Universiteit Amsterdam, Dmitriy TraytelETH Zurich

16:30 - 16:55
Talk

Type Systems with Constraints for ML Type Inference with the Implementation in Haskell

Alen ArslanagićUniversity of Groningen

16:55 - 17:20
Talk

Improving pattern matching style

Alejandro SerranoUtrecht University, Netherlands

Thu 22 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Boothzaal							PLNL						PLNL 1																								PLNL																		PLNL 2																				PLNL						PLNL 3

Thu 22 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Boothzaal	PLNL JEff: Objects for Effect 10:00 - 10:25					PLNL Sound and Reusable Components for Abstract Interpretation 10:25 - 10:50					PLNL High-performance parallel arrays for Haskell 10:50 - 11:15					PLNL Reversible Session-Based Concurrency, and its Haskell Implementation 11:15 - 11:40																											PLNL From Rascal to JVM byte code: a play in several acts 13:30 - 13:55					PLNL Intrinsically Typed Definitional Interpreters: The Good, The Bad, and T ... 13:55 - 14:20					PLNL Task Oriented Programming for the Internet of Things 14:20 - 14:45					PLNL A Functional Approach to Blockchain Contract Languages 14:45 - 15:10											PLNL Degrees of Relatedness - A Unified Framework for Parametricity, Irrelev ... 15:40 - 16:05					PLNL A Verified Automatic Prover Based on Ordered Resolution 16:05 - 16:30					PLNL Type Systems with Constraints for ML Type Inference with the Implementa ... 16:30 - 16:55					PLNL Improving pattern matching style 16:55 - 17:20

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

PLNL 2018 Program

Thu 22 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLNL

PLNL

PLNL

PLNL

PLNL

PLNL

Thu 22 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Display in different time zone

PLNL 2018 Program

Thu 22 Nov Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Nov Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLNL

PLNL

PLNL

PLNL

PLNL

PLNL

Thu 22 Nov Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Nov
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change