Write a Blog >>
Additional informationThere is no additional information of this room available.
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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Thu 22 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Boothzaal