ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Thu 11 Apr 2019 14:30 - 15:00 at SUN II - Verification Chair(s): Mikolaj Bojanczyk

Thu 11 Apr (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change