Write a Blog >>
HSB 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameS11
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sat 6 Apr

dice-fopara-2019-papers
09:00 - 10:30: DICE-FOPARA - I at S11
Chair(s): Steffen JostLMU, Munich, Germany
dice-fopara-2019-papers09:45 - 10:30
Talk
dice-fopara-2019-papers
11:00 - 12:00: DICE-FOPARA - II at S11
Chair(s): Steffen JostLMU, Munich, Germany
dice-fopara-2019-papers11:00 - 11:45
Talk
dice-fopara-2019-papers
13:30 - 15:30: DICE-FOPARA - III at S11
Chair(s): Patrick BaillotCNRS & ENS Lyon
dice-fopara-2019-papers14:00 - 14:45
Talk
Bruce KapronUniversity of Victoria, Florian SteinbergINRIA Saclay
dice-fopara-2019-papers14:45 - 15:30
Talk
Emmanuel Hainry, Bruce KapronUniversity of Victoria, Jean-Yves Marion LORIA, Romain PéchouxINRIA / LORIA
dice-fopara-2019-papers
16:00 - 18:00: DICE-FOPARA - IV at S11
Chair(s): Damiano MazzaCNRS
dice-fopara-2019-papers16:00 - 16:45
Talk
dice-fopara-2019-papers16:45 - 17:30
Talk

Sun 7 Apr

dice-fopara-2019-papers
11:00 - 12:00: DICE-FOPARA - VI at S11
Chair(s): Paulin Jacobé De Naurois
dice-fopara-2019-papers11:00 - 12:00
Talk
Cynthia KopRadboud University Nijmegen
dice-fopara-2019-papers
13:30 - 15:30: DICE-FOPARA - VII at S11
Chair(s): Marko van EekelenOpen University of the Netherlands
dice-fopara-2019-papers14:00 - 14:45
Talk
Martin AvanziniINRIA Sophia Antipolis, France, Michael SchaperUniversity of Innsbruck, Georg MoserUniversity of Innsbruck
dice-fopara-2019-papers14:45 - 15:30
Talk

Sat 6 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
S11
09:00 - 10:30
11:00 - 12:00
13:30 - 15:30
16:00 - 18:00

Sun 7 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
S11
09:00 - 10:30
11:00 - 12:00
13:30 - 15:30