Write a Blog >>
HSB 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameS10
Floor0
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

Sat 6 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

syncop-2019-papers
11:00 - 12:00: SynCoP - Timed systems at S10
syncop-2019-papers11:00 - 11:45
Talk
syncop-2019-papers
13:30 - 15:30: SynCoP - Applications at S10
syncop-2019-papers13:45 - 14:30
Talk
syncop-2019-papers14:30 - 15:15
Talk
Camille CotiLIPN, Université Paris 13, Laure PetrucciUniversité Paris 13, Daniel Alberto Torres GonzalezLIPN, Université Paris 13
syncop-2019-papers
16:00 - 18:00: SynCoP - Markov decision processes at S10
syncop-2019-papers16:00 - 16:45
Talk
syncop-2019-papers16:45 - 17:30
Talk
Jan KretinskyTechnical University of Munich

Sun 7 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

syncop-2019-papers
09:00 - 10:30: SynCoP - Parameter synthesis for LTL at S10
syncop-2019-papers09:00 - 09:45
Talk
syncop-2019-papers09:45 - 10:30
Talk
Laure PetrucciUniversité Paris 13, Jaco van de PolAarhus University
syncop-2019-papers
11:00 - 12:00: SynCoP - SMT at S10
syncop-2019-papers11:00 - 11:45
Talk
syncop-2019-papers
13:30 - 15:30: SynCoP - Stochastic systems at S10
syncop-2019-papers13:30 - 14:15
Talk
Christel BaierTU Dresden, Germany
syncop-2019-papers14:15 - 15:00
Talk

Sat 6 Apr
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:003018:0030
S10

Sun 7 Apr
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:003018:0030
S10

Sat 6 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change