ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Filter
Conference Dates
Conference Dates are in time zone (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your 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

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)