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

Sun 7 Apr

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 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
SW2 (SYNT Camp)
13:30 - 15:30
16:00 - 18:00