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

Sat 6 Apr

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

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 2019

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

Sun 7 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
S10
11:00 - 12:00
16:00 - 18:00