Write a Blog >>
PLACES 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameSW2 (SYNT Camp)
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

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

syntcompcamp-2019-tutorial
09:00 - 10:30: SYNT Camp - Reactive Synthesis Background & SYNTCOMP at SW2 (SYNT Camp)
Chair(s): Guillermo A. PerezUniversity of Antwerp, Leander TentrupSaarland University
syntcompcamp-2019-tutorial09:00 - 10:00
Tutorial
Guillermo A. PerezUniversity of Antwerp
syntcompcamp-2019-tutorial10:00 - 10:30
Tutorial
Leander TentrupSaarland University
Link to publication DOI Pre-print
syntcompcamp-2019-tutorial
11:00 - 12:00: SYNT Camp - Hands-on BoSy Tutorial at SW2 (SYNT Camp)
Chair(s): Guillermo A. PerezUniversity of Antwerp, Leander TentrupSaarland University
syntcompcamp-2019-tutorial11:00 - 12:00
Tutorial
Leander TentrupSaarland University

Sun 7 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