Write a Blog >>
Filter
Conference Dates
Conference Dates are in time zone (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
Rooms
Tracks
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

plnl-2018-papers
10:00 - 11:40: PLNL - 1 at Boothzaal
Chair(s): Eelco VisserDelft University of Technology
plnl-2018-papers10:00 - 10:25
Talk
Pablo InostrozaCWI, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen
plnl-2018-papers10:25 - 10:50
Talk
Sven KeidelDelft University of Technology, Netherlands, Sebastian ErdwegDelft University of Technology, Netherlands
plnl-2018-papers10:50 - 11:15
Talk
Trevor L. McDonellUtrecht University
plnl-2018-papers11:15 - 11:40
Talk
Folkert de VriesUniversity of Groningen, Jorge A. PérezUniversity of Groningen, The Netherlands
plnl-2018-papers
13:30 - 15:10: PLNL - 2 at Boothzaal
Chair(s): Wouter SwierstraUtrecht University, Netherlands
plnl-2018-papers13:30 - 13:55
Talk
plnl-2018-papers13:55 - 14:20
Talk
Casper Bach PoulsenDelft University of Technology
plnl-2018-papers14:20 - 14:45
Talk
Mart LubbersRadboud University Nijmegen, Pieter KoopmanRadboud University Nijmegen, Netherlands, Rinus PlasmeijerRadboud University Nijmegen
plnl-2018-papers14:45 - 15:10
Talk
Manuel ChakravartyTweag I/O & IOHK
plnl-2018-papers
15:40 - 17:20: PLNL - 3 at Boothzaal
Chair(s): Robbert KrebbersDelft University of Technology
plnl-2018-papers15:40 - 16:05
Talk
Andreas NuytsKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel, Belgium
plnl-2018-papers16:05 - 16:30
Talk
Anders SchlichtkrullTechnical University of Denmark, Jasmin BlanchetteVrije Universiteit Amsterdam, Dmitriy TraytelETH Zurich
plnl-2018-papers16:30 - 16:55
Talk
Alen ArslanagićUniversity of Groningen
plnl-2018-papers16:55 - 17:20
Talk
Alejandro SerranoUtrecht University, Netherlands

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Boothzaal
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
Session Calendar (ical)
Detailed Event Calendar (ical)