ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:00: Timed systemsSynCoP at S10
11:00 - 11:45
Talk
SynCoP
13:30 - 15:30: ApplicationsSynCoP at S10
13:45 - 14:30
Talk
SynCoP
14:30 - 15:15
Talk
SynCoP
Camille CotiLIPN, Université Paris 13, Laure PetrucciUniversité Paris 13, Daniel Alberto Torres GonzalezLIPN, Université Paris 13
16:00 - 18:00: Markov decision processesSynCoP at S10
16:00 - 16:45
Talk
SynCoP
16:45 - 17:30
Talk
SynCoP
Jan KretinskyTechnical University of Munich

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: Parameter synthesis for LTLSynCoP at S10
09:00 - 09:45
Talk
SynCoP
09:45 - 10:30
Talk
SynCoP
Laure PetrucciUniversité Paris 13, Jaco van de PolAarhus University

Sat 6 Apr
Times are displayed in time zone: 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: 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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change